Sciweavers

5547 search results - page 463 / 1110
» Software Variability Management
Sort
View
163
Voted
ISSRE
2000
IEEE
15 years 11 months ago
How to Measure the Impact of Specific Development Practices on Fielded Defect Density
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
Ann Marie Neufelder
186
Voted
IFIP
1993
Springer
15 years 11 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...
ESAW
2000
Springer
15 years 10 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi
SPIN
2000
Springer
15 years 10 months ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann
156
Voted
ISSRE
2007
IEEE
15 years 8 months ago
Fault Prediction using Early Lifecycle Data
The prediction of fault-prone modules in a software project has been the topic of many studies. In this paper, we investigate whether metrics available early in the development li...
Yue Jiang, Bojan Cukic, Tim Menzies