A formal software synthesis approach for embedded hard real-time systems.
Raimundo S. BarretoMarília NevesMeuse N. Oliveira Jr.Paulo Romero Martins MacielEduardo TavaresRicardo Massa Ferreira LimaPublished in: SBCCI (2004)
Keyphrases
- embedded systems
- control software
- software development
- source code
- software systems
- user interface
- computer systems
- software architecture
- search engine
- business processes
- development process
- software tools
- software package
- neural network
- search algorithm
- requirements specification
- software packages
- real time systems
- formal methods
- modeling language
- data mining
- database
- image sequences