Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
Yosr JarrayaAndrei SoeanuMourad DebbabiFawzi HassaïnePublished in: ECBS (2007)
Keyphrases
- activity diagrams
- conceptual database design
- sequence diagrams
- operational semantics
- requirements engineering
- formal methods
- class diagrams
- requirements specification
- safety analysis
- modeling language
- entity relationship
- conceptual model
- artificial intelligence
- reverse engineering
- database
- systems development
- model checking
- knowledge based systems
- software engineering