Sciweavers

1689 search results - page 144 / 338
» Empirical Methodologies in Software Engineering
Sort
View
EXACT
2007
15 years 4 months ago
Designing Explanation Aware Systems: The Quest for Explanation Patterns
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
Jörg Cassens, Anders Kofod-Petersen
SIGSOFT
2002
ACM
16 years 2 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 7 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
ICSE
2008
IEEE-ACM
16 years 2 months ago
A value-based approach for documenting design decisions rationale: a replicated experiment
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
Davide Falessi, Rafael Capilla, Giovanni Cantone
ISSRE
2008
IEEE
15 years 8 months ago
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexan...