Extended quasi-static scheduling for formal synthesis and code generation of embedded software.
Feng-Shi SuPao-Ann HsiungPublished in: CODES (2002)
Keyphrases
- embedded software
- code generation
- quasi static
- formal specification
- development projects
- embedded systems
- software development
- application development
- code generator
- software architecture
- modeling language
- model driven
- rapid prototyping
- software reuse
- database systems
- design tools
- displacement field
- reverse engineering
- design patterns
- sequence diagrams
- data processing