Static Safety Analysis of UML Action Semantics for Critical Systems Development.
Zsigmond PapDániel VarróPublished in: GI Jahrestagung (1) (2004)
Keyphrases
- systems development
- safety analysis
- software development
- safety critical
- software engineering
- formal methods
- nuclear power plant
- development process
- requirements engineering
- specification language
- metamodel
- information systems
- control system
- software systems
- symbolic model checking
- fault model
- software requirements
- modeling language
- reliability analysis
- database
- life cycle
- model checking
- object oriented
- machine learning