Mathematical system models as a basis of software engineering

This publication has 8 references indexed in Scilit:

• KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  Published by Springer Nature ,1995
• Formal Foundations for Pragmatic Software Engineering Methods
  Published by Springer Nature ,1994
• AN INTRODUCTION TO SOFTWARE ARCHITECTURE
  Published by World Scientific Pub Co Pte Ltd ,1993
• (Inter-)Action Refinement: The Easy Way
  Published by Springer Nature ,1993
• Towards a formal foundation of the specification and description language SDL
  Formal Aspects of Computing, 1991
• Software-Engineering
  Published by Springer Nature ,1991
• Cleanroom Software Engineering
  IEEE Software, 1987
• Petrinetze
  Published by Springer Nature ,1986