1641 search results - page 99 / 329 » The Timeboxing process model for iterative software developm... |
BPM
2005
Springer
15 years 7 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
114
click to vote
WSC
1997
15 years 2 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
104
click to vote
SAFECOMP
1998
Springer
15 years 5 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 ...
118
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
100
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...