Sciweavers

9455 search results - page 377 / 1891
» The Modelling Language Zinc
Sort
View
ER
2009
Springer
126views Database» more  ER 2009»
16 years 1 months ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
FM
2009
Springer
90views Formal Methods» more  FM 2009»
16 years 1 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
CC
2010
Springer
144views System Software» more  CC 2010»
16 years 1 months ago
The Polyhedral Model Is More Widely Applicable Than You Think
Mohamed-Walid Benabderrahmane, Louis-Noël Pou...
CISIS
2008
IEEE
16 years 1 months ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss
IEEESCC
2007
IEEE
16 years 1 months ago
A Meta-Model Approach for the Deployment of Services-oriented Applications
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
Antonin Chazalet, Philippe Lalanda