Prospec: Support for Elicitation and Formal Specification of Software Properties.
Oscar MondragonAnn Q. GatesSteve RoachPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- formal specification
- object oriented design
- formal methods
- specification languages
- concurrent systems
- specification language
- model checking
- reverse engineering
- software components
- software maintenance
- process algebra
- software design
- data abstraction
- temporal logic
- software architecture
- software systems
- knowledge management
- information systems