Sciweavers

790 search results - page 45 / 158
» Abstract modeling for engineering and engagement level simul...
Sort
View
FASE
2003
Springer
14 years 2 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann
RE
2004
Springer
14 years 2 months ago
Visual Variability Analysis for Goal Models
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
Bruno González-Baixauli, Julio Cesar Sampai...
FASE
2011
Springer
13 years 13 days ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
FASE
2004
Springer
14 years 20 days ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
SEMWEB
2001
Springer
14 years 1 months ago
OntoMap - the Guide to the Upper-Level
Abstract. The upper-level ontologies are theories that capture the most common concepts, which are relevant for many of the tasks involving knowledge extraction, representation, an...
Atanas K. Kirakov, Marin Dimitrov