5439 search results - page 268 / 1088 » Patterns: from system design to software testing |
189
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
150
click to vote
COMPUTER
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
157
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
135
click to vote
CLEIEJ
2007
15 years 4 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...
107
click to vote
JLP
2010
14 years 11 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...