Stem uml$ (all stems)

957 papers:

DAC-2015-PetersWPKD #constraints #modelling #representation #uml

A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.

FASE-2015-KnappMRG #state machine #uml

An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification

Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.

SEFM-2015-DawC #diagrams #process #semantics #uml

An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.

CAiSE-2015-EstanolST #modelling #process #uml #validation #verification

Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.

ICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml

A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.

ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml

A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.

ICEIS-v2-2015-PereiraBD #formal method #uml

Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.

ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using

Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.

SEKE-2015-KchaouBB #modelling #uml

CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.

MoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml

A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.

MoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml

A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.

ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification

Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.

ECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support #uml

Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.

MoDELS-2015-AhmarGDP #communication #modelling #uml #visual notation

Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.

MoDELS-2015-DasD #state machine #uml

State machine antipatterns for UML-RT (TKD, JD), pp. 54–63.

MoDELS-2015-Fernandez-SaezC #bibliography #documentation #industrial #maintenance #on the #uml

On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.

MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml

Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.

SAC-2015-CostaCFR #diagrams #modelling #precise #uml

From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.

SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml

Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.

ICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification

Scalable Formal Verification of UML Models (MMPK), pp. 847–850.

SLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #on the #uml #visual notation

On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience (SM, JPS, AA, MT, LG), pp. 1–12.

SPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability

Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.

ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml

MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.

ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

TAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml

Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.

ASE-2014-KuschkeM #modelling #process #uml

Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.

ASE-2014-MaYHC #modelling #uml #web

A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.

ITiCSE-2014-StrieweG #assessment #automation #diagrams #process #uml

Automated assessment of UML activity diagrams (MS, MG), p. 336.

ICSME-2014-KhanIA #approach #behaviour #heuristic #state machine #uml

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.

IFM-2014-AbbasBR #modelling #uml

Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.

IFM-2014-MellerGY #behaviour #uml #verification

Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.

SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification

Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.

HILT-2014-Seidewitz #execution #modelling #uml

UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.

ICEIS-v2-2014-MeloS #design #modelling #uml #using

Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.

CIKM-2014-CalvaneseMET #modelling #process #uml

Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.

KDIR-2014-KudamaL #random #semantics #using

Semantic Annotation of UMLS using Conditional Random Fields (SK, RBL), pp. 335–341.

KEOD-2014-OlszewskaSM #design #ontology #owl #uml #using

Dynamic OWL Ontology Design Using UML and BPMN (JIO, RMS, TLM), pp. 436–444.

SEKE-2014-CostaMM #detection #diagrams #equivalence #semantics #uml

Detecting Semantic Equivalence in UML Class Diagrams (VOC, RM, LM), pp. 318–323.

SEKE-2014-HuHCC #diagrams #execution #model transformation #uml

Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.

AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml

On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.

ICMT-2014-HilkenHG #modelling #ocl #uml

Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.

MoDELS-2014-BergmayrGWK #java #named #uml

JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.

MoDELS-2014-EnriciAP #approach #communication #modelling #uml

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

MoDELS-2014-ReggioLR #bibliography #uml #what

Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.

MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.

MoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.

MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml

Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.

MoDELS-2014-BergmayrGWK #java #named #uml

JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.

MoDELS-2014-EnriciAP #approach #communication #modelling #uml

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

MoDELS-2014-ReggioLR #bibliography #uml #what

Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.

MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.

MoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.

MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml

Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.

SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.

TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.

TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.

DATE-2013-SeiterWSD #ocl #specification #uml #verification

Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.

CSMR-2013-BagnatoSBV #case study #industrial #internet #testing #uml

The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.

ICPC-2013-FalconeS #diagrams #eclipse #graph #named #plugin #uml #visualisation

OnionUML: An Eclipse plug-in for visualizing UML class diagrams in onion graph notation (MF, BS), pp. 233–235.

IFM-2013-LiuLACSWD #semantics #state machine #uml

A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.

ICEIS-v1-2013-BimonteBPK #design #implementation #modelling #multi #uml

Design of Complex Spatio-multidimensional Models with the ICSOLAP UML Profile — An Implementation in MagicDraw (SB, KB, FP, MAK), pp. 310–315.

ICEIS-v2-2013-BouassidaBA #design #named #semantics

P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.

ICEIS-v2-2013-Ramos #constraints #database #sql #uml

Deontic Database Constraints — From UML to SQL (PNR), pp. 102–109.

ICEIS-v2-2013-RibeiroSFO #concept #constraints #ocl #validation

Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model (AAdAR, SMS, JLF, ILO), pp. 286–293.

SEKE-2013-AnchietaSM #case study #diagrams #identification #prototype #uml #user interface #using

Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases (RTA, RFdS, RSM), pp. 48–53.

MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml

Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.

MoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using

Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.

MoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml

An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.

MoDELS-2013-HamannG #concept #metamodelling #semantics #uml

Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

MoDELS-2013-WendlandSH #evolution #interactive #metamodelling #uml

Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml

Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.

MoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using

Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.

MoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml

An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.

MoDELS-2013-HamannG #concept #metamodelling #semantics #uml

Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

MoDELS-2013-WendlandSH #evolution #interactive #metamodelling #uml

Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

REFSQ-2013-WauteletK #modelling #uml

Mapping i* within UML for Business Modeling (YW, MK), pp. 237–252.

SAC-2013-BakreBE #approach #interactive #uml

Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.

SAC-2013-LaurentBG #debugging #modelling #uml

Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.

ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml

USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.

ICSE-2013-Ciccozzi #modelling #uml

From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.

ICSE-2013-Petre #uml

UML in practice (MP), pp. 722–731.

ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.

TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml

Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.

DATE-2012-EbeidFQS #design #embedded #modelling #refinement #uml

Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.

DATE-2012-SoekenWD #invariant #modelling #ocl #uml

Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.

DATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml

Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.

FoSSaCS-2012-CaliGOP #diagrams #query #uml

Querying UML Class Diagrams (AC, GG, GO, AP), pp. 1–25.

ICPC-2012-NogueraRKJ #query #uml

Code querying by UML (CN, CDR, AK, VJ), pp. 229–238.

ICPC-2012-SohSPPGA #comprehension #diagrams #empirical #uml

Professional status and expertise for UML class diagram comprehension: An empirical study (ZS, ZS, BVdP, GCP, YGG, GA), pp. 163–172.

FM-2012-GrumbergMY #behaviour #model checking #modelling #uml

Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.

IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml

Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.

SFM-2012-Selic #uml

The Less Well Known UML — A Short User Guide (BS), pp. 1–20.

ICEIS-v1-2012-BoulilBP #approach #ocl #quality #uml

A UML & Spatial OCL based Approach for Handling Quality Issues in SOLAP Systems (KB, SB, FP), pp. 99–104.

ICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml

Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.

SEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service

Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.

SEKE-2012-GrunwaldM #approach #named #owl #uml

umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.

SEKE-2012-LiLCZJZ #adaptation #continuation #self #verification

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.

SEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml

Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.

SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification

HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.

ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.

ECMFA-2012-GeP #framework #realtime #safety #uml #verification

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.

ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml #validation

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.

ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.

ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml

A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.

ECMFA-2012-Seidewitz #execution #manycore #uml

Executable UML: From Multi-domain to Multi-core (ES), p. 1.

ECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml

Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.

MoDELS-2012-HumaGEJ #automation #towards #uml

Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.

MoDELS-2012-IqbalAYB #case study #experience #industrial #uml

Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.

MoDELS-2012-NoyritGS #metamodelling #named #uml

FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.

MoDELS-2012-SchulzeCA #approach #modelling #uml

An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.

MoDELS-2012-HumaGEJ #automation #towards #uml

Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.

MoDELS-2012-IqbalAYB #case study #experience #industrial #uml

Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.

MoDELS-2012-NoyritGS #metamodelling #named #uml

FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.

MoDELS-2012-SchulzeCA #approach #modelling #uml

An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.

TOOLS-EUROPE-2012-OchoaJC #uml

Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.

SAC-2012-CunhaFS #ocl #relational #uml

From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.

SAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml

Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.

FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification

UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.

ICSE-2012-Mayerhofer #debugging #modelling #testing #uml

Testing and debugging UML models based on fUML (TM), pp. 1579–1582.

ICSE-2012-Motta #modelling #multi #towards #uml #verification

Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.

ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.

TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml

Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.

TAP-2012-BruningGHK #debugging #modelling #ocl #uml

Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.

ECSA-2011-AdersbergerP #architecture #consistency #named #traceability #uml

ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking (JA, MP), pp. 344–359.

ECSA-2011-JrCCGOFMG #architecture #component #lessons learnt #product line #uml

Extending UML Components to Develop Software Product-Line Architectures: Lessons Learned (ACCJ, GGC, TEC, IMdSG, EAOJ, SF, PCM, AFG), pp. 130–138.

ASE-2011-ZurowskaD #analysis #modelling #named #uml

SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.

DATE-2011-SoekenWD #aspect-oriented #modelling #uml #verification

Verifying dynamic aspects of UML models (MS, RW, RD), pp. 1077–1082.

DATE-2011-SunYW #co-evolution #design #framework #network #uml

A UML 2-based hardware-software co-design framework for body sensor network applications (ZS, CTY, WFW), pp. 1505–1508.

DATE-2011-VidalLGDG #configuration management #design #implementation #uml

Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation (JV, FdL, GG, JPD, SG), pp. 1208–1211.

CSEET-2011-LethbridgeMFB #education #programming #uml #using

Teaching UML using umple: Applying model-oriented programming in the classroom (TCL, GM, AF, OBB), pp. 421–428.

ITiCSE-2011-StrieweG #automation #diagrams #uml

Automated checks on UML diagrams (MS, MG), pp. 38–42.

CSMR-2011-CoteH #requirements #tool support #uml

A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.

ICSM-2011-Sharif #architecture #assessment #diagrams #empirical #uml

Empirical assessment of UML class diagram layouts based on architectural importance (BS), pp. 544–549.

SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.

GT-VMT-2011-BoronatM #automation #case study #maude #uml

Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).

AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #realtime #uml

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.

EDOC-2011-BruningG #execution #metamodelling #modelling #uml #workflow

UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.

ICEIS-J-2011-BajwaC #modelling #natural language #specification #uml

From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.

ICEIS-v1-2011-Cuzzocrea #approach #information management #mining

A UML-extended Approach for Mining OLAP Data Cubes in Complex Knowledge Discovery Environments (AC), pp. 281–289.

ICEIS-v3-2011-NiZY #analysis #uml

Analysis of Requirement Capture based on UML (TN, ZZ, YY), pp. 313–317.

SEKE-2011-GuedesV #analysis #case study #metamodelling #multi #requirements #uml #validation

Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study (GTAG, RMV), pp. 746–751.

SEKE-2011-Krishna #approach #non-functional #process #requirements #uml

A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.

SEKE-2011-PossompesDHT #design #diagrams #feature model #implementation #uml

Design of a UML profile for feature diagrams and its tooling implementation (TP, CD, MH, CT), pp. 693–698.

SEKE-2011-SilveiraRZCVO #generative #modelling #performance #testing #uml

Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.

ICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine #uml

From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.

ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards #uml

Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.

ECMFA-2011-Vallecillo #uml

Improving Naming and Grouping in UML (AV), pp. 345–360.

ECMFA-2011-YueAB #automation #case study #state machine #testing #uml

Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.

MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.

MoDELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml

Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.

MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using

Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

MoDELS-2011-Kraemer #android #process #uml

Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.

MoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification

Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.

MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.

MoDELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml

Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.

MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using

Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

MoDELS-2011-Kraemer #android #process #uml

Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.

MoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification

Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.

TOOLS-EUROPE-2011-LangerWWC #emf #uml

From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.

QAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml

QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.

RE-2011-CoteHSH #analysis #named #problem #requirements #uml

UML4PF — A tool for problem-oriented requirements analysis (IC, MH, HS, DH), pp. 349–350.

RE-2011-OhashiKTY #development #traceability #uml

A means of establishing traceability based on a UML model in business application development (KO, HK, YT, RY), pp. 279–284.

SAC-2011-KimDB #dependence #diagrams #identification #state machine #uml

Identifying properties of UML state machine diagrams that affect data and control dependence (HK, VD, DHB), pp. 1464–1469.

SAC-2011-PorresR #behaviour #interface #modelling #rest #uml #web #web service

Modeling behavioral RESTful web service interfaces in UML (IP, IR), pp. 1598–1605.

ESEC-FSE-2011-MontrieuxWY #data access #specification #tool support #uml #verification

Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.

GTTSE-2011-MikhaielTNSX #difference #modelling #uml

Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.

ICSE-2011-Jurjens #automation #evolution #modelling #security #uml

Automated security hardening for evolving UML models (JJ), pp. 986–988.

ICTSS-2011-CastillosDJT #modelling #ocl #testing #uml

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.

TAP-2011-SoekenWD #data type #encoding #modelling #ocl #satisfiability #uml #verification

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.

QoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #process #uml #usability

Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users (DB, SO), pp. 119–134.

ASE-2010-RederE #design #detection #fault #named #uml #visualisation

Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.

ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml

Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.

DATE-2010-MischkallaH0 #modelling #simulation #synthesis #uml

Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.

DATE-2010-SoekenWKGD #modelling #ocl #satisfiability #uml #using #verification

Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.

DATE-2010-VidalLGDS #configuration management #design #embedded #multi #uml

UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.

CSEET-2010-IshiiSFF #education #modelling #programming #social #uml

Fostering UML Modeling Skills and Social Skills through Programming Education (NI, YS, HF, TF), pp. 25–32.

ITiCSE-2010-BorstlerDRTHW #modelling #uml

Sharing and discussing UML modeling exercises in a PLE (JB, DD, ER, ST, MH, SW), p. 301.

ICSM-2010-DamW #co-evolution #modelling #uml

Supporting change propagation in UML models (HKD, MW), pp. 1–10.

MSR-2010-NugrohoCA #design #java #metric #predict #uml

Assessing UML design metrics for predicting fault-prone classes in a Java system (AN, MRVC, EA), pp. 21–30.

IFM-2010-LanoR #model transformation #specification #uml #using #verification

Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.

SIGAda-2010-Pettit #ada #concurrent #design #embedded #realtime #uml #using

Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.

ICEIS-ISAS-2010-BoubakerBB #specification #uml

Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.

ICEIS-ISAS-2010-ScannielloGT #bibliography #industrial #maintenance #modelling #uml

Investigating the Role of UML in the Software Modeling and Maintenance — A Preliminary Industrial Survey (GS, CG, GT), pp. 141–148.

SEKE-2010-GuedesV #multi #requirements #uml

A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems Project (GTAG, RMV), p. 2833.

SEKE-2010-ParkHK #diagrams #sequence chart #uml #verification

Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.

ECMFA-2010-Balderas-ContrerasGC #algorithm #uml

A UML 2.0 Profile to Model Block Cipher Algorithms (TBC, GRG, RC), pp. 20–31.

MoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml

Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.

MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.

MoDELS-v1-2010-NoyritGTS #consistency #modelling #multi #uml #using

Consistent Modeling Using Multiple UML Profiles (FN, SG, FT, BS), pp. 392–406.

MoDELS-v1-2010-Pardillo #bibliography #uml

A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.

MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml

Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.

MoDELS-v2-2010-LanoR #model transformation #modelling #slicing #uml #using

Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.

SAC-2010-JuniorPC #aspect-oriented #bibliography #empirical #evaluation #framework #uml

An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks (JUJ, RDP, VVdC), pp. 2289–2296.

ICSE-2010-Cruz #case study #fault #metric #predict #uml

Exploratory study of a UML metric for fault prediction (AECC), pp. 361–364.

ICSE-2010-ErfurthR #aspect-oriented #named #requirements #uml

CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.

SPLC-2010-AzevedoMBR #uml #variability

The UML “extend” Relationship as Support for Software Variability (SA, RJM, AB, HR), pp. 471–475.

ICST-2010-PorresR #contract #nondeterminism #protocol #uml

From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.

ICST-2010-Rahimi #model transformation #specification #uml

Specification of UML Model Transformations (SKR), pp. 323–326.

ICST-2010-Weissleder #state machine #test coverage #uml

Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.

WICSA-ECSA-2009-Konemann #concept #modelling #tool support #uml

Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.

ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml

An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.

DATE-2009-ArpinenKSHH #automation #integration #modelling #uml

Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA (TA, TK, ES, TDH, MH), pp. 244–249.

DATE-2009-SchattkowskyXM #uml

A UML frontend for IP-XACT-based IP management (TS, TX, WM), pp. 238–243.

DATE-2009-VidalLGSD #approach #co-evolution #code generation #design #embedded #modelling #uml

A co-design approach for embedded system modeling and code generation with UML and MARTE (JV, FdL, GG, PS, JPD), pp. 226–231.

ITiCSE-2009-MarcosFM #education #uml

The two states of the mind to teach UML (LdM, FF, JJM), p. 361.

CSMR-2009-LuciaFST #concurrent #fine-grained #modelling #uml #version control

Concurrent Fine-Grained Versioning of UML Models (ADL, FF, GS, GT), pp. 89–98.

ICPC-2009-SharifM #comprehension #diagrams #empirical #uml

An empirical study on the comprehension of stereotyped UML class diagram layouts (BS, JIM), pp. 268–272.

FM-2009-LausdahlLL #tool support #uml

Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.

FM-2009-SaidBS #refinement #state machine #tool support #uml

Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.

IFM-2009-CabotCR #contract #ocl #uml #verification

Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.

VISSOFT-2009-SharifM #comprehension #diagrams #empirical #layout #uml

The effect of layout on the comprehension of UML class diagrams: A controlled experiment (BS, JIM), pp. 11–18.

AdaEurope-2009-SaezTGC #ada #implementation #state machine #uml

Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.

CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using

Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.

CAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification

Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.

CAiSE-2009-QueraltT #concept #reasoning #uml

Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.

ICEIS-AIDSS-2009-RaimbaultGL #diagrams #information management #uml #using

Using UML Class Diagram as a Knowledge Engineering Tool (TR, DG, SL), pp. 60–65.

ICEIS-DISI-2009-StempliucFAB #concept #modelling #network

Extending the UML-GeoFrame Data Model for Conceptual Modeling of Network Applications (SMS, JLF, MVAA, KAVB), pp. 164–170.

ICEIS-J-2009-BenevidesG #concept #modelling #ontology

A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML (ABB, GG), pp. 528–538.

CIKM-2009-ZhangMCM #fuzzy #learning #ontology #semantics #uml #web

Fuzzy semantic web ontology learning from fuzzy UML model (FZ, ZMM, JC, XM), pp. 1007–1016.

KEOD-2009-HermidaRMP #case study #modelling #ontology #owl #reuse #uml

Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.

SEKE-2009-HauboldBG #code generation #metamodelling #object-oriented #uml

A Pragmatic UML-based Meta Model for Object-oriented Code Generation (TH, GB, WG), pp. 733–738.

ECMDA-FA-2009-CharfiSS #editing #hybrid #uml #visual notation

A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.

ECMDA-FA-2009-ChenM #consistency #guidelines #uml

A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

MoDELS-2009-DawV #modelling #process #state machine #uml

Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.

MoDELS-2009-DrusinskyS #logic #uml #using

Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.

MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification

Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.

MoDELS-2009-NugrohoC #case study #industrial #modelling #quality #uml

Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.

MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.

MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

MoDELS-2009-DawV #modelling #process #state machine #uml

Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.

MoDELS-2009-DrusinskyS #logic #uml #using

Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.

MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification

Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.

MoDELS-2009-NugrohoC #case study #industrial #modelling #quality #uml

Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.

MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.

MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.

TOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #uml #using

Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.

TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml

Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.

RE-2009-GrossD #diagrams #process #requirements #uml

EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.

SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.

SAC-2009-ChavezSL #approach #detection #uml

An approach to detection of UML-based ownership violation (HMC, WS, SL), pp. 541–542.

SAC-2009-ChoppyR #state machine #uml

A method for developing UML state machines (CC, GR), pp. 382–388.

SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml

Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.

SAC-2009-PrazeresTMP #mvc #semantics #uml #web #web service

Semantic web services: from OWL-S via UML to MVC applications (CVSP, CACT, EVM, MdGCP), pp. 675–680.

ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using

Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.

ICST-2009-NodlerNG #assurance #flexibility #framework #java #quality #specification #uml

A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (JN, HN, JG), pp. 101–110.

TAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml

Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.

QoSA-2008-CortellessaPSV #analysis #architecture #framework #modelling #named #performance #uml

MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis (VC, PP, RS, AV), pp. 86–102.

ASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.

ASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling #uml

Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.

ASE-2008-UbayashiONYT #named #uml

AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.

DATE-2008-BrisolaraORLCW #code generation #uml #using

Using UML as Front-end for Heterogeneous Software Code Generation Strategies (LBdB, MFdSO, RMR, LCL, LC, FRW), pp. 504–509.

FASE-2008-BruckerW #higher-order #named #ocl #proving #uml

HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.

FASE-2008-LagardeETAG #domain model #modelling #uml

Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.

CSMR-2008-LuciaGOT #diagrams #maintenance #modelling #process #uml

Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models (ADL, CG, RO, GT), pp. 173–182.

ICPC-2008-LuciaGOT #comparison #comprehension #diagrams #empirical #uml

Data Model Comprehension: An Empirical Comparison of ER and UML Class Diagrams (ADL, CG, RO, GT), pp. 93–102.

WCRE-2008-AlalfiCD #database #diagrams #named #relational #reverse engineering #sql #uml #xmi

SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas (MHA, JRC, TRD), pp. 187–191.

GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.

GT-VMT-2008-RensinkK #diagrams #graph #on the #semantics #uml

On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).

SOFTVIS-2008-DachseltFD #sketching #tool support #uml

Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.

SOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout #uml

Automatic layout of UML use case diagrams (HE), pp. 105–114.

SOFTVIS-2008-FrischDB #diagrams #semantics #towards #uml

Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.

CAiSE-2008-QueraltT #constraints #decidability #reasoning #uml

Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.

EDOC-2008-Berre #metamodelling #named #standard #uml

UPMS — UML Profile and Metamodel for Services — an Emerging Standard (AJB).

ICEIS-ISAS1-2008-IdaniC #towards #uml

Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.

ICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence #uml

Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.

SEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive #uml

Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.

SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation

Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.

ECMDA-FA-2008-Barbier #runtime #state machine #uml

Supporting the UML State Machine Diagramsat Runtime (FB), pp. 338–348.

ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml

From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.

ECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #semantics #uml

Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.

ICMT-2008-AmstelBPV #algebra #modelling #process #question #semantic gap #state machine #uml

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? (MvA, MvdB, ZP, TV), pp. 61–75.

ICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving

Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.

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-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-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-Gessenharter #code generation #java #semantics #uml

Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.

MoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml

X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.

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-Ramos #constraints #relational #uml

Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.

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-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-YuFR #modelling #static analysis #uml

Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.

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-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-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-Gessenharter #code generation #java #semantics #uml

Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.

MoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml

X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.

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-Ramos #constraints #relational #uml

Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.

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-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-YuFR #modelling #static analysis #uml

Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.

TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.

SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification

UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.

SAC-2008-PiresBR #design #generative #testing #uml

UML-based design test generation (WP, JB, FR), pp. 735–740.

SAC-2008-PiresTR #collaboration #internet

A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.

SAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using

Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.

SAC-2008-ShenK #fault #named #uml

ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.

ICSE-2008-BunyakiatiFSC #standard #testing #uml #using

Using JULE to generate a compliance test suite for the UML standard (PB, AF, JS, CC), pp. 827–830.

ATEM-J-2006-AmelunxenS #formal method #model transformation #uml

Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.

SLE-2008-MoodyH #analysis #diagrams #effectiveness #syntax #uml #visual notation

Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams (DLM, JvH), pp. 16–34.

ICST-2008-BaruzzoC #modelling #uml

A Methodology for UML Models V&V (AB, MC), pp. 513–516.

ICST-2008-Garousi #distributed #modelling #nondeterminism #realtime #testing #uml

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.

ICST-2008-HaslingGB #case study #modelling #requirements #testing #uml #using

Model Based Testing of System Requirements using UML Use Case Models (BH, HG, KB), pp. 367–376.

ICST-2008-KaplanKPSWY #approach #consistency #generative #less is more #modelling #testing #uml

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.

ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.

ICST-2008-RamirezC #adaptation #logic #modelling #uml #verification

Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.

ECSA-2007-SanzACM #architecture #framework #independence #modelling #uml

UML Profile for the Platform Independent Modelling of Service-Oriented Architectures (MLS, CJA, CEC, EM), pp. 304–307.

ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.

ASE-2007-LagardeETG #concept #design #domain model #modelling #uml

Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.

DATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml

Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.

FASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml

S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.

WCRE-J-2005-SuttonM07 #c++ #modelling #uml

Recovering UML class models from C++: A detailed explanation (AS, JIM), pp. 212–229.

CSMR-2007-LangeWC #evolution #monitoring #named #quality #uml

MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.

ICPC-2007-LangeC #comprehension #interactive #modelling #uml #validation

Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.

ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml

Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.

ICPC-2007-YusufKM #comprehension #diagrams #eye tracking #uml

Assessing the Comprehension of UML Class Diagrams via Eye Tracking (SY, HHK, JIM), pp. 113–122.

ICSM-2007-GustavssonLLMB #development #distributed #maintenance #modelling #uml #using

Simplifying maintenance by using XSLT to unlock UML models in a distributed development environment (HG, BL, BL, AM, MB), pp. 465–468.

SFM-2007-Woodside #design #uml

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.

AGTIVE-2007-GronmoM #diagrams #modelling #process #uml

Aspect Diagrams for UML Activity Models (RG, BMP), pp. 329–344.

AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.

VISSOFT-2007-BohnerGHM #analysis #source code #uml #using #visual notation #visualisation

Evolutional Insights from UML and Source Code Versions using Information Visualization and Visual Analysis (SAB, DG, TH, KM), pp. 145–148.

VISSOFT-2007-KagdiM #diagrams #graph #uml

Onion Graphs for Focus+Context Views of UML Class Diagrams (HHK, JIM), pp. 80–87.

EDOC-2007-TosicSL #composition #uml #web #web service

UML Profiles for WS-Policy4MASC as Support for Business Value Driven Engineering and Management of Web Services and their Compositions (VT, BS, HL), pp. 157–168.

ICEIS-EIS-2007-AuerMB #modelling #tool support #uml #usability

Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.

ICEIS-EIS-2007-MehrS #modelling #security #uml

Modelling of Message Security Concerns with UML (FM, US), pp. 365–374.

ICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #semantics #uml

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.

ICEIS-HCI-2007-MartinsS #modelling #uml #user interface

Modeling User Interfaces with the XIS UML Profile (CM, ARdS), pp. 98–104.

SEKE-2007-KearneyP #automation #framework #named #reverse engineering #tool support #uml

REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.

SEKE-2007-KirnerC #empirical #evaluation #requirements #specification #uml

Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study (TGK, ERdC), p. 649–?.

SEKE-2007-KoskerB #graph transformation #refactoring #uml

Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.

SEKE-2007-MartinhoDV #flexibility #modelling #named #process #uml

FlexUML: A UML Profile for Flexible Process Modeling (RM, DD, JV), pp. 215–220.

SEKE-2007-Rhem #modelling #uml #using

Knowledge Modelling using UML (AJR), p. 755–?.

SEKE-2007-XuXW #automation #code generation #protocol #state machine #uml

Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.

ECMDA-FA-2007-FuentesS #aspect-oriented #execution #modelling #uml

Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.

ECMDA-FA-2007-LagardeTAG #constraints #modelling #uml

Constraints Modeling for (Profiled) UML Models (FL, FT, CA, SG), pp. 130–143.

ECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.

MoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml

UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.

MoDELS-2007-CabotG #contract #diagrams #uml

Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.

MoDELS-2007-CuccuruMTG #semantics #uml

Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.

MoDELS-2007-ErmaganK #modelling #uml

A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.

MoDELS-2007-OldevikH #architecture #aspect-oriented #uml

Architectural Aspects in UML (JO, ØH), pp. 301–315.

MoDELS-2007-PilskalnsWI #debugging #runtime #uml #using

Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.

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-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

MoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml

UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.

MoDELS-2007-CabotG #contract #diagrams #uml

Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.

MoDELS-2007-CuccuruMTG #semantics #uml

Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.

MoDELS-2007-ErmaganK #modelling #uml

A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.

MoDELS-2007-OldevikH #architecture #aspect-oriented #uml

Architectural Aspects in UML (JO, ØH), pp. 301–315.

MoDELS-2007-PilskalnsWI #debugging #runtime #uml #using

Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.

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-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

REFSQ-2007-AlkkiomakiS #architecture #case study #functional #integration #modelling #requirements #uml

Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.

REFSQ-2007-DarimontL #requirements #security #uml

Security Requirements for Civil Aviation with UML and Goal Orientation (RD, ML), pp. 292–299.

SAC-2007-CambroneroPDV #modelling #using #web #web service

Using RT-UML for modelling web services (MEC, JJP, GD, VV), pp. 643–648.

SAC-2007-KimS #approach #consistency #modelling #uml

An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.

SAC-2007-SchreinerG #component #embedded #modelling #uml

Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.

ICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml

Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.

ICSE-2007-Egyed07a #consistency #modelling #named #uml

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.

ICSE-2007-LiuM #data access #uml

Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.

ICSE-2007-RiccaPTTC #comprehension #experience #uml

The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes (FR, MDP, MT, PT, MC), pp. 375–384.

AMOST-2007-BouquetGLPVU #modelling #precise #testing #uml

A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.

ASE-2006-SatohKU #diagrams #uml

Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.

ASE-2006-SpanoudakisZ #uml

UML-based Service Discovery Tool (GS, AZ), pp. 361–362.

DATE-2006-AhmedM #design #performance #uml #using

Faster exploration of high level design alternatives using UML for better partitions (WA, DM), pp. 579–580.

DATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #uml

Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.

DATE-2006-VanderperrenD #matlab #uml

From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.

DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation #uml

Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.

FASE-2006-LavazzaB #problem #requirements #uml

Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.

ICSM-2006-BriandLS #design pattern #modelling #uml

Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.

ICSM-2006-PilskalnsUA #design #testing #uml

Regression Testing UML Designs (OP, GU, AAA), pp. 254–264.

MSR-2006-Beyer #challenge #co-evolution #visualisation

Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (DB), pp. 165–166.

MSR-2006-ZimmermannBLL #mining

Mining additions of method calls in ArgoUML (TZ, SB, CL, VBL), pp. 169–170.

WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi

CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.

WCRE-2006-LaitkorpiKS #approach #interface #uml

A UML-based Approach for Abstracting Application Interfaces to REST-like Services (ML, JK, TS), pp. 134–146.

WCRE-2006-XingS #detection #query #refactoring

Refactoring Detection based on UMLDiff Change-Facts Queries (ZX, ES), pp. 263–274.

FM-2006-LundS #diagrams #semantics #sequence chart #uml

A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.

SEFM-2006-ZhangHW #component #declarative #modelling #performance #scheduling #uml #using

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (YZ, TH, JW), pp. 246–258.

SOFTVIS-2006-GudenbergNEE #diagrams #layout #uml

Evolutionary layout of UML class diagrams (JWvG, AN, ME, HE), pp. 163–164.

AdaEurope-2006-Curtis #execution #uml

SPARK Annotations Within Executable UML (DC), pp. 83–93.

EDOC-2006-BendraouGB #abstraction #execution #modelling #named #process #uml

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.

EDOC-2006-ChanP #architecture #modelling #uml

QoS-Aware Model Driven Architecture through the UML and CIM (KC, IP), pp. 345–354.

ICEIS-AIDSS-2006-AbdullahPBK #architecture #development #information management #knowledge-based #modelling #uml #using

Knowledge Engineering Using the UML Profile — Adopting the Model-Driven Architecture for Knowledge-Based System Development (MSA, RFP, IDB, CK), pp. 74–81.

ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml

Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.

ICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #tool support #towards #uml

Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.

SEKE-2006-BokhariP #analysis #modelling #petri net #uml

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.

SEKE-2006-LinWCS #case study #diagrams #modelling #process #uml

UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.

SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.

SEKE-2006-PiaoWCC #analysis #diagrams #process #uml

An Analysis Model of Activity Diagram in UML 2.0 (WCP, CHW, WCC, LPC), pp. 562–567.

SEKE-2006-PilskalnsA #design #ocl #security #testing #uml #using

Using UML Designs to Generate OCL for Security Testing (OP, AAA), pp. 505–510.

SEKE-2006-ZhangKY #concept analysis #modelling #uml #web

UML Modelling Web Applications via Formal Concept Analysis (ZZ, JK, HY), pp. 532–535.

ECMDA-FA-2006-BraheO #modelling #process #uml

Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles (SB, KØ), pp. 241–255.

ECMDA-FA-2006-OKeefe #consistency #logic #semantics #uml

Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.

MoDELS-2006-Beeck #semantics #uml

A Formal Semantics of UML-RT (MvdB), pp. 768–782.

MoDELS-2006-BruckerDW #analysis #model transformation #semantics

A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.

MoDELS-2006-CostalGQRT #constraints #uml

Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.

MoDELS-2006-DiskinD #semantics #towards #uml

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.

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-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-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-OKeefe #uml

Improving the Definition of UML (GO), pp. 42–56.

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-TaleghaniA #semantics #uml

Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.

MoDELS-2006-ZitoDD #question #uml

Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.

MoDELS-2006-Beeck #semantics #uml

A Formal Semantics of UML-RT (MvdB), pp. 768–782.

MoDELS-2006-BruckerDW #analysis #model transformation #semantics

A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.

MoDELS-2006-CostalGQRT #constraints #uml

Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.

MoDELS-2006-DiskinD #semantics #towards #uml

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.

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-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-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-OKeefe #uml

Improving the Definition of UML (GO), pp. 42–56.

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-TaleghaniA #semantics #uml

Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.

MoDELS-2006-ZitoDD #question #uml

Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.

SAC-2006-ColomboPR #architecture #formal method #modelling #realtime #uml

A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.

SAC-2006-DobrzanskiK #approach #execution #modelling #refactoring #uml

An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.

SAC-2006-FekihAM #diagrams #specification #state machine #uml

Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.

SAC-2006-GuelfiM #diagrams #framework #process #specification #uml

A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.

SAC-2006-KacemKJD #architecture #uml #using

Describing dynamic software architectures using an extended UML model (MHK, AHK, MJ, KD), pp. 1245–1249.

SAC-2006-MalgouyresM #approach #consistency #formal method #metamodelling #uml #verification

A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.

ICSE-2006-Egyed #consistency #uml

Instant consistency checking for the UML (AE), pp. 381–390.

ICSE-2006-GarousiBL #distributed #modelling #testing #uml

Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.

ICSE-2006-Gomaa #concurrent #design #distributed #realtime #uml

Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.

ICSE-2006-KimKPCKG #case study #development #uml

UML-based service robot software development: a case study (MK, SK, SP, MTC, MK, HG), pp. 534–543.

ICSE-2006-Lange #modelling #quality #uml

Improving the quality of UML models in practice (CFJL), pp. 993–996.

ICSE-2006-LangeC #fault #modelling #uml

Effects of defects in UML models: an experimental investigation (CFJL, MRVC), pp. 401–411.

ICSE-2006-Selic #bibliography #named #tutorial #uml

Tutorial: an overview of UML 2 (BS), pp. 1069–1070.

ATEM-2006-Garcia #formal method #ocl #uml

Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.

SPL-BOOK-2006-ZiadiJ #product line #uml

Software Product Line Engineering with the UML: Deriving Products (TZ, JMJ), pp. 557–588.

SPLC-2006-BragancaM #case study #metamodelling #specification #uml #variability

Extending UML 2.0 Metamodel for Complementary Usages of the «extend» Relationship within Use Case Variability Specification (AB, RJM), pp. 123–130.

SPLC-2006-Gomaa #architecture #case study #design #product line #uml

Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures (HG), p. 218.

WICSA-2005-InverardiMP #named #uml

DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.

WICSA-2005-SmedaOK #uml #using

Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.

ASE-2005-Milanova #composition #diagrams #identification #precise #uml

Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.

ASE-2005-SimmondsB #automation #consistency #uml

A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.

ASE-2005-XingS #algorithm #design #difference #named #object-oriented

UMLDiff: an algorithm for object-oriented design differencing (ZX, ES), pp. 54–65.

DATE-2005-ChureauSA #functional #prototype #uml

The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application (AC, YS, EMA), pp. 698–703.

DATE-2005-KukkalaRHHK #design #embedded #uml

UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.

DATE-2005-MellorWM #uml #why

Why Systems-on-Chip Needs More UML like a Hole in the Head (SJM, JRW, CM), pp. 834–835.

DATE-2005-Oliver #design #uml

Applying UML and MDA to Real Systems Design (IO), pp. 70–71.

DATE-2005-RiccobeneSRB #design #uml

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC (ER, PS, AR, SB), pp. 704–709.

DATE-2005-Schattkowsky #bibliography #design #uml

UML 2.0 — Overview and Perspectives in SoC Design (TS), pp. 832–833.

DATE-2005-VanderperrenD #approach #complexity #design #uml

UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design (YV, WD), pp. 716–717.

DATE-2005-ZhuOHN #design #process #uml

Integrating UML into SoC Design Process (QZ, RO, TH, TN), pp. 836–837.

CSEET-2005-PavlovY #education #object-oriented #uml #using

Using Pantomime in Teaching OOA&OOD with UML (VLP, AY), pp. 77–84.

FASE-2005-EgyedSW #maintenance #refinement #uml

Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.

FASE-2005-JurjensS #analysis #development #security #tool support #uml

Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.

FASE-2005-LeicherS #analysis #composition #modelling #uml

Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.

CSMR-2005-JiangLSS #analysis #comparison #uml #web #web service

UML-Level Analysis and Comparison of Web Service Descriptions (JJ, JL, PS, TS), pp. 236–240.

ICSM-2005-KagdiMS #modelling #slicing #uml

Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.

IWPC-2005-SunW #comprehension #diagrams #layout #on the #uml

On Evaluating the Layout of UML Class Diagrams for Program Comprehension (DS, KW), pp. 317–326.

PASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml

Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.

WCRE-2005-SuttonM #c++ #modelling #reverse engineering #uml

Mappings for Accurately Reverse Engineering UML Class Models from C++ (AS, JIM), pp. 175–184.

IFM-2005-OssamiJS #consistency #multi #specification #uml

Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.

SOFTVIS-2005-MalloyP #c++ #modelling #source code #uml #visualisation

Exploiting UML dynamic object modeling for the visualization of C++ programs (BAM, JFP), pp. 105–114.

VISSOFT-2005-AndriyevskaDSM #architecture #diagrams #layout #uml

Evaluating UML Class Diagram Layout based on Architectural Importance (OA, ND, BS, JIM), pp. 14–19.

VISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml

Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.

SIGAda-2005-Sautejeau #modelling #uml

Modeling SPARK systems with UML (XS), pp. 11–16.

EDOC-2005-RomeroV #modelling #uml

Modeling the ODP Computational Viewpoint with UML 2.0 (JRR, AV), pp. 169–180.

EDOC-2005-VitolinsK #diagrams #modelling #process #semantics #uml #virtual machine

Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine (VV, AK), pp. 181–194.

ICEIS-v1-2005-Fernandez #design #security #uml #using

Security Patterns and Secure Systems Design Using UML (EBF), p. 21.

ICEIS-v3-2005-RajuganDCF #design #uml #xml

XML Views, Part III: An UML Based Design Methodology for XML Views (RR, TSD, EC, LF), pp. 19–28.

SEKE-2005-AsawateeraR #automation #implementation #multi #tool support #uml

The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.

SEKE-2005-GaoCMYB05a #adaptation #component #distributed #towards #uml

Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.

SEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml

Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.

SEKE-2005-MhiriMG #information management #named #ontology #specification #towards

UMLOnto: Towards a Language for the Specification of Information Systems’ Ontologies (MBAM, AM, FG), pp. 743–746.

SEKE-2005-OgameKH #diagrams #uml

Inspection Support System for UML Diagram (YO, TK, AH), pp. 408–411.

SEKE-2005-SongPCZ #specification #transaction #uml #verification

Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.

ECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart #uml

Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.

ECMDA-FA-2005-GronmoJH #uml

Transformations Between UML and OWL-S (RG, MCJ, HH), pp. 269–283.

ECMDA-FA-2005-StaikopoulosB #case study #comparative #integration #metamodelling #uml #web #web service

A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services (AS, BB), pp. 145–159.

ECMDA-FA-2005-TabuchiSN #algebra #analysis #design #modelling #performance #probability #process #uml

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra (NT, NS, HN), pp. 41–58.

MoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml

UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.

MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml

UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.

MoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml

Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.

MoDELS-2005-ChengSB #analysis #automation #case study #experience #industrial #lessons learnt #modelling #uml

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report) (BHCC, RS, BB), pp. 324–338.

MoDELS-2005-CraneD #modelling #uml

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.

MoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml

Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.

MoDELS-2005-CuccuruDMB #modelling #towards #uml

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.

MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml

Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.

MoDELS-2005-HafnerB #modelling #security #uml #workflow

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.

MoDELS-2005-JurjensH #modelling #uml

Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.

MoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml

Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.

MoDELS-2005-SandersMKB #composition #specification #uml #using

Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.

MoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #uml #using

Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.

MoDELS-2005-SmialekBNS #metamodelling #uml

Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.

MoDELS-2005-StreetP #modelling #uml

The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.

MoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming #uml

Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.

MoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml

UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.

MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml

UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.

MoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml

Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.

MoDELS-2005-ChengSB #analysis #automation #case study #experience #industrial #lessons learnt #modelling #uml

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report) (BHCC, RS, BB), pp. 324–338.

MoDELS-2005-CraneD #modelling #uml

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.

MoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml

Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.

MoDELS-2005-CuccuruDMB #modelling #towards #uml

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.

MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml

Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.

MoDELS-2005-HafnerB #modelling #security #uml #workflow

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.

MoDELS-2005-JurjensH #modelling #uml

Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.

MoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml

Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.

MoDELS-2005-SandersMKB #composition #specification #uml #using

Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.

MoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #uml #using

Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.

MoDELS-2005-SmialekBNS #metamodelling #uml

Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.

MoDELS-2005-StreetP #modelling #uml

The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.

MoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming #uml

Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.

SAC-2005-BellettiniMT #named #testing #web

TestUml: user-metrics driven web applications testing (CB, AM, AT), pp. 1694–1698.

SAC-2005-TruongS #behaviour #modelling #uml #using #verification

Verification of behavioural elements of UML models using B (NTT, JS), pp. 1546–1552.

ESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart #uml

Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.

ESEC-FSE-2005-Baroni #assessment #modelling #uml

Quantitative assessment of UML dynamic models (ALB), pp. 366–369.

ICSE-2005-Jurjens #effectiveness #modelling #security #tool support #uml

Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.

TestCom-2005-LiL #anti #diagrams #thread #uml #using

Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.

ASE-2004-HammoudaKPKM #adaptation #framework #uml

Adaptable Concern-Based Framework Specialization in UML (IH, JK, MP, MK, TM), pp. 78–87.

ASE-2004-KonradCC #analysis #automation #diagrams #uml

Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.

ASE-2004-LiWQ #generative #testing #uml

Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.

DATE-v1-2004-GreenE #data flow #uml

Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.

FASE-2004-KimRFL #data access #modelling #uml #using

Modeling Role-Based Access Control Using Parameterized UML Models (DKK, IR, RBF, NL), pp. 180–193.

TACAS-2004-LeueMW #bound #modelling #scalability #uml

A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.

ICSM-2004-BriandLYP #constraints #development #empirical #ocl #uml

A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.

ICSM-2004-Gueheneuc #diagrams #precise #uml

Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.

ICSM-2004-RivaSSX #analysis #architecture #maintenance #reverse engineering #uml

UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance (CR, PS, TS, JX), pp. 50–59.

IWPC-2004-HammoudaGKS #diagrams #learning #modelling #uml

Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models (IH, OG, KK, TS), pp. 24–33.

IWPC-2004-KuzniarzSW #comprehension #empirical #modelling #uml #using

An Empirical Study on Using Stereotypes to Improve Understanding of UML Models (LK, MS, CW), pp. 14–23.

IWPC-2004-Torchiano #assessment #diagrams #empirical #uml

Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.

IFM-2004-LanoCA #modelling #object-oriented #uml #verification

UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.

IFM-2004-MollerORW #case study #java #uml

Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.

IFM-2004-PickinJ #diagrams #sequence chart #uml #using

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.

IFM-2004-SeceleanuP #approach #design #uml

Constituent Elements of a Correctness-Preserving UML Design Approach (TS, JP), pp. 227–246.

SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml

On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.

SEFM-2004-SandersB #modelling #peer-to-peer #uml

Modeling Peer-to-Peer Service Goals in UML (RTS, RB), pp. 144–153.

SEFM-2004-SchinzTMW #uml #verification

The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.

SFM-2004-Selic #on the #semantics #standard #uml

On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.

CSCW-2004-SchankH #collaboration #modelling #uml

Collaborative modeling: hiding UML and promoting data examples in NEMo (PKS, LH), pp. 574–577.

AdaEurope-2004-AmeyW #ada #c #uml

High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.

CAiSE-2004-GuizzardiWGMR #concept #modelling #uml

An Ontologically Well-Founded Profile for UML Conceptual Models (GG, GW, NG, MvS), pp. 112–126.

EDOC-2004-SilaghiFS #towards #uml

Towards an MDA-Oriented UML Profile for Distribution (RS, FF, AS), pp. 227–239.

EDOC-2004-SkoganGS #composition #uml #web #web service

Web Service Composition in UML (DS, RG, IS), pp. 47–57.

ICEIS-v1-2004-Lujan-MoraTV #modelling #multi #uml

Advantages of UML for Multidimensional Modeling (SLM, JT, PV), pp. 298–305.

ICEIS-v3-2004-AliBG #dependence #diagrams #uml #verification

UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.

ICEIS-v3-2004-AllouiO #architecture #process #uml #using

Describing Software-Intensive Process Architectures Using a UML-Based ADL (IA, FO), pp. 201–208.

ICEIS-v3-2004-Daute #data flow #process #re-engineering #representation #uml

Representation of Business Information Flow with an Extension for UML: From Business Processes to Object-Orientated Software Engineering (OD), pp. 569–572.

ICEIS-v3-2004-Noran #case study #comparative #modelling #uml

UML vs. IDEF: An Ontology-Oriented Comparative Study in View of Business Modelling (ON), pp. 674–682.

ICEIS-v4-2004-KangT #diagrams #mobile #modelling #process #uml

Modelling Mobile Agent Applications by Extended UML Activity Diagram (MK, KT), pp. 519–522.

SEKE-2004-CollierOR #re-engineering #uml

A UML-based Software Engineering Methodology for Agent Factory (RWC, GMPO, CR), pp. 25–30.

SEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #statechart #uml #using

Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.

SEKE-2004-GomesPCPSFB #composition #diagrams #reuse #uml #using

Reuse of UML Class Diagrams Using Case-Based Composition (PG, FCP, PC, PP, NS, JLF, CB), pp. 258–263.

SEKE-2004-HuS #diagrams #petri net #simulation #uml

Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.

UML-2004-AbieAKMR #security #uml

Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.

UML-2004-AronsHKPZ #deduction #modelling #uml #verification

Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.

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-BennettFW #evaluation #performance #scheduling #uml

Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.

UML-2004-CaronCMV #ocl #uml

An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.

UML-2004-CorreaW #modelling #ocl #refactoring #uml

Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.

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.

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-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-GrassiMS #mobile #uml

A UML Profile to Model Mobile Systems (VG, RM, AS), pp. 128–142.

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-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-MaSZJ #metamodelling #metric #object-oriented #uml

Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.

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-PitkanenS #execution #incremental #modelling #uml

A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.

OOPSLA-2004-GueheneucA #uml

Recovering binary class relationships: putting icing on the UML cake (YGG, HAA), pp. 301–314.

SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using

On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.

SAC-2004-BellettiniMT #named #reverse engineering #web

WebUml: reverse engineering of web applications (CB, AM, AT), pp. 1662–1669.

SAC-2004-CavarraRS #framework #modelling #simulation #uml

A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.

ICSE-2004-Berenbach #analysis #design #evaluation #scalability #uml

The Evaluation of Large, Complex UML Analysis and Design Model (BB), pp. 232–241.

ICSE-2004-MakCL #design pattern #modelling #precise #uml

Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.

ICSE-2004-Selic #bibliography #named #tutorial #uml

Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.

ICSE-2004-Tenzer #design #game studies #tool support #uml

Improving UML Design Tools by Formal Games (JT), pp. 75–77.

SPLC-2004-Gomaa #design #modelling #product line #uml

Designing Software Product Lines with the Unified Modeling Language (UML) (HG), p. 317.

TestCom-2004-DaiGNP #algorithm #design #uml

From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices (ZRD, JG, HN, HP), pp. 33–49.

TestCom-2004-MuckeH #generative #uml

Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.

ASE-2003-Nassar #uml

VUML : a Viewpoint oriented UML Extension (MN), pp. 373–376.

ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.

DATE-2003-FornaciariMSZ #clustering #specification #towards #uml

A First Step Towards Hw/Sw Partitioning of UML Specifications (WF, PM, FS, LZ), pp. 10668–10673.

FASE-2003-BiancoLMO #component #realtime #specification #towards #uml

Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.

FASE-2003-TenzerS #diagrams #modelling #recursion #uml

Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.

CSMR-2003-WuO #component #evolution #maintenance #uml

Maintaining Evolving Component-Based Software with UML (YW, JO), pp. 133–142.

ICSM-2003-BriandLO #impact analysis #modelling #uml

Impact Analysis and Change Management of UML Models (LCB, YL, LO), pp. 256–265.

WCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml

Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.

SEFM-2003-AstesianoR #development #towards #uml

Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.

SEFM-2003-BouassidaBGH #design #formal method #framework

Formalizing the Framework Design Language F-UML (NB, HBA, FG, ABH), pp. 164–172.

SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation

Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.

SEFM-2003-NgB #csp #diagrams #formal method #towards #uml

Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.

AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml

UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.

SOFTVIS-2003-EiglspergerKS #approach #automation #diagrams #layout #uml

A Topology-Shape-Metrics Approach for the Automatic Layout of UML Class Diagram (ME, MK, MS), pp. 189–198.

SOFTVIS-2003-GutwengerJKKLM #approach #diagrams #uml #visualisation

A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.

SOFTVIS-2003-HausmannK #uml #visualisation

Visualizing Model Mappings in UML (JHH, SK), pp. 169–178.

SOFTVIS-2003-JacobsM #debugging #interactive #uml #visual notation

Interactive Visual Debugging with UML (TJ, BM), pp. 115–122.

VISSOFT-2003-EichelbergerG #diagrams #layout #state of the art #uml

UML Class Diagrams – State of the Art in Layout Techniques (HE, JWvG), pp. 30–34.

VISSOFT-2003-EichelbergerW #diagrams #layout #uml

Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.

AdaEurope-2003-MazziniDNDLV #named #uml

HRT-UML: Taking HRT-HOOD onto UML (SM, MD, MDN, AD, GL, TV), pp. 405–416.

AdaEurope-2003-OrtizAPS #architecture #case study #evaluation #performance #realtime #uml #using

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST (FJO, BÁ, JAP, PS), pp. 417–428.

AdaEurope-2003-Thom #ada #standard #uml

The Standard UML-Ada Profile (FT), pp. 394–404.

CAiSE-2003-AlbertPFRP #composition #framework #implementation #multi #uml

Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework (MA, VP, JF, MR, OP), pp. 143–158.

CAiSE-2003-CastroSM #architecture #modelling #uml

Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.

CAiSE-2003-GeneroP #complexity #diagrams #metric #uml

No-redundant Metrics for UML Class Diagram Structural Complexity (MEM, MG, MP), pp. 127–142.

ICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #uml #validation

Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.

ICEIS-v3-2003-CaveroMVC #modelling #query #uml #using

Modelling ORDB Queries Using UML (JMC, EM, BV, CC), pp. 535–539.

ICEIS-v3-2003-LuzS #development #modelling #uml

Software Development Guided By Models — The XIS UML Profile (ML, ARdS), pp. 370–381.

ICEIS-v3-2003-Ramos #constraints #diagrams #relational #uml

Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.

SEKE-2003-DongY #design pattern #diagrams #uml #visualisation

Extending UML to Visualize Design Patterns In Class Diagrams (JD, SY), pp. 124–131.

SEKE-2003-GomesPPSCFB03a #diagrams #reuse #uml

Case-Based Reuse of UML Diagrams (PG, FCP, PP, NS, PC, JLF, CB), pp. 335–339.

SEKE-2003-Lavazza #requirements #uml

Rigorous Description of Software Requirements with UML (LL), pp. 327–334.

SEKE-2003-LavazzaO #modelling #uml #verification

Simulation-based Verification of UML models (LL, GO), pp. 314–321.

SEKE-2003-SongPLGCM #e-commerce #uml #verification

Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.

UML-2003-Balsters #database #modelling #ocl #uml

Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.

UML-2003-BriandCL #automation #testing #towards #uml

Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.

UML-2003-CabotOT #representation #uml

Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.

UML-2003-ChristophM #middleware #migration #named #uml

GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.

UML-2003-DologN #adaptation #generative #navigation #sequence #uml #using #xmi

Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems (PD, WN), pp. 205–219.

UML-2003-EngelsHK #consistency #development #uml

The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.

UML-2003-Fowler #question #uml #what

What Is the Point of the UML? (MF), p. 325.

UML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation

Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.

UML-2003-GorpSMD #automation #refactoring #towards #uml

Towards Automating Source-Consistent UML Refactorings (PVG, HS, TM, SD), pp. 144–158.

UML-2003-Isoda #uml

A Critique of UML’s Definition of the Use-Case Class (SI), pp. 280–294.

UML-2003-JansenHK #uml

A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.

UML-2003-Jurjens #safety #uml

Developing Safety-Critical Systems with UML (JJ), pp. 360–372.

UML-2003-PilskalnsAGF #behaviour #testing #uml

Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.

UML-2003-Rouquette #architecture #uml

UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.

UML-2003-ShankarA #realtime #semantics #uml

Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.

UML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #uml #using

Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.

UML-2003-YangX #architecture #case study #encoding #experience #uml

Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.

ECOOP-2003-ConradiMAHBP #empirical #industrial #modelling #object-oriented #uml

Object-Oriented Reading Techniques for Inspection of UML Models — An Industrial Experiment (RC, PM, TA, LCH, GAB, AP), pp. 483–500.

RE-2003-Berenbach #quality #uml

Evaluating the Quality of a UML Business Model (BB), p. 280.

RE-2003-Berenbach03a #automation #modelling #requirements #uml

The Automated Extraction of Requirements from UML Models (BB), p. 287.

SAC-2003-AalstKV #modelling #uml #workflow #xml

Organizational Modeling in UML and XML in the Context of Workflow Systems (WMPvdA, AK, EV), pp. 603–608.

SAC-2003-BorgerRC #concurrent #modelling #state machine #uml

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines (EB, ER, AC), pp. 1086–1091.

SAC-2003-Dong #composition #design pattern #representation #uml

Representing the Applications and Compositions of Design Patterns in UML (JD), pp. 1092–1098.

ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #uml #verification

Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.

ESEC-FSE-2003-OhstWK #diagrams #difference #uml

Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.

ESEC-FSE-2003-SelonenX #architecture #modelling #uml #validation

Validating UML models against architectural profiles (PS, JX), pp. 58–67.

ICSE-2003-Lamsweerde #modelling #precise #requirements #specification #uml

Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.

ICSE-2003-Selic #bibliography #tutorial #uml

Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.

ICSE-2003-WangHGAGA #architecture #assessment #risk management #specification #uml

Architectural Level Risk Assessment Tool Based on UML Specifications (TW, AEH, AG, WA, KGP, HHA), pp. 808–809.

ICSE-2003-WeisUG #corba #quality #uml

Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.

FATES-2003-BadriBN #approach #case study #collaboration #diagrams #formal method #process #testing #towards #uml

A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams (MB, LB, MN), pp. 223–235.

FATES-2003-Ramakrishnan #testing #uml

VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile (SR), pp. 236–251.

TestCom-2003-SchieferdeckerDGR #testing #uml

The UML 2.0 Testing Profile and Its Relation to TTCN-3 (IS, ZRD, JG, AR), pp. 79–94.

ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation

VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.

DATE-2002-BaldiniBPMT #functional #uml

Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.

DATE-2002-Jong #design #embedded #realtime #uml

A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.

DATE-2002-Martin02a #bibliography #design #embedded #motivation #perspective #specification #uml

UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.

DATE-2002-Selic #realtime #standard #uml

The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.

FASE-2002-DavidMY #realtime #uml #verification

Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.

CSMR-2002-KollmannG #diagrams #representation #uml

Metric-Based Selective Representation of UML Diagrams (RK, MG), pp. 89–98.

ICSM-2002-BriandLS #automation #design #impact analysis #testing #uml

Automating Impact Analysis and Regression Test Selection Based on UML Designs (LCB, YL, GS), pp. 252–261.

WCRE-2002-KollmanSSSZ #case study #reverse engineering #state of the art #uml

A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering (RK, PS, ES, TS, AZ), p. 22–?.

FME-2002-Treharne #development #process #uml

Supplementing a UML Development Process with B (HT), pp. 568–586.

IFM-2002-KuskeGKK #diagrams #graph transformation #semantics #uml

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.

IFM-2002-LedangS #modelling #uml

Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.

ICGT-2002-Varro #semantics #uml

A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.

VISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #syntax #uml

UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.

Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using

Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.

AdaEurope-2002-OrtizMAIF #ada #development #uml #using

Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, BÁ, AI, JMF), pp. 113–124.

CAiSE-2002-AoumeurS #behaviour #diagrams #logic #prototype #uml #using

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic (NA, GS), pp. 296–310.

CAiSE-2002-CostalST #analysis #comprehension #modelling #object-oriented #uml

Understanding Redundancy in UML Models for Object-Oriented Analysis (DC, MRS, ET), pp. 659–674.

CAiSE-2002-GomezO #concept #evolution #uml

Evolving Partitions in Conceptual Schemas in the UML (CG, AO), pp. 467–483.

CAiSE-2002-TorchianoB #modelling #uml

Domain-Specific Instance Models in UML (MT, GB), pp. 774–777.

EDOC-2002-Tyndale-BiscoeSWS #component #modelling #uml

Business Modelling for Component Systems with UML (STB, OS, BW, CS), pp. 120–131.

ICEIS-2002-CesareLP #modelling #research #uml

Business Modelling with UML: Distilling Directions for Future Research (SdC, ML, DP), pp. 570–579.

ICEIS-2002-FilhoL #uml

A Proposal for the Incorporation of the Features Model into the UML Language (IMF, TCdO, CJPdL), pp. 594–601.

SEKE-2002-RiescoSPPJ #analysis #metamodelling #uml

Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.

SEKE-2002-SourrouilleC #constraints #modelling #uml

Constraint checking in UML modeling (JLS, GC), pp. 217–224.

UML-2002-AagedalE #modelling #towards #uml

Modelling QoS: Towards a UML Profile (JØA, EFEJ), pp. 275–289.

UML-2002-AndrePR #paradigm #uml

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems (CA, MAPF, JPR), pp. 163–178.

UML-2002-BasanieriBM #approach #testing #uml

The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.

UML-2002-BogerJMF #diagrams #uml

Diagram Interchange for UML (MB, MJ, SM, JF), pp. 398–411.

UML-2002-CariouB #component #interactive #specification #uml

The Specification of UML Collaborations as Interaction Components (EC, AB), pp. 352–367.

UML-2002-Dietzsch #adaptation #case study #experience #modelling #uml

Adapting the UML to Business Modelling’s Needs — Experiences in Situational Method Engineering (AD), pp. 73–83.

UML-2002-FelfernigFJZ #information management #ocl #representation #uml #using

Configuration Knowledge Representation Using UML/OCL (AF, GF, DJ, MZ), pp. 49–62.

UML-2002-FlakeM #constraints #ocl #realtime #uml

A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.

UML-2002-FrohlichHS #industrial #modelling #multi #uml #using

Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies (PF, ZH, MS), pp. 63–72.

UML-2002-GogollaH #analysis #metamodelling #uml

Analysis of UML Stereotypes within the UML Metamodel (MG, BHS), pp. 84–99.

UML-2002-Jurjens #development #named #uml

UMLsec: Extending UML for Secure Systems Development (JJ), pp. 412–425.

UML-2002-LodderstedtBD #modelling #named #security #uml

SecureUML: A UML-Based Modeling Language for Model-Driven Security (TL, DAB, JD), pp. 426–441.

UML-2002-Lujan-MoraTS #modelling #multi #uml

Extending the UML for Multidimensional Modeling (SLM, JT, IYS), pp. 290–304.

UML-2002-PllanaF #modelling #on the #uml

On Customizing the UML for Modeling Performance-Oriented Applications (SP, TF), pp. 259–274.

UML-2002-SchattkowskyL #agile #composition #development #uml #using #web

Rapid Development of Modular Dynamic Web Sites Using UML (TS, ML), pp. 336–350.

UML-2002-SteimannK #reduction #semantics #uml

A Radical Reduction of UML’s Core Semantics (FS, TK), pp. 34–48.

UML-2002-SturmVB #generative #uml

Generating Code from UML with Velocity Templates (TS, JvV, MB), pp. 150–161.

UML-2002-TangC #design #metric #object-oriented #uml

Measuring OO Design Metrics from UML (MHT, MHC), pp. 368–382.

UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #uml #visual notation

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.

UML-2002-Whittle #automation #modelling #uml

Transformations and Software Modeling Languages: Automating Transformations in UML (JW), pp. 227–242.

RE-2002-StutzSKK #analysis #uml

Analysis beyond UML (CS, JS, DK, WK), pp. 215–218.

SAC-2002-Jurjens #message passing #semantics #uml

A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.

ICSE-2002-EshuisW #design #graph #process #uml #verification #workflow

Verification support for workflow design with UML activity graphs (RE, RW), pp. 166–176.

ICSE-2002-GilHK #modelling #uml #visual notation

Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.

ICSE-2002-KruchtenSK #architecture #named #tutorial #uml

Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.

ICSE-2002-NittoLSTT #execution #process #uml

Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.

SPLC-2002-PreeFR #product line #uml

Product Line Annotations with UML-F (WP, MF, BR), pp. 188–197.

ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml

On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.

ASE-2001-LeDang #automation #specification #uml

Automatic Translation from UML Specifications to B (HL), p. 436.

ASE-2001-LedangS #behaviour #diagrams #modelling #uml

Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.

ASE-2001-ShenCH #state machine #tool support #uml #validation

A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.

ASE-2001-XieLB #execution #model checking #set #uml

Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.

ASE-2001-ZismanK #approach #consistency #knowledge base #specification #uml

Knowledge Base Approach to Consistency Management of UML Specification (AZ, AK), pp. 359–363.

ICDAR-2001-LankTCB #diagrams #online #recognition #uml

On-Line Recognition of UML Diagrams (EL, JST, SC, DB), pp. 356–360.

FASE-2001-ChoppyPR #specification #uml #visual notation

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.

FASE-2001-ClarkEK #calculus #metamodelling #semantics #uml

The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.

FASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml

A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.

FASE-2001-FischerOW #csp #diagrams #uml

A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.

FASE-2001-HeckelS #collaboration #diagrams #uml

Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.

FASE-2001-ReggioCA #approach #multi #semantics #towards #uml

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.

CSMR-2001-KollmannG #behaviour #collaboration #diagrams #uml

Capturing Dynamic Program Behaviour with UML Collaboration Diagrams (RK, MG), pp. 58–67.

ICSM-2001-FranceB #evolution #framework #multi #object-oriented #uml

Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software (RBF, JMB), p. 386–?.

ICSM-2001-FranceBT #evolution #uml

Extending the UML to Support Evolution Management (RBF, JMB, RT), p. 106.

ICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml

Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.

WCRE-2001-KollmannG #design #uml

Application of UML Associations and Their Adornments in Design Recovery (RK, MG), p. 81–?.

FME-2001-Dupuy-ChessaB #modelling #uml #validation

Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.

FME-2001-Pahl #component #contract #modelling #uml

Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.

SVIS-2001-Mehner #concurrent #debugging #java #named #source code #uml #visualisation

JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs (KM), pp. 163–175.

AdaEurope-2001-TaylorK #ada #uml

Mapping UML to Ada (BT, EWK), pp. 359–370.

SIGAda-2001-Fassbender #ada #information management #re-engineering #uml #using

Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.

CAiSE-2001-KellerBS #design #implementation #repository #uml

Design and Implementation of a UML-Based Design Repository (RKK, JFB, GSD), pp. 448–464.

CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.

CAiSE-2001-SunyePHGJ #action semantics #execution #modelling #semantics #uml #using

Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.

ICEIS-v2-2001-AraujoM #diagrams #uml

Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.

ICEIS-v2-2001-CastelaTSG #modelling #process #uml

Business Process Modeling with UML (NC, JMT, ARdS, AG), pp. 679–685.

ICEIS-v2-2001-KuzniarzP #uml

Defining Pattern Class Stereotypes in UML (LK, MP), pp. 578–582.

ICEIS-v2-2001-SinogasVCNMT #modelling #process #uml

Business Processes Extensions to UML Profile for Business Modeling (PS, AV, AC, JN, RM, JMT), pp. 673–678.

SEKE-2001-BergentiP #re-engineering #uml

Supporting Agent- Oriented Software Engineering with UML (FB, AP), pp. 291–298.

SEKE-2001-FillottraniEK #logic programming #modelling #object-oriented #uml

Applying Logic Programming Techniques to Object-Oriented Modeling in UML (PRF, EE, SK), pp. 228–235.

UML-2001-AkehurstB #modelling #ocl #on the #query #uml

On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.

UML-2001-ApvrilleSLSC #design #realtime #uml #validation

A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.

UML-2001-BaclawskiKKHSHLA #ontology #semantics #uml #web

Extending UML to Support Ontology Engineering for the Semantic Web (KB, MMK, PAK, LH, JES, WSHI, JL, MLA), pp. 342–360.

UML-2001-Beeck #formal method #uml

Formalization of UML-Statecharts (MvdB), pp. 406–421.

UML-2001-BriandL #approach #testing #uml

A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.

UML-2001-Damm #comprehension #uml

Understanding UML — Pains and Rewards (WD), p. 240.

UML-2001-DumasH #diagrams #process #specification #uml #workflow

UML Activity Diagrams as a Workflow Specification Language (MD, AHMtH), pp. 76–90.

UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.

UML-2001-EshuisW #algorithm #execution #graph #process #uml

An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.

UML-2001-GenovaLM #multi #semantics #uml

Semantics of the Minimum Multiplicity in Ternary Associations in UML (GG, JL, PM), pp. 329–341.

UML-2001-GrassiM #analysis #architecture #mobile #modelling #performance #uml

UML Modelling and Performance Analysis of Mobile Software Architectures (VG, RM), pp. 209–224.

UML-2001-Kuske #graph transformation #semantics #state machine #uml

A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.

UML-2001-LettrariK #modelling #monitoring #realtime #testing #uml

Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.

UML-2001-MarcosVC #database #design #uml

Extending UML for Object-Relational Database Design (EM, BV, JMC), pp. 225–239.

UML-2001-MylopoulosKC #development #uml

UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.

UML-2001-SendallS #behaviour #concurrent #constraints #ocl #specification #uml #using

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.

UML-2001-SunyePTJ #modelling #refactoring #uml

Refactoring UML Models (GS, DP, YLT, JMJ), pp. 134–148.

UML-2001-WeisBGP #component #contract #metamodelling #uml

A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.

UML-2001-XuandongMYJG #analysis #diagrams #process #uml

Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.

UML-2001-YacoubA #composition #design #design pattern #uml

UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.

OOPSLA-2001-RiehleFBO #architecture #uml #virtual machine

The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.

TOOLS-EUROPE-2001-KleppeW #approach #architecture #aspect-oriented #case study #integration #metamodelling #modelling #object-oriented #uml

Integration of Static and Dynamic Core for UML: A Study in Dynamic Aspects of the pUML OO Meta Modelling Approach to the Rearchitecting of UML (AK, JW), pp. 66–77.

TOOLS-EUROPE-2001-Wills #agile #component #named #uml

UML: XP: Patterns: Components (ACW), p. 201.

TOOLS-USA-2001-Mitchell #modelling #uml

High-Quality Modeling in UML (RM), pp. 388–389.

TOOLS-USA-2001-Schulz #uml

Requirements-Based UML (JDS), pp. 307–316.

TOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml

Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.

PPDP-2001-Schmidt #declarative #programming #question #uml

Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.

ESEC-FSE-2001-LavazzaQV #modelling #realtime #uml

Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.

ESEC-FSE-2001-Zundorf #case study #development #uml

From use cases to code---rigorous software development with UML (AZ), pp. 324–325.

ICSE-2001-Campbell #analysis #diagrams #uml #visualisation

Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.

ICSE-2001-FranceK #uml

UML for Software Engineers (RBF, CK), pp. 705–706.

ICSE-2001-Gomaa01a #concurrent #design #distributed #realtime #uml

Designing Concurrent, Distributed, and Real-Time Applications with UML (HG), pp. 737–738.

ICSE-2001-Korson #architecture #case study #java #uml

From UML to Java, Building a 3-Tier Architecture: Case Study (TDK), pp. 735–736.

ICSE-2001-KoskinenPSSK #tool support #uml

Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.

ICSE-2001-MakinenS #behaviour #interactive #modelling #named #uml

MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.

ICSE-2001-McUmberC #formal method #framework #uml

A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.

ICSE-2001-NordPSH #analysis #architecture #design #effectiveness #uml

Effective Software Architecture Design: From Global Analysis to UML Descriptions (RLN, DJP, DS, CH), pp. 741–742.

ICSE-2001-SelicK #architecture #uml

Describing Software Architecture with UML (PK, BS, WK), pp. 715–716.

ICSE-2001-SelicKLB #architecture #uml

Describing Software Architecture with UML (PK, BS, WK, GL, AWB), p. 777.

ICSE-2001-YounessiH #development #flexibility #named #object-oriented #process #uml

OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition (HY, BHS), pp. 713–714.

ICSE-2001-Zundorf #case study #development #uml

From Use Cases to Code — Rigorous Software Development with UML (AZ), pp. 711–712.

ASE-2000-LaleauM #bibliography #generative #specification #uml

An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.

ASE-2000-MorisioTS #analysis #uml

Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.

FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml

Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.

IFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification

Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.

AdaEurope-2000-LacommeCCN #ada #uml

MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.

CAiSE-2000-DupuyLC #bibliography #specification #uml

An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.

EDOC-2000-PressoRB #named #process #uml

PILOTE: A Tool Suite to Support UML-Based Engineering Processes (MJP, GR, MB), pp. 242–251.

ICEIS-2000-Laleau #database #formal method #on the #specification #uml

On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.

UML-2000-AbdurazikO #collaboration #diagrams #generative #static analysis #testing #uml #using

Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.

UML-2000-AmyotM #case study #concept #on the #uml

On the Extension of UML with Use Case Maps Concepts (DA, GM), pp. 16–31.

UML-2000-BarrosDLMRW #architecture #concept #enterprise #process #uml

Processes, Roles, and Events: UML Concepts for Enterprise Architecture (APB, KD, ML, ZM, KR, AW), pp. 62–77.

UML-2000-BrennerD #uml

UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.

UML-2000-CasanovaWD #ocl #quality #uml

Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.

UML-2000-ChabrolS #modelling #object-oriented #uml

Object Oriented Methodology based on UML for Urban Traffic System Modeling (MC, DS), pp. 425–439.

UML-2000-Clarke #design #modelling #uml

Composing Design Models: An Extension to the UML (SC), pp. 338–352.

UML-2000-Cook #product line #uml

The UML family: Profiles, Prefaces and Packages (SC), pp. 255–264.

UML-2000-DammHTT #strict #uml

Supporting Several Levels of Restriction in the UML (CHD, KMH, MT, MT), pp. 396–409.

UML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.

UML-2000-FelfernigJZ #design #diagrams #knowledge base #uml

Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML (AF, DJ, MZ), pp. 240–254.

UML-2000-HennickerK #design #hypermedia #uml

A UML-based Methodology for Hypermedia Design (RH, NK), pp. 410–424.

UML-2000-KandeS #architecture #towards #uml

Towards a UML Profile for Software Architecture Descriptions (MMK, AS), pp. 513–527.

UML-2000-Kobryn #design pattern #metamodelling #uml

Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse (CK), p. 497.

UML-2000-Kwon #model checking #semantics #uml

Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.

UML-2000-MirandolaC #distributed #modelling #performance #uml

UML Based Performance Modeling of Distributed Systems (RM, VC), pp. 178–193.

UML-2000-MizunoSN #approach #concurrent #source code #uml

A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.

UML-2000-NunesC #approach #design #interactive #towards #uml

Towards a UML profile for interaction design: the Wisdom approach (NJN, JFeC), pp. 101–116.

UML-2000-OvergaardP #uml

Interacting Subsystems in UML (GÖ, KP), pp. 359–368.

UML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving #uml

Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.

UML-2000-PickinM #analysis #uml

Describing AI Analysis Patterns with UML (SP, AMR), pp. 466–481.

UML-2000-RichtersG #constraints #modelling #ocl #uml #validation

Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.

UML-2000-Steimann #concept #uml

A Radical Revision of UML’s Role Concept (FS), pp. 194–209.

UML-2000-VilainSS #diagrams #interactive #representation #uml

A Diagrammatic Tool for Representing User Interaction in UML (PV, DS, CSdS), pp. 133–147.

ECOOP-2000-FontouraPR #framework #modelling #named #object-oriented #uml

UML-F: A Modeling Language for Object-Oriented Frameworks (MF, WP, BR), pp. 63–82.

ECOOP-2000-SunyeGJ #design pattern #uml

Design Patterns Application in UML (GS, ALG, JMJ), pp. 44–62.

OOPSLA-2000-HarrisonBR #design #java #uml

Mapping UML designs to Java (WH, CB, MR), pp. 178–187.

TOOLS-ASIA-2000-JiangLX #process #type system #uml

Embedding UML and Type Theory to Formalize the Process of Requirement Engineering (HJ, DL, XX), pp. 32–39.

TOOLS-ASIA-2000-LiCC #architecture #modelling #uml #web

Modeling Web Application Architecture with UML (JL, PC, JC), pp. 265–274.

TOOLS-EUROPE-2000-FontouraPR #adaptation #development #framework #uml

Framework Development and Adaptation with UML (MF, WP, BR), p. 469.

TOOLS-EUROPE-2000-GilHK #modelling #uml #visual notation

Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.

TOOLS-EUROPE-2000-HoPP #aspect-oriented #design #framework #named #uml #weaving

UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs (WMH, FP, NP), p. 324–?.

TOOLS-EUROPE-2000-KleppeW #diagrams #object-oriented #process #uml

Making UML Activity Diagrams Object-Oriented (AK, JW), pp. 288–299.

TOOLS-EUROPE-2000-LeblancO #case study #comparative #uml

Comparative Case Study in SDL and UML (PL, IO), pp. 120–131.

TOOLS-EUROPE-2000-ParssinenKHOT #case study #experience #protocol #uml

UML for Protocol Engineering — Extensions and Experiences (JP, NvK, JH, TO, MT), pp. 82–93.

TOOLS-EUROPE-2000-Reenskaug #collaboration #how #uml #what #why

The What, Why and How of the UML Collaboration (TR), p. 476.

TOOLS-PACIFIC-2000-BornHK #design #development #distributed #uml #using

A Method for the Design and Development of Distributed Applications Using UML (MB, EH, OK), pp. 253–265.

TOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented #uml

Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.

TOOLS-PACIFIC-2000-Ober #modelling #uml

More Meaningful UML Models (IO), pp. 146–157.

TOOLS-USA-2000-ColbertL #embedded #realtime #uml

Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.

TOOLS-USA-2000-Griss #component #e-commerce #game studies #java #uml #workflow #xml

Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games (MLG), p. 3–?.

TOOLS-USA-2000-Henderson-SellersU #uml

OPEN-ing up the UML (BHS, BU), pp. 479–482.

TOOLS-USA-2000-VaziriJ #constraints #ocl #uml

Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.

TOOLS-USA-2000-WolfIBP #modelling #object-oriented #tool support #uml

UML Tool Support: Utilization of Object-Oriented Models (MW, EI, RB, IP), pp. 529–534.

SAC-2000-BojicV #case study #reverse engineering #uml

Reverse Engineering of Use Case Realizations in UML (DB, DMV), pp. 741–747.

ICSE-2000-GilHK #modelling #tutorial #uml #visual notation

Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.

ICSE-2000-Gomaa #design #distributed #realtime #tutorial #uml

Designing real-time and distributed applications with the UML (tutorial session) (HG), p. 829.

ICSE-2000-KohlerNNZ #diagrams #uml

Integrating UML diagrams for production control systems (HJK, UN, JN, AZ), pp. 241–251.

ISSTA-2000-HartmannIM #integration #testing #uml

UML-Based integration testing (JH, CI, MM), pp. 60–70.

WICSA-1999-HofmeisterNS #architecture #uml

Describing Software Architecture with UML (CH, RLN, DS), pp. 145–160.

ASE-1999-Bose #architecture #automation #modelling #simulation #uml #using #verification

Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN (PKB), pp. 102–109.

ASE-1999-HoJGP #framework #named #uml

UMLAUT: An Extendible UML Transformation Framework (WMH, JMJ, ALG, FP), pp. 275–278.

ASE-1999-LiliusP #modelling #named #uml #verification

vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.

ITiCSE-1999-Armentrout #design #java #source code #uml

A tool for designing Java programs with UML (AA), p. 180.

FASE-1999-LanoE #development #uml

Rigorous Development in UML (KL, AE), pp. 129–144.

AGTIVE-1999-PetriuW #architecture #modelling #performance #uml

From UML Descriptions of High-Level Software Architectures to LQN Performance Models (DCP, XW), pp. 47–62.

AGTIVE-1999-Schleicher #formal method #graph transformation #modelling #process #uml #using

Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.

EDOC-1999-AagedalM #enterprise #perspective #uml

ODP enterprise language: UML perspective (JØA, ZM), pp. 60–71.

EDOC-1999-BlancGD #concept #enterprise #uml #using

Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.

EDOC-1999-Linington #community #enterprise #policy #uml #using

Options for expressing ODP enterprise communities and their policies by using UML (PFL), pp. 72–82.

UML-1999-BalustG #modelling #process #uml #using

Using UML for Software Process Modelling (JMRB, XF), pp. 292–307.

UML-1999-BaumeisterKM #design #hypermedia #towards #uml

Towards a UML Extension for Hypermedia Design (HB, NK, LM), pp. 614–629.

UML-1999-Belaunde #approach #flexibility #repository #uml

A Pragmatic Approach for Building a Flexible UML Model Repository (MB), pp. 188–203.

UML-1999-Clark #diagrams #type checking #uml

Type Checking UML Static Diagrams (TC), pp. 503–517.

UML-1999-DemeyerDT #uml #why

Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering (SD, SD, ST), pp. 630–644.

UML-1999-DemuthH #constraints #database #design #ocl #relational #uml #using

Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.

UML-1999-DSouzaSB #uml

First-Class Extensibility for UML-Profiles, Stereotypes, Patterns (DD, AS, AB), pp. 265–277.

UML-1999-DykmanGK #uml

Nine Suggestions for Improving UML Extensibility (ND, MLG, RRK), pp. 236–248.

UML-1999-EgyedM #architecture #integration #representation #uml

Extending Architectural Representation in UML with View Integration (AE, NM), pp. 2–16.

UML-1999-EngelsHSW #collaboration #diagrams #java #uml

UML Collaboration Diagrams and their Transformation to Java (GE, RH, SS, AW), pp. 473–488.

UML-1999-EvansK #approach #metamodelling #semantics #uml

Core Meta-Modelling Semantics of UML: The pUML Approach (AE, SK), pp. 140–155.

UML-1999-GogollaRR #3d #animation #diagrams #towards #uml

Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.

UML-1999-Henderson-SellersAF #uml

A UML Variant: OML (BHS, CA, DF), pp. 49–66.

UML-1999-Herzberg #embedded #modelling #realtime #uml

UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.

UML-1999-Hilliard #architecture #uml #using

Using the UML for Architectural Description (RH), pp. 32–48.

UML-1999-Hruby #design #development #process #uml

Designing UML Based Development Processes (PH), pp. 308–323.

UML-1999-KabousN #modelling #realtime #uml

Modeling Hard Real Time Systems with UML (LK, WN), pp. 339–355.

UML-1999-Kahkipuro #distributed #framework #modelling #object-oriented #performance #uml

UML Based Performance Modeling Framework for Object-Oriented Distributed Systems (PK), pp. 356–371.

UML-1999-KimC #diagrams #formal method #uml #using

Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.

UML-1999-Knapp #interactive #semantics #uml

A Formal Semantics for UML Interactions (AK), pp. 116–130.

UML-1999-LiL #analysis #diagrams #sequence chart #uml

Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.

UML-1999-MatthesWB #component #modelling #uml

Modeling Dynamic Software Components with UML (FM, AW, MB), pp. 204–219.

UML-1999-OffuttA #generative #specification #testing #uml

Generating Tests from UML Specifications (AJO, AA), pp. 416–429.

UML-1999-PaltorL #formal method #model checking #state machine #uml

Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.

UML-1999-PetreBP #case study #contract #uml

Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.

UML-1999-RaczK #diagrams #uml

Tool-Supported Compressing of UML Class Diagrams (FDR, KK), pp. 172–187.

UML-1999-SendallS #analysis #case study #uml

UML Based Fusion Analysis Applied to a Bank Case Study (SS, AS), pp. 278–291.

UML-1999-Sourrouille #behaviour #implementation #inheritance #object-oriented #uml

UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages (JLS), pp. 457–472.

UML-1999-SuzukiY #component #modelling #uml

Extending UML for Modelling Reflective Software Componentsa (JS, YY), pp. 220–235.

OOPSLA-1999-France #analysis #concept #modelling #problem #requirements #uml

A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.

TOOLS-ASIA-1999-LiQ #testing #uml

Test Selection from UML Statecharts (LL, ZQ), pp. 273–281.

TOOLS-ASIA-1999-LuZL #modelling #object-oriented #requirements #uml

Object-Oriented Requirements Modeling Based on UML (ML, XZ, ML), p. 133–?.

TOOLS-ASIA-1999-XieYL #simulation #uml

Applying UML to Gas Turbine Engine Simulation (ZX, JY, JL), pp. 458–464.

TOOLS-EUROPE-1999-Henderson-Sellers99b #uml

Introduction to the OPEN Method with UML (BHS), p. 399.

TOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation #uml

Analysis by Contract: UML with Attitude! (RM), p. 407.

TOOLS-EUROPE-1999-RumpeBK #re-engineering #uml

Applied Software Engineering Principles for UML (BR, RB, IK), p. 410.

TOOLS-PACIFIC-1999-CookKWMRW #product line #uml #using

Defining UML Family Members Using Prefaces (SC, AK, JW, RM, BR, ACW), pp. 102–114.

TOOLS-PACIFIC-1999-FavreC #algebra #specification #uml

Integrating UML and Algebraic Specification Techniques (LF, SC), pp. 151–162.

TOOLS-USA-1999-Farfarakis #named #realtime #uml

Octopus/UML: Combining Objects with Real-Time (RF), pp. 479–489.

TOOLS-USA-1999-GilHK #constraints #diagrams #uml

Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.

TOOLS-USA-1999-Henderson-Sellers99a #uml

Introduction to the OPEN Method with UML (BHS), p. 504.

TOOLS-USA-1999-Mitchell #analysis #contract #uml

Analysis by Contract or UML with Attitude (RM), p. 465–?.

TOOLS-USA-1999-Wasserman #tool support #uml

Features of UML Tools (TW), p. 522.

RE-1999-Spence #case study #process #requirements #uml

Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.

ESEC-FSE-1999-JagerSW #modelling #process #uml #using

Using UML for Software Process Modeling (DJ, AS, BW), pp. 91–108.

ICSE-1999-SchaferZ #c++ #design pattern #java #uml

Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.

TAGT-1998-SchurrW #graph grammar #term rewriting #uml

UML Packages for PROgrammed Graph REwriting Systems (AS, AJW), pp. 396–409.

EDOC-1998-Iyengar #architecture #repository #uml #using

A universal repository architecture using the OMG UML and MOF (SSI), pp. 35–44.

EDOC-1998-Kobryn #architecture #enterprise #modelling #uml #using

Modeling enterprise software architectures using UML (CK), pp. 25–34.

EDOC-1998-LoosA #modelling #object-oriented #process #uml

Object-orientation in business process modeling through applying event driven process chains (EPC) in UML (PL, TA), pp. 102–112.

EDOC-1998-OldevikB #distributed #uml

UML-based methodology for distributed systems (JO, AJB), pp. 2–13.

EDOC-1998-SchaderK #approach #development #modelling #object-oriented #process #uml

Modeling business processes as part of the BOOSTER approach to business object-oriented system development based on UML (MS, AK), pp. 56–67.

SIGIR-1998-EichmannRS #information retrieval

Cross-Language Information Retrieval with the UMLS Metathesaurus (DE, MER, PS), pp. 72–80.

UML-1998-Allen #framework #uml

A Practical Framework for Applying UML (PA), pp. 419–433.

UML-1998-ArlowEQ #modelling #uml

Literate Modelling — Capturing Business Knowledge with the UML (JA, WE, JQ), pp. 189–199.

UML-1998-ArnoldP #uml

Best of Both Worlds — A Mapping from EXPRESS-G to UML (FA, GP), pp. 49–63.

UML-1998-Atkinson #concept #framework #uml

Supporting and Applying the UML Conceptual Framework (CA), pp. 21–36.

UML-1998-BezivinM #modelling #named #standard #uml

UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.

UML-1998-BourdeauLR #analysis #case study #diagrams #experience #uml

Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.

UML-1998-EvansFLR #formal method #modelling #uml

The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.

UML-1998-GogollaR #diagrams #uml

Transformation Rules for UML Class Diagrams (MG, MR), pp. 92–106.

UML-1998-Henderson-Sellers #named #uml

OML: Proposals to Enhance UML (BHS), pp. 349–364.

UML-1998-HitzK #uml

Developing with UML — Some Pitfalls and Workarounds (MH, GK), pp. 9–20.

UML-1998-Hruby #design #uml

Structuring UML Design Deliverables (PH), pp. 278–293.

UML-1998-KandeMPSW #design #uml

Applying UML to Design an Inter-domain Service Management Application (MMK, SM, OP, LS, MW), pp. 200–214.

UML-1998-KhrissEK #automation #collaboration #diagrams #multi #statechart #synthesis #uml

Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.

UML-1998-Kivisto #process #uml

Considerations of and Suggestions for a UML-Specific Process Model (KK), pp. 294–306.

UML-1998-KleppeWC #constraints #metamodelling #ocl #uml

Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel (AK, JW, SC), pp. 148–161.

UML-1998-KorthausK #development #process #uml

BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML (AK, SK), pp. 215–226.

UML-1998-Kovacevic #modelling #uml #user interface

UML and User Interface Modeling (SK), pp. 253–266.

UML-1998-LanoB #modelling #semantics #uml

Semantics and Transformations for UML Models (KL, JB), pp. 107–119.

UML-1998-LanusseGT #approach #modelling #realtime #uml

Real-Time Modeling with UML: The ACCORD Approach (AL, SG, FT), pp. 319–335.

UML-1998-LesterWB #reuse #uml

Applying UML Extensions to Facilitate Software Reuse (NGL, FGW, DWB), pp. 393–405.

UML-1998-MellorTAL #execution #precise #semantics #uml

An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.

UML-1998-MensLS #evolution #modelling #reuse #uml

Supporting Disciplined Reuse and Evolution of UML Models (TM, CL, PS), pp. 378–392.

UML-1998-OliveS #case study #experience #migration #uml

Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.

UML-1998-Ou #constraints #database #design #diagrams #object-oriented #on the #specification #uml #using

On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints (YO), pp. 173–188.

UML-1998-Paech #development #diagrams #on the #process #uml

On the Role of Activity Diagrams in UML — A User Task Centered Development Process for UML (BP), pp. 267–277.

UML-1998-SaksenaLFE #uml

Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.

UML-1998-SeemannG #diagrams #realtime #sequence chart #uml

Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.

UML-1998-SuzukiY #modelling #uml

Making UML Models Interoperables with UXF (JS, YY), pp. 78–91.

TOOLS-ASIA-1998-GeZYZ #development #uml

A Development and Management Environment Based on UML (KG, LZ, SY, BZ), pp. 214–221.

TOOLS-PACIFIC-1998-WatkinsDT #case study #uml

From UML to IDL: A Case Study (DW, MD, DT), p. 141–?.

TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml

Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.

LCTES-1998-Selic #modelling #realtime #uml #using

Using UML for Modeling Complex Real-Time Systems (BS), pp. 250–260.

EDOC-1997-AagedalB #uml

ODP-Based QoS-Support in UML (JØA, AJB), pp. 310–321.

UML-1997-BergnerRS #uml

A Critical Look upon UML 1.0 (KB, AR, MS), pp. 79–92.

UML-1997-BreuGHRS #modelling #uml

Systems, Views and Models of UML (RB, RG, FH, BR, WS), pp. 93–108.

UML-1997-Flatscher #uml

Exchange of UML-Models with EIA/CDIF (RF), pp. 3–13.

UML-1997-GogollaR #constraints #on the #query #uml

On Constraints and Queries in UML (MG, MR), pp. 109–121.

UML-1997-Holz #architecture #uml

Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.

UML-1997-Kern-BauschJ #concept #semantics #uml

From a Semantically Irreducible Formulated Conceptual Schema to an UML Model (LKB, MJ), pp. 32–44.

UML-1997-Korthaus #modelling #uml #using

Using UML for Business Object Based Systems Modeling (AK), pp. 220–237.

UML-1997-Muller-Ettrich #development #uml

System Development with V-Model and UML (GME), pp. 238–249.

UML-1997-NuttgensFZ #integration #modelling #process #question #uml

Business Process Modeling with EPC and UML: Transformation or Integration? (MN, TF, VZ), pp. 250–261.

UML-1997-Ou #on the #uml

On Mapping Between UML and Entity-Relationship Model (YO), pp. 45–57.

UML-1997-Prasse #comparison #evaluation #modelling #object-oriented #uml

Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML (MP), pp. 58–75.

UML-1997-SchaderK #java #modelling #thread #uml

Modeling Java Threads in UML (MS, AK), pp. 122–143.

UML-1997-SchroffT #uml

Conventions for the Practical Use of UML (AS, AT), pp. 262–270.

UML-1997-SchurrW #concept #uml

Formal Definition of UML’s Package Concept (AS, AJW), pp. 144–159.

UML-1997-WeberM #concept #diagrams #implementation #modelling #reuse #uml

Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling (WW, PM), pp. 190–203.

UML-1997-WolfBP #process #re-engineering #uml

Software Engineering Process with the UML (MW, RB, IP), pp. 271–280.

TOOLS-USA-1997-AllenHF #uml #unification

Method Unification: UML and OML (RA, BHS, DF), p. 372.