Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.
Steve Jeffrey Tueno FotsoMarc FrappierRégine LaleauAmel MammarPublished in: ABZ (2018)
Keyphrases
- requirements engineering
- requirements specification
- software engineering
- requirements elicitation
- systems engineering
- life cycle
- goal oriented
- requirements engineering process
- software requirements
- systems development
- software development
- literature review
- databases
- specification language
- development process
- high level
- knowledge base