Proceedings of the Ninth 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

Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
Proceedings of the Ninth International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2006.

MDE
DBLP
Scholar
Full names Links ISxN
@proceedings{MoDELS-2006,
	address       = "Genova, Italy",
	editor        = "Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio",
	isbn          = "3-540-45772-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 4199,
	year          = 2006,
}

Contents (53 items)

MODELS-2006-Gomaa #architecture #design #modelling #product line #realtime
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines (HG), pp. 1–15.
MODELS-2006-Henderson-SellersG #uml
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
MODELS-2006-LangeBCD #modelling #uml
An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
MODELS-2006-OKeefe #uml
Improving the Definition of UML (GO), pp. 42–56.
MODELS-2006-Staron #case study #development #industrial #modelling
Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.
MODELS-2006-CeriaC #case study #development
Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.
MODELS-2006-KuhnGW #case study #development #experience #modelling #process #tool support
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
MODELS-2006-MullerFFHSGJ #analysis #modelling #syntax #synthesis
Model-Driven Analysis and Synthesis of Concrete Syntax (PAM, FF, FF, MH, RS, SG, JMJ), pp. 98–110.
MODELS-2006-Baar #modelling #syntax #visual notation
Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
MODELS-2006-GoolPHE #composition
Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.
MODELS-2006-BerghC #interactive #modelling
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications (JVdB, KC), pp. 140–154.
MODELS-2006-RashidM #domain model #modelling
Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.
MODELS-2006-CibranD #aspect-oriented #slicing
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MODELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
MODELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
MODELS-2006-KolovosPP #modelling
Merging Models with the Epsilon Merging Language (EML) (DSK, RFP, FP), pp. 215–229.
MODELS-2006-DiskinD #semantics #towards #uml
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MODELS-2006-TaleghaniA #semantics #uml
Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
MODELS-2006-CostalGQRT #constraints #uml
Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
MODELS-2006-HafnerAB #architecture #modelling #qvt #security #towards
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MODELS-2006-SussMKWW #re-engineering
MDA-Based Re-engineering with Object-Z (JGS, TM, SKK, LW, GW), pp. 291–305.
MODELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELS-2006-HearndenLR #evolution #incremental #model transformation #modelling
Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MODELS-2006-CuadradoM #empirical #model transformation
A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MODELS-2006-AkehurstBEHM #java #named
SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.
MODELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELS-2006-DuarteKU #information management #using
Model Extraction Using Context Information (LMD, JK, SU), pp. 380–394.
MODELS-2006-TombelleV #modelling
Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.
MODELS-2006-Varro #model transformation
Model Transformation by Example (DV), pp. 410–424.
MODELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.
MODELS-2006-BezivinBGJKL #exclamation #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELS-2006-AlanenLP #diagrams #modelling
A Mapping Language from Models to DI Diagrams (MA, TL, IP), pp. 454–468.
MODELS-2006-AlanenP #modelling #set
Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.
MODELS-2006-ElaasarBL #approach #metamodelling #specification
A Metamodeling Approach to Pattern Specification (ME, LCB, YL), pp. 484–498.
MODELS-2006-Cohen
Immune System Computation and the Immunological Homunculus (IRC), pp. 499–512.
MODELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.
MODELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.
MODELS-2006-GieseW #graph grammar #incremental
Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
MODELS-2006-MustafizSKV #assessment #case study #modelling
Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.
MODELS-2006-HogganvikS #approach #empirical #identification #motivation #risk management #visual notation
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations (IH, KS), pp. 574–588.
MODELS-2006-MottuBT #approach #component #reuse
Reusable MDA Components: A Testing-for-Trust Approach (JMM, BB, YLT), pp. 589–603.
MODELS-2006-DucasseG #execution #metalanguage #smalltalk #using
Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
MODELS-2006-LundellLPM #analysis #uml #xmi
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 (BL, BL, AP, AM), pp. 619–630.
MODELS-2006-SriplakichBG #distributed
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
MODELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
MODELS-2006-MarkovicB #ocl #qvt #semantics
An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MODELS-2006-Kosiuczenko #ocl #specification #variability
Specification of Invariability in OCL (PK), pp. 676–691.
MODELS-2006-AntkiewiczC #modelling
Framework-Specific Modeling Languages with Round-Trip Engineering (MA, KC), pp. 692–706.
MODELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
MODELS-2006-HendricksonJH #design #diagrams #process
Layered Class Diagrams: Supporting the Design Process (SAH, BJ, AvdH), pp. 722–736.
MODELS-2006-SchattkowskyHE #design #process #synthesis #uml #using
Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.
MODELS-2006-BertolinoBAS #estimation #modelling #network #performance
Modeling and Early Performance Estimation for Network Processor Applications (AB, AB, GDA, ALSV), pp. 753–767.
MODELS-2006-Beeck #semantics #uml
A Formal Semantics of UML-RT (MvdB), pp. 768–782.

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.