A novel approach to tracing safety requirements and state-based design models.
Mounifah AlenaziNan NiuJuha SavolainenPublished in: ICSE (2020)
Keyphrases
- design principles
- case study
- design process
- uml models
- parameter estimation
- statistical models
- computer aided
- model selection
- detailed design
- design goals
- design criteria
- modeling tool
- design choices
- functional requirements
- design decisions
- metamodel
- artificial neural networks
- finite state machines
- user interface
- artificial intelligence
- experimental data
- statistical model
- state space
- building blocks
- web services