Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development.
Stefan WalterAchim RettbergMárcio Eduardo KreutzPublished in: ISORC Workshops (2015)
Keyphrases
- systems development
- safety critical
- requirements engineering
- software requirements
- information systems development
- functional requirements
- development process
- development methodologies
- information systems
- formal methods
- regulatory requirements
- design process
- project management
- fault tolerant
- knowledge based systems
- software development
- case study
- embedded systems
- goal oriented
- design patterns
- life cycle
- software engineering
- relational databases