Design Recovery through Formal Specification.
Wie Ming LimJohn V. HarrisonPaul A. BailesAnthony BerglasPublished in: Australian Software Engineering Conference (1998)
Keyphrases
- formal specification
- object oriented design
- specification languages
- formal methods
- design methodology
- expert systems
- software architecture
- design process
- knowledge acquisition
- knowledge representation
- knowledge base
- reverse engineering
- knowledge based systems
- software design
- open source
- object oriented
- formal specification language