Formal Specification of COTS-Based Software: A Case Study.
Edward A. AddyMurali SitaramanPublished in: SSR (1999)
Keyphrases
- formal specification
- software components
- object oriented design
- software systems
- formal methods
- software development
- specification languages
- specification language
- model checking
- process algebra
- data abstraction
- case study
- reverse engineering
- building blocks
- source code
- concurrent systems
- third party
- software architecture
- software design
- distributed environment
- temporal logic
- metamodel
- open source
- response time
- user interface
- database