799 search results - page 84 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation langu...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
GPCE
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...