7080 search results - page 87 / 1416 » Designing High Integrity Systems Using Aspects |
UML
2000
Springer
15 years 2 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
BMCBI
2007
14 years 11 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
BPM
2004
Springer
15 years 4 months ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...