Principles in formal specification of object oriented design and architecture.
Amnon H. EdenYoram HirshfeldPublished in: CASCON (2001)
Keyphrases
- object oriented design
- formal specification
- model checking
- design methodology
- code generation
- specification language
- specification languages
- process algebra
- design principles
- reverse engineering
- software design
- data abstraction
- object oriented systems
- concurrent systems
- formal methods
- object oriented
- software components
- software engineering
- user interface
- temporal logic
- source code
- learning process
- database