Preface. - I Introduction and Overview. - 1 Lotosphere an Attempt Towards a Design Culture. - 2 The Lotosphere Design Methodology. - 3 Design and Implementation Strategies. - 4 Getting to Use the Lotosphere Integrated Tool Environment (Lite). - 5 Lotos Industrial Applications. - 6 Applying Lotos to Osi Application Layer Protocols. - II Specification and Transformation. - 7 Lotos Specification Style for Osi. - 8 Correctness Preserving Transformations for the Early Phases of Software Development. - 9 Correctness Preserving Transformations for the Late Phases of Software Development. - 10 A Case Study on Protocol Design. - III Analysis. - 11 Executing Lotos Specifications: The Smile Tool. - 12 A Pragmatic Approach to Verification Validation and Compilation. - 13 An Exercise in Protocol Verification. - 14 A Tool for Checking Adt Completeness and Consistency. - 15 Deriving Tests from Lotos Specifications. - IV Implementation. - 16 The Colos Compiler. - 17 Tp Protocol from Specification to Implementation. - 18Realization of Ccr in C. - 19 Alto: An Interactive Transformation Tool for Lotos and Lotomaton. - V Graphical Lotos. - 20 G-Lotos: A Graphical Language for Concurrent Systems. - 21 Glow 3. 0 - A Graphical Lotos Browser. - VI Lotos Enhancements. - 22 Enhancements of Lotos. - 23 Data Specifications in Modular Lotos. Language: English