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...
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...
: 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...
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 ...
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...