Sciweavers

94 search results - page 1 / 19
» Project Planning Support by Model Checking
Sort
View
GI
2009
Springer
13 years 1 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
GI
2009
Springer
13 years 8 months ago
A Domain Specific Language for Project Execution Models
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
Eugen Wachtel, Marco Kuhrmann, Georg Kalus
IUI
2003
ACM
13 years 9 months ago
Supporting plan authoring and analysis
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
Jihie Kim, Jim Blythe
WSC
2008
13 years 6 months ago
Tunnel_Sim: Decision support tool for planning tunnel construction using computer simulation
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
Mohamed Marzouk, Moatassem Abdallah, Moheeb Elsaid
IJSEKE
2000
90views more  IJSEKE 2000»
13 years 3 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...