Sciweavers

3792 search results - page 290 / 759
» Techniques for Trusted Software Engineering
Sort
View
APSEC
2004
IEEE
15 years 10 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
EUROMICRO
2004
IEEE
15 years 10 months ago
Analysis and Prediction of Performance for Evolving Architectures
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K...
FASE
2008
Springer
15 years 8 months ago
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
DSTEP
2010
15 years 4 months ago
A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
Ciarán Cawley, Patrick Healy, Goetz Botterw...