Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language.
Alexandre Le BorgneNicolas BelloirJean-Michel BruelThuy NguyenPublished in: UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Keyphrases
- requirements engineering
- requirements specification
- specification language
- software engineering
- systems engineering
- goal oriented
- programming language
- formal language
- software development
- life cycle
- requirements elicitation
- operational semantics
- formal languages
- software requirements
- requirements engineering process
- information technology
- activity diagrams
- query language for xml
- information systems
- development process
- description language
- formal specification
- natural language
- software design
- literature review
- mathematical theory
- automotive industry
- highly expressive
- software systems
- security requirements
- software architecture
- security patterns
- business process
- knowledge representation
- machine learning