Table of Contents

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 Prools.- 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 Prool Design.- III Analysis.- 11 Executing Lotos Specifications: The Smile Tool.- 12 A Pragmatic Approach to Verification, Validation and Compilation.- 13 An Exercise in Prool Verification.- 14 A Tool for Checking Adt Completeness and Consistency.- 15 Deriving Tests from Lotos Specifications.- IV Implementation.- 16 The Colos Compiler.- 17 Tp Prool 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.