Sciweavers

1487 search results - page 51 / 298
» On Validating Engineering Design Decision Support Tools
Sort
View
FIW
1998
104views Communications» more  FIW 1998»
15 years 5 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
DAC
2009
ACM
16 years 5 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco
SIGSOFT
2004
ACM
16 years 4 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
125
Voted
OOPSLA
2005
Springer
15 years 9 months ago
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
Larry L. Constantine, Pedro Campos
QOSA
2010
Springer
15 years 7 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...