2030 search results - page 239 / 406 » Checklists for Software Engineering Case Study Research |
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
BCS
2008
13 years 9 months ago
2008
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
XPU
2009
Springer
14 years 2 months ago
2009
Springer
The Agile Manifesto values “customer collaboration over contract negotiation”. However, in many real projects, Agile practitioners spend considerable time and effort negotiati...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...