Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development.
Markus VoelterPublished in: SE/SWM (2019)
Keyphrases
- safety critical
- software development
- domain specific languages
- programming language
- software engineering
- fault tolerant
- safety analysis
- formal methods
- embedded systems
- nuclear power plant
- general purpose
- agent architecture
- software systems
- support systems
- development process
- test cases
- specification language
- adaptive systems
- real time
- regulatory requirements
- natural language
- software components
- object oriented
- management system
- high level
- case study
- information systems
- artificial intelligence