Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts.
Markus GrabowskiBernhard KaiserYu BaiPublished in: Modellierung (2018)
Keyphrases
- business processes
- modeling language
- template matching
- programming language
- language learning
- formal methods
- specification language
- natural language
- supply chain
- metamodel
- database
- input image
- matching algorithm
- language processing
- interaction model
- requirements engineering
- application specific
- object oriented
- case study
- artificial intelligence