Sciweavers

508 search results - page 46 / 102
» An immersion model for software engineering projects
Sort
View
FAC
2008
67views more  FAC 2008»
14 years 12 months ago
Specification, proof, and model checking of the Mondex electronic purse using RAISE
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
Chris George, Anne Elisabeth Haxthausen
EUROMICRO
2000
IEEE
15 years 4 months ago
Reliability Analysis of a Self-Repairing Embryonic Machine
The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes relia...
Cesar Ortega-Sanchez, Andrew M. Tyrrell, Daniel Ma...
GI
2009
Springer
15 years 3 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
ISSRE
2008
IEEE
15 years 6 months ago
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Project managers use inspection data as input to capture-recapture (CR) models to estimate the total number of faults present in a software artifact. The CR models use the number ...
Gursimran Singh Walia, Jeffrey C. Carver
RE
2001
Springer
15 years 4 months ago
A Requirements Negotiation Model Based on Multi-Criteria Analysis
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
Hoh In, David Olson, Tom Rodgers