On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem.
Philippe Du BoisEric DuboisJean-Marc ZeippenPublished in: Requir. Eng. (1997)
Keyphrases
- requirements engineering
- requirements specification
- specification language
- software engineering
- goal oriented
- systems engineering
- software development
- life cycle
- programming language
- formal language
- automotive industry
- development process
- requirements elicitation
- requirements engineering process
- formal specification
- natural language
- modeling language
- formal model
- software requirements
- operational semantics
- business process
- precisely defined
- systems development
- mathematical theory
- activity diagrams
- formal languages
- highly expressive
- software intensive systems
- formal representation
- high level
- formal semantics
- requirements analysis
- formal methods
- security requirements
- literature review
- relational databases
- security patterns
- information systems
- artificial intelligence
- machine learning
- data mining
- databases