4759 search results - page 117 / 952 » Software Development Based on Software Pattern Evolution |
128
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
127
Voted
FAC
2006
15 years 2 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
124
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
114
Voted
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
114
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...