Sciweavers

2698 search results - page 53 / 540
» Software Process Model Blueprints
Sort
View
FSTTCS
2006
Springer
14 years 1 months ago
On Decidability of LTL Model Checking for Process Rewrite Systems
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
Laura Bozzelli, Mojmír Kretínsk&yacu...
APSEC
1998
IEEE
14 years 2 months ago
A Computing Model for Distributed Processing Systems and Its Application
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yosh...
EWSPT
1995
Springer
14 years 1 months ago
Decentralised Process Modelling
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...
AUIC
2002
IEEE
14 years 2 months ago
In Support of User Interface Design in the Rational Unified Process
The Rational Unified Process (RUP) is a use case driven iterative software engineering process User Interface design within the RUP involves user interface modelling and user inte...
Chris Phillips, Elizabeth A. Kemp
ISTA
2007
13 years 11 months ago
Analytical data modeling of investment project financing process
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...
Mikhail D. Godlevskiy, Valentina V. Moskalenko, Vl...