Sciweavers

354 search results - page 35 / 71
» Consistency between Executable and Abstract Processes
Sort
View
NOTERE
2010
13 years 8 months ago
The Design of a Real-Time Event Manager Component
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
Damien Masson, Serge Midonnet
ITCC
2005
IEEE
14 years 3 months ago
Using Formal Concept Analysis to Establish Model Dependencies
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Igor Ivkovic, Kostas Kontogiannis
AI
2004
Springer
13 years 9 months ago
The representation of planning strategies
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
Andrew S. Gordon
GI
2009
Springer
13 years 7 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
MODELS
2010
Springer
13 years 8 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...