Sciweavers

2205 search results - page 200 / 441
» Mutation Operators for Specifications
Sort
View
GRID
2007
Springer
15 years 8 months ago
Meeting virtual organization performance goals through adaptive grid reconfiguration
— In order for Grids to become relied upon for critical infrastructure and reliable scientific computing, Grid-wide management must be automated so that it is possible in quickly...
Zach Hill, Jonathan C. Rowanhill, Anh Nguyen-Tuong...
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
15 years 8 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
ER
2005
Springer
134views Database» more  ER 2005»
15 years 8 months ago
An Agent-Oriented Meta-model for Enterprise Modelling
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
Ivan Jureta, Stéphane Faulkner
ER
2005
Springer
146views Database» more  ER 2005»
15 years 8 months ago
Kuaba Ontology: Design Rationale Representation and Reuse in Model-Based Designs
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
Adriana Pereira de Medeiros, Daniel Schwabe, Bruno...
124
Voted
ICWE
2005
Springer
15 years 8 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...