Mathematics of software engineering

This publication has 18 references indexed in Scilit:

• KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  Published by Springer Nature ,1995
• 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
• The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover
  Published by Springer Nature ,1989
• Nondeterministic data flow programs: How to avoid the merge anomaly
  Science of Computer Programming, 1988
• Algebraic Methods for Program Construction: The Project CIP
  Published by Springer Nature ,1984
• Algorithmic Language and Program Development
  Published by Springer Nature ,1982
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967