Using Formal Methods to Construct a Software Component Library.
Jun-Jang JengBetty H. C. ChengPublished in: ESEC (1993)
Keyphrases
- formal methods
- software components
- formal specification
- software systems
- software reuse
- safety critical
- software development
- formal analysis
- process algebra
- software engineering
- building blocks
- model checking
- model checker
- knowledge based systems
- artificial intelligence
- provably correct
- web services
- design rationale
- development environments
- commercial off the shelf
- modeling language
- reactive systems
- reusable components
- development lifecycle
- service oriented
- relational databases
- cooperative
- information systems
- real world
- formal specification language