Sciweavers

1328 search results - page 136 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
14 years 10 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
ROBOCUP
2004
Springer
106views Robotics» more  ROBOCUP 2004»
15 years 3 months ago
Predicting Opponent Actions by Observation
In competitive domains, the knowledge about the opponent can give players a clear advantage. This idea lead us in the past to propose an approach to acquire models of opponents, ba...
Agapito Ledezma, Ricardo Aler, Araceli Sanch&iacut...
RE
1999
Springer
15 years 2 months ago
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh...
CASCON
2004
108views Education» more  CASCON 2004»
14 years 11 months ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
INFORMATICALT
2002
54views more  INFORMATICALT 2002»
14 years 9 months ago
Separation Of Concerns in Multi-language Specifications
Abstract. We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-di...
Robertas Damasevicius, Vytautas Stuikys