10159 search results - page 346 / 2032 » System Design Validation Using Formal Models |
142
click to vote
PUK
2003
15 years 5 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
137
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
136
click to vote
IASSE
2004
15 years 5 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
128
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
135
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...