Project Planning Support by Model Checking

11 years 11 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 easy, as the engineer can focus on the particular aspect of the system, when working with one model. Though collaborations get more difficult, because more models have to be kept consistent. Unfortunately, the process support for model-driven development is still rather weak in today's development environments: static processes are supported, but this is insufficient for collaborations. We present a technique for project planning which utilizes relations between models and which uses a verification method to produce suggestion for the project plan, based on the current situation of the project.
Björn Axenath, Oliver Sudmann
Added 18 Feb 2011
Updated 18 Feb 2011
Type Journal
Year 2009
Where GI
Authors Björn Axenath, Oliver Sudmann
Comments (0)