1759 search results - page 134 / 352 » Overview of Generative Software Development |
128
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
139
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
112
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we describe the Automatic Task Demonstration Generator (ATDG), a system implemented into a software prototype for teaching the operation of a robot manipulator deplo...
141
click to vote
SOSYM
2010
15 years 1 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
121
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...