RE2B: Enhancing Correctness of Both Requirements and Design Models.
Shiling FengXiaohong ChenQin LiYongxin ZhaoPublished in: TASE (2021)
Keyphrases
- probabilistic model
- functional requirements
- design choices
- experimental data
- case study
- detailed design
- design process
- software design
- design methodology
- metamodel
- complex systems
- design goals
- prior knowledge
- user interface
- uml models
- design principles
- modeling tool
- modelling language
- design tools
- real time
- building blocks
- hidden markov models
- multi agent
- data sets