Structured analysis—formal design, using stream and object oriented formal specifications

This publication has 10 references indexed in Scilit:

• A comparison of object-oriented and structured development methods
  ACM SIGSOFT Software Engineering Notes, 1990
• How to integrate object orientation with structured analysis and design
  IEEE Software, 1989
• An object-oriented structured design method for code generation
  ACM SIGSOFT Software Engineering Notes, 1989
• Simulating inheritance with Ada
  ACM SIGAda Ada Letters, 1988
• Object-oriented development for Ada
  ACM SIGSOFT Software Engineering Notes, 1988
• Transformation of data flow analysis models to object oriented design
  ACM SIGPLAN Notices, 1988
• Toward a general object-oriented software development methodology
  ACM SIGAda Ada Letters, 1987
• Writing Larch interface language specifications
  ACM Transactions on Programming Languages and Systems, 1987
• Genericity versus inheritance
  ACM SIGPLAN Notices, 1986
• Developing ada programs using the vienna development method (VDM)
  Software: Practice and Experience, 1985