Engineering functional requirements of reactive systems using synchronous languages.
Erwan JahierNicolas HalbwachsPascal RaymondPublished in: SIES (2013)
Keyphrases
- functional requirements
- reactive systems
- software requirements
- software design
- software systems
- software engineering
- development process
- software architecture
- temporal logic
- information flow
- model checking
- formal methods
- real time systems
- artificial intelligence
- petri net
- quality attributes
- social networks
- machine learning
- intelligent systems
- query language
- data model