111 search results - page 22 / 23 » A Certifying Code Generation Phase |
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
UML
2005
Springer
13 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
FASE
2007
Springer
13 years 10 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Compiler is substantially regarded as the most essential component in the software toolchain to promote a successful processor design. This paper describes our preliminar...