Using Formal Methods in Component Based Software Development.
Sajad Shirali-ShahrezaMohammad Shirali-ShahrezaPublished in: SCSS (1) (2008)
Keyphrases
- formal methods
- component based software development
- software development
- software engineering
- formal analysis
- artificial intelligence
- knowledge based systems
- model checker
- formal specification
- provably correct
- model checking
- safety critical
- temporal properties
- process algebra
- software evolution
- reactive systems
- database systems
- formal specification language
- data mining
- security properties
- software architecture
- information systems
- machine learning