Formalized software development in an industrial environment
In the IBM Boeblingen Laboratory some software was experimentally developed in the framework of a "traditional" life-cycle model where precise semantics were introduced very early in the development process through the use of a formal specification method.
As a typical example for these ongoing efforts, the development of a medium-size software product is presented where a first informal global data flow specification was described using simple graphical conventions. The result of this development step was refined and formalized using the formal specification technique proposed in [JON80]. The specification and design language SLAN-4 [BEI83] was used to document this specification. The experiences are outlined which were gained by this development approach.
KeywordsDevelopment Step Abstract Data Type Precise Semantic High Level Design Implementation Language
- [BEI83]F. Beichter at al.: SLAN-4: A Language for the Specification and the Design of Large Software Systems.— IBM Journal of Res. and Dev. Vol. 27(6), Nov. 1983, p. 558–576Google Scholar
- [BEI84]F. Beichter at al.: SLAN-4: A Software Specification and Design Language.— IEEE Trans. Software Eng. Vol. SE-10(2), March 1984, p. 155–162Google Scholar
- [BJO78]D. Bjorner, C. B. Jones (Eds.): The Vienna Development Method: The Meta-Language.— Springer (1978)Google Scholar
- [COT84]I. D. Cottarn: The Rigorous Development of a System Version Control Program.— IEEE Trans. Software Eng. Vol. SE-10(2), March 1984, p. 143–154Google Scholar
- [JON80]C. B. JONES: Software Development — A Rigorous Approach.— Prentice Hall (1980)Google Scholar
- [MAR83]J. Martin: Fourth Generation Languages, Vol. 1.— Savant Research Studies (1983)Google Scholar
- [MEN82]K. S. Mendis: Quantifying Software Quality.— Quality Progress, pp. 18–22, May 1982.Google Scholar
- [PEP84]P. Pepper (Ed.): Program Transformation and Programming Environments. Report on a Workshop directed by F. L. Bauer und H. Remus.— Springer (1984)Google Scholar