Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems.
Yi DengShi-Kuo ChangXiaola LinPublished in: Int. J. Softw. Eng. Knowl. Eng. (1994)
Keyphrases
- object oriented systems
- object oriented design
- test case generation
- object oriented
- software engineering
- design process
- computer aided
- object oriented technology
- static analysis
- formal specification
- engineering design
- database
- statistical analysis
- user interface
- case study
- conceptual model
- software systems
- software maintenance
- software design
- software development
- high level
- data mining