Executable Specifications for the Design of Object-Oriented Systems.
Yi DengRaimund K. EgeWei SunPublished in: SEKE (1993)
Keyphrases
- object oriented systems
- object oriented design
- object oriented
- formal specification
- software maintenance
- case study
- class diagrams
- test case generation
- source code
- design process
- software systems
- computer aided
- data sets
- functional requirements
- software architecture
- object oriented technology
- design tools
- software engineering
- user interface
- learning environment
- web services