Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems.
Michael WasilewskiWilhelm HasselbringDirk NowotkaPublished in: Software Engineering (Workshops) (2013)
Keyphrases
- safety critical
- model driven
- formal methods
- software engineering
- model driven development
- regulatory requirements
- software intensive systems
- safety analysis
- fault tolerant
- embedded systems
- programming language
- data driven
- requirements engineering
- agent architecture
- artificial intelligence
- metamodel
- service oriented
- development process
- intelligent systems
- expert systems
- formal specification
- software systems
- distributed systems
- general purpose
- database systems