Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering.
Vladimir V. SklyarVyacheslav KharchenkoPublished in: DESSERT (2022)
Keyphrases
- requirements engineering
- safety critical
- domain specific
- software intensive systems
- security requirements
- software engineering
- requirements specification
- goal oriented
- formal methods
- life cycle
- general purpose
- fault tolerant
- agent architecture
- domain independent
- software development
- specification language
- embedded systems
- programming language
- access control
- information security
- smart card
- intrusion detection
- requirements engineering process
- security policies
- network security
- real time
- business process
- database
- support systems
- functional requirements
- development process
- low cost
- databases