326 search results - page 6 / 66 » Tailoring and Verifying Software Process |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
92
Voted
ICECCS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
101
Voted
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...
123
click to vote
SWQD
2012
13 years 7 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...