1759 search results - page 182 / 352 » Overview of Generative Software Development |
140
click to vote
SLE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
117
Voted
SERP
2008
15 years 4 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
137
Voted
MOMPES
2009
IEEE
15 years 10 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
104
click to vote
RE
2005
Springer
15 years 8 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
112
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...