Modeling and Software Synthesis of Interrupt Systems.
Thomas LehmannMauro Cesar ZanellaPublished in: MBMV (2002)
Keyphrases
- computer systems
- distributed systems
- modeling language
- industrial strength
- hardware platforms
- program synthesis
- management system
- business applications
- commercial systems
- technical issues
- software engineers
- software design
- design tools
- computing systems
- real time
- software components
- complex systems
- software systems
- user interface
- database systems
- information systems
- data sets