Proceedings of the 10th 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

Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil
Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2007.

MDE
DBLP
Scholar
Full names Links ISxN
@proceedings{MoDELS-2007,
	address       = "Nashville, USA",
	editor        = "Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil",
	isbn          = "978-3-540-75208-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 4735,
	year          = 2007,
}

Contents (45 items)

MODELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELS-2007-GreenyerK #graph grammar #qvt
Reconciling TGGs with QVT (JG, EK), pp. 16–30.
MODELS-2007-VanhooffABJB #framework #named
UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.
MODELS-2007-HessellundCW #development #domain-specific language #multi
Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
MODELS-2007-MassicotteCBL #detection #modelling
Model-Driven, Network-Context Sensitive Intrusion Detection (FM, MC, LCB, YL), pp. 61–75.
MODELS-2007-CorreaWB #empirical #ocl #refactoring #smell #specification
An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications (ALC, CW, MdOB), pp. 76–90.
MODELS-2007-GasevicKH #megamodelling #metamodelling #on the
On Metamodeling in Megamodels (DG, NK, MH), pp. 91–105.
MODELS-2007-RenggliDK #approach #developer #named
Magritte — A Meta-driven Approach to Empower Developers and End Users (LR, SD, AK), pp. 106–120.
MODELS-2007-RamosBJ
Matching Model-Snippets (RR, OB, JMJ), pp. 121–135.
MODELS-2007-KusterR #consistency #evaluation #nondeterminism
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
MODELS-2007-JayaramanWEG #analysis #composition #detection #feature model #interactive #product line #using
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis (PKJ, JW, AME, HG), pp. 151–165.
MODELS-2007-WeilMNDB #analysis #automation #design #modelling #semantics
Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.
MODELS-2007-SteimannK #modelling #type system
Piecewise Modelling with State Subtypes (FS, TK), pp. 181–195.
MODELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELS-2007-KampffmeyerZ #design pattern #ontology
Finding the Pattern You Need: The Design Pattern Intent Ontology (HK, SZ), pp. 211–225.
MODELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling
Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.
MODELS-2007-PleussVH #development #interactive #tool support
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
MODELS-2007-ZhaoZHM #approach #e-commerce #generative #user interface
A Business-Process-Driven Approach for Generating E-Commerce User Interfaces (XZ, YZ, JH, BM), pp. 256–270.
MODELS-2007-CuccuruMTG #semantics #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELS-2007-KrahnRV #syntax
Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.
MODELS-2007-OldevikH #architecture #aspect-oriented #uml
Architectural Aspects in UML (JO, ØH), pp. 301–315.
MODELS-2007-BatoriTA #configuration management #modelling
Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.
MODELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
MODELS-2007-HanH #modelling #navigation #web
Relating Navigation and Request Routing Models in Web Applications (MH, CH), pp. 346–359.
MODELS-2007-ErmaganK #modelling #uml
A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.
MODELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MODELS-2007-BrownDJ #design #implementation
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.
MODELS-2007-JacksonS #reasoning
Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
MODELS-2007-BasinCDE #approach #metamodelling #modelling
A Metamodel-Based Approach for Analyzing Security-Design Models (DAB, MC, JD, ME), pp. 420–435.
MODELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELS-2007-KonradGC #analysis #incremental #modelling #process
i2MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
MODELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web
A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
MODELS-2007-FleureyBBNJ #industrial #migration #modelling #scalability
Model-Driven Engineering for Software Migration in a Large Industrial Context (FF, EB, BB, AN, JMJ), pp. 482–497.
MODELS-2007-LahireMVGBJ #aspect-oriented #modelling #variability
Introducing Variability into Aspect-Oriented Modeling Approaches (PL, BM, GV, AG, OB, JMJ), pp. 498–513.
MODELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELS-2007-ZhangHK #aspect-oriented #state machine #uml
Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
MODELS-2007-SmialekBNAS #case study
Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.
MODELS-2007-AndreMS #modelling
Modeling Time(s) (CA, FM, RdS), pp. 559–573.
MODELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
MODELS-2007-HibberdLR #debugging #forensics #model transformation
Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MODELS-2007-PilskalnsWI #debugging #runtime #uml #using
Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
MODELS-2007-XuL #interactive #monitoring #visual notation
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
MODELS-2007-ProchnowH #development #statechart
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
MODELS-2007-KienzleDV #behaviour #design #game studies #modelling
Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
MODELS-2007-ChakiILWZ #modelling
Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.

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.