1886 search results - page 19 / 378 » Modeling and Enacting Software Processes Using VRPML |
IASTEDSE
2004
15 years 1 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
ECIS
2000
15 years 1 months ago
2000
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
PDPTA
2003
15 years 1 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
103
click to vote
SERA
2010
Springer
14 years 10 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
SAFECOMP
1998
Springer
15 years 3 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...