The Lotosphere Design Methodology
This chapter provides an application oriented description of the LOTOS Design Methodology produced in the Lotosphere project. This design methodology is a formally based stepwise refinement approach to system design, conceived to give formal support to an industrial design process, in order to achieve high quality designs.
KeywordsFormal Design Assessment Task Design Step Functionality Decomposition Life Cycle Model
Unable to display preview. Download preview PDF.
- B. W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE - Computer pages 61–72, May 1988.Google Scholar
- ESA BSSC. Software Engineering Standards. Technical Report ESA PSS-05–0 Issue 2, ESA, February 1991.Google Scholar
- T. de Miguel, T. Robles, J. Salvachua, and A. Azcorra. The SRTS Experience: Using TOPO for LOTOS Design and Realization. In FORTE’90: Formal Techniques III Madrid, November 1990.Google Scholar
- IEEE. IEEE Software Engineering Standards. IEEE - John Wiley, 1987. ISBN 471–63457–3.Google Scholar
- Jose Manas and Angel Alvarez. LOTADA: Design and Implementation of a LOTOS to ADA Compiler. Technical Report ESA contract 103290, Dept. Telematic Engineering, Technical University of Madrid, May 1991.Google Scholar
- Jose A. Manas, Tomas de Miguel, Joaquin Salvachua, and Arturo Azcorra. Tool Support to Implement LOTOS Formal Specifications. Computer Network and ISDN Systems February(to be published) 1993. North Holland.Google Scholar
- J. Manas and T. de Miguel. From LOTOS to C. In Formal Description Techniques FORTE88 Stirling, September 1988.Google Scholar
- S. Pavon and M. Lamas. The Testing Functionalities of LOLA. In FORTE’90: Formal Techniques III, Madrid, November 1990.Google Scholar
- J. Quemada, S. Pavon, and A. Fernandez. State Exploration by Transformation with LOLA. In Workshop on Automatic Verification Methods for Finite State Systems Grenoble, June 1989.Google Scholar