Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter
Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2008.

MDE
DBLP
Scholar
Full names Links ISxN
@proceedings{MoDELS-2008,
	address       = "Toulouse, France",
	editor        = "Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter",
	isbn          = "978-3-540-87874-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 5301,
	year          = 2008,
}

Contents (61 items)

MODELS-2008-BatoryAS #design
The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
MODELS-2008-Diskin #algebra #bidirectional #modelling
Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
MODELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELS-2008-HateburHS #metamodelling #problem
A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.
MODELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
MODELS-2008-SinhaKPW #case study #modelling #requirements #using #validation
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
MODELS-2008-HemelVV #modelling #named #object-oriented #web #workflow
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
MODELS-2008-SvendsenOEMCAH #future of
The Future of Train Signaling (AS, GKO, JE, TM, EC, KJA, ØH), pp. 128–142.
MODELS-2008-DentonJSOB #framework #multi #named #platform
NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.
MODELS-2008-Kramer #abstraction #modelling
Abstraction and Modelling — A Complementary Partnership (JK), p. 158.
MODELS-2008-KessentiniSB #model transformation #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELS-2008-RobbesL #program transformation
Example-Based Program Transformation (RR, ML), pp. 174–188.
MODELS-2008-El-BoussaidiM #constraints #design #detection #using
Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
MODELS-2008-LiangDDP #approach #integration
A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.
MODELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MODELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
MODELS-2008-RosePKP #modelling
Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
MODELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml
X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
MODELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
MODELS-2008-Rauhut #3d #design #idea #modelling #parametricity
3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.
MODELS-2008-LucredioFW #named
MOOGLE: A Model Search Engine (DL, RPdMF, JW), pp. 296–310.
MODELS-2008-CicchettiRP #development #distributed
Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
MODELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling
Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.
MODELS-2008-WaignierSMD #component #framework #interactive #modelling
A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.
MODELS-2008-WeisemollerS #component #composition #metamodelling
Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.
MODELS-2008-HessellundW #interface #metamodelling #modelling
Interfaces and Metainterfaces for Models and Metamodels (AH, AW), pp. 401–415.
MODELS-2008-MilanovicKBCEPW #documentation #integration #metadata #metamodelling #repository
Model&Metamodel, Metadata and Document Repository for Software and Data Integration (NM, RDK, TB, MC, HE, MP, JW), pp. 416–430.
MODELS-2008-JanotaKW #constraints #interactive #semantics #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MODELS-2008-GogollaKB #benchmark #metric #ocl #performance
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
MODELS-2008-Ramos #constraints #relational #uml
Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
MODELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
MODELS-2008-TawhidP #analysis #development #modelling #performance #product line
Integrating Performance Analysis in the Model Driven Development of Software Product Lines (RT, DCP), pp. 490–504.
MODELS-2008-MonperrusJCH #approach #metric #modelling
A Model-Driven Measurement Approach (MM, JMJ, JC, BH), pp. 505–519.
MODELS-2008-RosseboR #composition #policy #specification #uml #using
Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
MODELS-2008-MouelhiFBT #deployment #framework #modelling #policy #security #specification #testing
A Model-Based Framework for Security Policy Specification, Deployment and Testing (TM, FF, BB, YLT), pp. 537–552.
MODELS-2008-ZamaniKB #enterprise #pattern matching #verification
A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.
MODELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml
Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
MODELS-2008-NugrohoFC #analysis #empirical #fault #modelling #uml
Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.
MODELS-2008-GravinoST #empirical #modelling #requirements
An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.
MODELS-2008-VermolenV #co-evolution #evolution
Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
MODELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling
Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.
MODELS-2008-BruhlmannGGN #reverse engineering
Enriching Reverse Engineering with Annotations (AB, TG, OG, ON), pp. 660–674.
MODELS-2008-CraneD #execution #formal method #modelling #set #towards #uml
Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
MODELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELS-2008-ProutADS #code generation #configuration management #semantics
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
MODELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.
MODELS-2008-BernardiMP #analysis #dependence
Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
MODELS-2008-SaadKS #framework #modelling #network #testing #visual notation
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications (MAS, NK, JHS), pp. 751–765.
MODELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
MODELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.
MODELS-2008-MorinVLGBJ #aspect-oriented #complexity #modelling #variability
Managing Variability Complexity in Aspect-Oriented Modeling (BM, GV, PL, AG, OB, JMJ), pp. 797–812.
MODELS-2008-Gessenharter #code generation #java #semantics #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELS-2008-CuccuruGR
Meaningful Composite Structures (AC, SG, AR), pp. 828–842.
MODELS-2008-GutheilKA #approach #modelling #multi
A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.
MODELS-2008-JurjensRT #assurance #modelling #quality
Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
MODELS-2008-ParetoSE #embedded #evolution #ontology
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
MODELS-2008-ObataI #modelling #validation
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.