2698 search results - page 92 / 540 » Software Process Model Blueprints |
WOSP
2004
ACM
14 years 3 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
HOTSWUP
2009
ACM
14 years 2 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
TAICPART
2006
IEEE
14 years 4 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
ICEBE
2006
IEEE
14 years 4 months ago
2006
IEEE
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
CMG
2006
13 years 11 months ago
2006
Modern computer systems are based on a wide variety of software servers, such as web servers, application servers, database servers, and mail servers. The typical software archite...