Using formal methods with SysML in aerospace design and engineering.
Henson GravesYvonne BijanPublished in: Ann. Math. Artif. Intell. (2011)
Keyphrases
- formal methods
- software engineering
- knowledge based systems
- safety critical
- development lifecycle
- artificial intelligence
- formal analysis
- provably correct
- model checking
- model checker
- modeling language
- process algebra
- formal specification
- engineering design
- formal specification language
- machine learning
- databases
- product design
- security properties
- design process
- design patterns
- building blocks
- knowledge acquisition
- relational databases
- case study