Sciweavers

2030 search results - page 199 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
SAC
2009
ACM
14 years 3 months ago
An empirical study of incorporating cost into test suite reduction and prioritization
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
Adam M. Smith, Gregory M. Kapfhammer
ICSE
2008
IEEE-ACM
14 years 9 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
WER
2007
Springer
14 years 2 months ago
Guidelines for Business Modeling Elaboration based on Views from Domain Information
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
Silvia Angelica Zanco Ladeira, Maria Istela Cagnin
WICSA
2004
13 years 9 months ago
The DiPS+ Software Architecture for Self-healing Protocol Stacks
Research domains such as active networks, ad-hoc networks, ubiquitous computing, pervasive computing, grid computing, and sensor networks, clearly show that computer networks will...
Sam Michiels, Lieven Desmet, Wouter Joosen, Pierre...
ICSE
2003
IEEE-ACM
14 years 8 months ago
New Directions on Agile Methods: A Comparative Analysis
Agile software development methods have caught the attention of software engineers and researchers worldwide. Scientific research is yet scarce. This paper reports results from a ...
Pekka Abrahamsson, Juhani Warsta, Mikko T. Siponen...