Proceedings of the Seventh International Conference on the Unified Modelling Language: Modelling Languages and Applications
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

Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor
Proceedings of the Seventh International Conference on the Unified Modelling Language: Modelling Languages and Applications
UML, 2004.

MDE
DBLP
Scholar
Full names Links ISxN
@proceedings{UML-2004,
	address       = "Lisbon, Portugal",
	editor        = "Thomas Baar and Alfred Strohmeier and Ana M. D. Moreira and Stephen J. Mellor",
	isbn          = "3-540-23307-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on the Unified Modelling Language: Modelling Languages and Applications}",
	volume        = 3273,
	year          = 2004,
}

Contents (30 items)

UML-2004-DuranBGP #case study #empirical #evolution #metamodelling
Empirically Driven Use Case Metamodel Evolution (AD, BB, MG, MP), pp. 1–11.
UML-2004-MaSZJ #metamodelling #metric #object-oriented #uml
Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.
UML-2004-CaronCMV #ocl #uml
An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.
UML-2004-PetriuW #design #generative #metamodelling #modelling #performance #uml
A Metamodel for Generating Performance Models from UML Designs (DBP, CMW), pp. 41–53.
UML-2004-JiangSZMMM #classification #metamodelling #on the #uml
On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.
UML-2004-KnappKZH #modelling #process #web
Modeling Business Processes in Web Applications with ArgoUWE (AK, NK, GZ, HMH), pp. 69–83.
UML-2004-StrawGSFB #composition
Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.
UML-2004-SteinHU #modelling #query
Query Models (DS, SH, RU), pp. 98–112.
UML-2004-GeorgRF #specification
Specifying Cross-Cutting Requirement Concerns (GG, RR, RBF), pp. 113–127.
UML-2004-GrassiMS #mobile #uml
A UML Profile to Model Mobile Systems (VG, RM, AS), pp. 128–142.
UML-2004-BennettFW #evaluation #performance #scheduling #uml
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.
UML-2004-PitkanenS #execution #incremental #modelling #uml
A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
UML-2004-CorreaW #modelling #ocl #refactoring #uml
Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.
UML-2004-BauerdickGG #case study #detection #experience #ocl #uml
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (HB, MG, FG), pp. 188–196.
UML-2004-GieseH #specification #uml
From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
UML-2004-GoniE #concurrent #ocl #precise #uml #using
Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
UML-2004-FlakeM #ocl #semantics
An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.
UML-2004-GaafarS #framework #ocl #towards #uml #xml #xquery
Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.
UML-2004-MullerBS #architecture #case study #experience #modelling
Model-Driven Architecture for Automatic-Control: An Experience Report (PAM, DB, PS), pp. 260–274.
UML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
UML-2004-VarroP #model transformation
Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
UML-2004-StraetenJM #behaviour #consistency #inheritance #refactoring
Supporting Model Refactorings Through Behaviour Inheritance Consistencies (RVDS, VJ, TM), pp. 305–319.
UML-2004-CabotT #constraints
Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
UML-2004-AronsHKPZ #deduction #modelling #uml #verification
Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
UML-2004-AbieAKMR #security #uml
Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.
UML-2004-JurjensS #automation #modelling #requirements #security #verification
Automated Verification of UMLsec Models for Security Requirements (JJ, PS), pp. 365–379.
UML-2004-Fernandez-MedinaP #database #development #ocl
Extending OCL for Secure Database Development (EFM, MP), pp. 380–394.
UML-2004-HayashiYSMSH #development #modelling #uml
Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.
UML-2004-Reinhartz-BergerS #analysis #approach #behaviour #domain model #modelling
Behavioral Domain Analysis — The Application-Based Domain Modeling Approach (IRB, AS), pp. 410–424.
UML-2004-DologN #collaboration #diagrams #feature model #modelling #uml #using
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications (PD, WN), pp. 425–439.

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.