From Formal Methods to Software Components: Back to the Future?
Kung-Kiu LauPublished in: FACS (2016)
Keyphrases
- software components
- formal methods
- formal specification
- software systems
- software development
- formal analysis
- software engineering
- software reuse
- building blocks
- model checking
- software modules
- knowledge based systems
- safety critical
- process algebra
- reusable components
- model checker
- commercial off the shelf
- artificial intelligence
- web services
- java programs
- development environments
- protocol specification
- formal specification language
- concurrent systems
- modeling language
- expert systems
- development lifecycle
- machine learning
- real world