1759 search results - page 189 / 352 » Overview of Generative Software Development |
84
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
119
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
122
Voted
ICWE
2009
Springer
15 years 7 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
99
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
135
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...