Integrating safety and formal analyses using UML and PFS.
Frantz IwuAndy GallowayJohn Alexander McDermidIan ToynPublished in: Reliab. Eng. Syst. Saf. (2007)
Keyphrases
- formal methods
- safety critical
- unified modeling language
- database design
- object oriented
- requirements specification
- metamodel
- software systems
- sequence diagrams
- modeling language
- software development
- class diagrams
- formal model
- conceptual models
- testing process
- uml diagrams
- software engineering
- artificial intelligence