Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Steve Jeffrey Tueno FotsoMarc FrappierRégine LaleauAmel MammarPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- requirements engineering
- requirements specification
- software engineering
- goal oriented
- systems engineering
- life cycle
- activity diagrams
- requirements elicitation
- automotive industry
- systems development
- software development
- literature review
- knowledge acquisition
- formal models
- tool support
- expert systems
- artificial intelligence
- formal methods
- business process
- software systems
- specification language
- information systems
- requirements engineering process