A Model Driven Development Approach for Implementing Reactive Systems in Hardware.
Zhonglei WangAndreas HerkersdorfStefano MerendaMichael TautschnigPublished in: FDL (2008)
Keyphrases
- model driven development
- reactive systems
- model driven
- low cost
- software design
- temporal logic
- information flow
- business processes
- model checking
- software development
- real time
- petri net
- service oriented
- control flow
- software engineering
- service oriented architecture
- business process
- embedded systems
- formal methods
- real time systems
- commercial software
- development process
- web applications
- query language
- platform independent
- decision making
- machine learning