Graphical Specification of Object-Oriented Systems.
Stephen BearPhillip AllenDerek ColemanFiona HayesPublished in: OOPSLA/ECOOP (1990)
Keyphrases
- object oriented systems
- test case generation
- object oriented
- software maintenance
- object oriented design
- software engineering
- source code
- software systems
- object oriented technology
- formal specification
- specification language
- test cases
- programming language
- software testing
- formal methods
- user defined
- provably correct
- class diagrams
- information systems