BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (423)
diagram (175)
base (140)
use (131)
system (95)

Stem uml$ (all stems)

957 papers:

DACDAC-2015-PetersWPKD #constraints #modelling #representation #uml
A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
FASEFASE-2015-KnappMRG #state machine #uml
An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.
SEFMSEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
SEFMSEFM-2015-DawC #diagrams #process #semantics #uml
An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
CAiSECAiSE-2015-EstanolST #modelling #process #uml #validation #verification
Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
ICEISICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml
A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
ICEISICEIS-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.
ICEISICEIS-v2-2015-PereiraBD #formal method #uml
Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICEISICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using
Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
SEKESEKE-2015-KchaouBB #modelling #uml
CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECMFAECMFA-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.
ECMFAECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support #uml
Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
MoDELSMoDELS-2015-AhmarGDP #communication #modelling #uml #visual notation
Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
MoDELSMoDELS-2015-DasD #state machine #uml
State machine antipatterns for UML-RT (TKD, JD), pp. 54–63.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
SACSAC-2015-CostaCFR #diagrams #modelling #precise #uml
From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
SACSAC-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.
ICSEICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification
Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
SLESLE-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.
SPLCSPLC-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.
ICSTICST-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.
ICSTICST-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.
TAPTAP-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.
TAPTAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml
Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
ASEASE-2014-KuschkeM #modelling #process #uml
Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
ASEASE-2014-MaYHC #modelling #uml #web
A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
ITiCSEITiCSE-2014-StrieweG #assessment #automation #diagrams #process #uml
Automated assessment of UML activity diagrams (MS, MG), p. 336.
ICSMEICSME-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.
IFMIFM-2014-AbbasBR #modelling #uml
Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.
IFMIFM-2014-MellerGY #behaviour #uml #verification
Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.
SEFMSEFM-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.
HILTHILT-2014-Seidewitz #execution #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
ICEISICEIS-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.
CIKMCIKM-2014-CalvaneseMET #modelling #process #uml
Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
KDIRKDIR-2014-KudamaL #random #semantics #using
Semantic Annotation of UMLS using Conditional Random Fields (SK, RBL), pp. 335–341.
KEODKEOD-2014-OlszewskaSM #design #ontology #owl #uml #using
Dynamic OWL Ontology Design Using UML and BPMN (JIO, RMS, TLM), pp. 436–444.
SEKESEKE-2014-CostaMM #detection #diagrams #equivalence #semantics #uml
Detecting Semantic Equivalence in UML Class Diagrams (VOC, RM, LM), pp. 318–323.
SEKESEKE-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.
AMTAMT-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.
ICMTICMT-2014-HilkenHG #modelling #ocl #uml
Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
MODELSMoDELS-2014-BergmayrGWK #java #named #uml
JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-MaraeeB #diagrams #uml
Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
MODELSMoDELS-2014-ReggioLR #bibliography #uml #what
Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MODELSMoDELS-2014-BergmayrGWK #java #named #uml
JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-MaraeeB #diagrams #uml
Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
MODELSMoDELS-2014-ReggioLR #bibliography #uml #what
Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
SACSAC-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.
TAPTAP-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.
TAPTAP-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.
DATEDATE-2013-SeiterWSD #ocl #specification #uml #verification
Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
CSMRCSMR-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.
ICPCICPC-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.
IFMIFM-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.
ICEISICEIS-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.
ICEISICEIS-v2-2013-BouassidaBA #design #named #semantics
P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
ICEISICEIS-v2-2013-Ramos #constraints #database #sql #uml
Deontic Database Constraints — From UML to SQL (PNR), pp. 102–109.
ICEISICEIS-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.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2013-HamannG #concept #metamodelling #semantics #uml
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
MODELSMoDELS-2013-WendlandSH #evolution #interactive #metamodelling #uml
Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2013-HamannG #concept #metamodelling #semantics #uml
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
MODELSMoDELS-2013-WendlandSH #evolution #interactive #metamodelling #uml
Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
REFSQREFSQ-2013-WauteletK #modelling #uml
Mapping i* within UML for Business Modeling (YW, MK), pp. 237–252.
SACSAC-2013-BakreBE #approach #interactive #uml
Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.
SACSAC-2013-LaurentBG #debugging #modelling #uml
Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
ESEC-FSEESEC-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.
ICSEICSE-2013-Ciccozzi #modelling #uml
From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
ICSEICSE-2013-Petre #uml
UML in practice (MP), pp. 722–731.
ICTSSICTSS-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.
TAPTAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml
Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
DATEDATE-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.
DATEDATE-2012-SoekenWD #invariant #modelling #ocl #uml
Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
DATEDATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml
Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.
FoSSaCSFoSSaCS-2012-CaliGOP #diagrams #query #uml
Querying UML Class Diagrams (AC, GG, GO, AP), pp. 1–25.
ICPCICPC-2012-NogueraRKJ #query #uml
Code querying by UML (CN, CDR, AK, VJ), pp. 229–238.
ICPCICPC-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.
FMFM-2012-GrumbergMY #behaviour #model checking #modelling #uml
Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
IFMIFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
SFMSFM-2012-Selic #uml
The Less Well Known UML — A Short User Guide (BS), pp. 1–20.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-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.
SEKESEKE-2012-GrunwaldM #approach #named #owl #uml
umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
SEKESEKE-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.
SEKESEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SEKESEKE-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.
ECMFAECMFA-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.
ECMFAECMFA-2012-GeP #framework #realtime #safety #uml #verification
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
ECMFAECMFA-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.
ECMFAECMFA-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.
ECMFAECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
ECMFAECMFA-2012-Seidewitz #execution #manycore #uml
Executable UML: From Multi-domain to Multi-core (ES), p. 1.
ECMFAECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
MODELSMoDELS-2012-IqbalAYB #case study #experience #industrial #uml
Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
MODELSMoDELS-2012-KuhlmannG #logic #ocl #relational #uml
From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
MODELSMoDELS-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.
MODELSMoDELS-2012-NoyritGS #metamodelling #named #uml
FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.
MODELSMoDELS-2012-SchulzeCA #approach #modelling #uml
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
MODELSMoDELS-2012-IqbalAYB #case study #experience #industrial #uml
Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
MODELSMoDELS-2012-KuhlmannG #logic #ocl #relational #uml
From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
MODELSMoDELS-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.
MODELSMoDELS-2012-NoyritGS #metamodelling #named #uml
FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.
MODELSMoDELS-2012-SchulzeCA #approach #modelling #uml
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
TOOLSTOOLS-EUROPE-2012-OchoaJC #uml
Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
SACSAC-2012-CunhaFS #ocl #relational #uml
From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.
SACSAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml
Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
FSEFSE-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.
ICSEICSE-2012-Mayerhofer #debugging #modelling #testing #uml
Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
ICSEICSE-2012-Motta #modelling #multi #towards #uml #verification
Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.
ICSTICST-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.
TAPTAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
TAPTAP-2012-BruningGHK #debugging #modelling #ocl #uml
Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
ECSAECSA-2011-AdersbergerP #architecture #consistency #named #traceability #uml
ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking (JA, MP), pp. 344–359.
ECSAECSA-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.
ASEASE-2011-ZurowskaD #analysis #modelling #named #uml
SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.
DATEDATE-2011-SoekenWD #aspect-oriented #modelling #uml #verification
Verifying dynamic aspects of UML models (MS, RW, RD), pp. 1077–1082.
DATEDATE-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.
DATEDATE-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.
CSEETCSEET-2011-LethbridgeMFB #education #programming #uml #using
Teaching UML using umple: Applying model-oriented programming in the classroom (TCL, GM, AF, OBB), pp. 421–428.
ITiCSEITiCSE-2011-StrieweG #automation #diagrams #uml
Automated checks on UML diagrams (MS, MG), pp. 38–42.
CSMRCSMR-2011-CoteH #requirements #tool support #uml
A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
ICSMEICSM-2011-Sharif #architecture #assessment #diagrams #empirical #uml
Empirical assessment of UML class diagram layouts based on architectural importance (BS), pp. 544–549.
SEFMSEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
GT-VMTGT-VMT-2011-BoronatM #automation #case study #maude #uml
Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
AdaEuropeAdaEurope-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.
EDOCEDOC-2011-BruningG #execution #metamodelling #modelling #uml #workflow
UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.
ICEISICEIS-J-2011-BajwaC #modelling #natural language #specification #uml
From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.
ICEISICEIS-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.
ICEISICEIS-v3-2011-NiZY #analysis #uml
Analysis of Requirement Capture based on UML (TN, ZZ, YY), pp. 313–317.
SEKESEKE-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.
SEKESEKE-2011-Krishna #approach #non-functional #process #requirements #uml
A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKESEKE-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.
SEKESEKE-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.
ICMTICMT-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.
ECMFAECMFA-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.
ECMFAECMFA-2011-Vallecillo #uml
Improving Naming and Grouping in UML (AV), pp. 345–360.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2011-ElaasarL #case study #diagrams #uml
Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
MODELSMoDELS-2011-Kraemer #android #process #uml
Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
MODELSMoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification
Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2011-ElaasarL #case study #diagrams #uml
Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
MODELSMoDELS-2011-Kraemer #android #process #uml
Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
MODELSMoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification
Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.
TOOLSTOOLS-EUROPE-2011-LangerWWC #emf #uml
From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.
QAPLQAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml
QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.
RERE-2011-CoteHSH #analysis #named #problem #requirements #uml
UML4PF — A tool for problem-oriented requirements analysis (IC, MH, HS, DH), pp. 349–350.
RERE-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.
SACSAC-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.
SACSAC-2011-PorresR #behaviour #interface #modelling #rest #uml #web #web service
Modeling behavioral RESTful web service interfaces in UML (IP, IR), pp. 1598–1605.
ESEC-FSEESEC-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.
GTTSEGTTSE-2011-MikhaielTNSX #difference #modelling #uml
Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
ICSEICSE-2011-Jurjens #automation #evolution #modelling #security #uml
Automated security hardening for evolving UML models (JJ), pp. 986–988.
ICTSSICTSS-2011-CastillosDJT #modelling #ocl #testing #uml
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.
TAPTAP-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.
QoSAQoSA-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.
ASEASE-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.
ASEASE-2010-ShaikhCWM #modelling #ocl #slicing #uml
Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
DATEDATE-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.
DATEDATE-2010-SoekenWKGD #modelling #ocl #satisfiability #uml #using #verification
Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.
DATEDATE-2010-VidalLGDS #configuration management #design #embedded #multi #uml
UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
CSEETCSEET-2010-IshiiSFF #education #modelling #programming #social #uml
Fostering UML Modeling Skills and Social Skills through Programming Education (NI, YS, HF, TF), pp. 25–32.
ITiCSEITiCSE-2010-BorstlerDRTHW #modelling #uml
Sharing and discussing UML modeling exercises in a PLE (JB, DD, ER, ST, MH, SW), p. 301.
ICSMEICSM-2010-DamW #co-evolution #modelling #uml
Supporting change propagation in UML models (HKD, MW), pp. 1–10.
MSRMSR-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.
IFMIFM-2010-LanoR #model transformation #specification #uml #using #verification
Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
AdaSIGAda-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.
ICEISICEIS-ISAS-2010-BoubakerBB #specification #uml
Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
ICEISICEIS-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.
SEKESEKE-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.
SEKESEKE-2010-ParkHK #diagrams #sequence chart #uml #verification
Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
ECMFAECMFA-2010-Balderas-ContrerasGC #algorithm #uml
A UML 2.0 Profile to Model Block Cipher Algorithms (TBC, GRG, RC), pp. 20–31.
MODELSMoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml
Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
MODELSMoDELS-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.
MODELSMoDELS-v1-2010-NoyritGTS #consistency #modelling #multi #uml #using
Consistent Modeling Using Multiple UML Profiles (FN, SG, FT, BS), pp. 392–406.
MODELSMoDELS-v1-2010-Pardillo #bibliography #uml
A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.
MODELSMoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml
Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
MODELSMoDELS-v2-2010-LanoR #model transformation #modelling #slicing #uml #using
Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
SACSAC-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.
ICSEICSE-2010-Cruz #case study #fault #metric #predict #uml
Exploratory study of a UML metric for fault prediction (AECC), pp. 361–364.
ICSEICSE-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.
SPLCSPLC-2010-AzevedoMBR #uml #variability
The UML “extend” Relationship as Support for Software Variability (SA, RJM, AB, HR), pp. 471–475.
ICSTICST-2010-PorresR #contract #nondeterminism #protocol #uml
From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
ICSTICST-2010-Rahimi #model transformation #specification #uml
Specification of UML Model Transformations (SKR), pp. 323–326.
ICSTICST-2010-Weissleder #state machine #test coverage #uml
Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
WICSA-ECSAWICSA-ECSA-2009-Konemann #concept #modelling #tool support #uml
Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
ASEASE-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.
DATEDATE-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.
DATEDATE-2009-SchattkowskyXM #uml
A UML frontend for IP-XACT-based IP management (TS, TX, WM), pp. 238–243.
DATEDATE-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.
ITiCSEITiCSE-2009-MarcosFM #education #uml
The two states of the mind to teach UML (LdM, FF, JJM), p. 361.
CSMRCSMR-2009-LuciaFST #concurrent #fine-grained #modelling #uml #version control
Concurrent Fine-Grained Versioning of UML Models (ADL, FF, GS, GT), pp. 89–98.
ICPCICPC-2009-SharifM #comprehension #diagrams #empirical #uml
An empirical study on the comprehension of stereotyped UML class diagram layouts (BS, JIM), pp. 268–272.
FMFM-2009-LausdahlLL #tool support #uml
Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
FMFM-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.
IFMIFM-2009-CabotCR #contract #ocl #uml #verification
Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
VISSOFTVISSOFT-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.
AdaEuropeAdaEurope-2009-SaezTGC #ada #implementation #state machine #uml
Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.
CAiSECAiSE-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.
CAiSECAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification
Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
CAiSECAiSE-2009-QueraltT #concept #reasoning #uml
Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.
ICEISICEIS-AIDSS-2009-RaimbaultGL #diagrams #information management #uml #using
Using UML Class Diagram as a Knowledge Engineering Tool (TR, DG, SL), pp. 60–65.
ICEISICEIS-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.
ICEISICEIS-J-2009-BenevidesG #concept #modelling #ontology
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML (ABB, GG), pp. 528–538.
CIKMCIKM-2009-ZhangMCM #fuzzy #learning #ontology #semantics #uml #web
Fuzzy semantic web ontology learning from fuzzy UML model (FZ, ZMM, JC, XM), pp. 1007–1016.
KEODKEOD-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.
SEKESEKE-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.
ECMFAECMDA-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.
ECMFAECMDA-FA-2009-ChenM #consistency #guidelines #uml
A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
MODELSMoDELS-2009-CuccuruRGT #classification #parametricity #uml
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MODELSMoDELS-2009-DawV #modelling #process #state machine #uml
Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
MODELSMoDELS-2009-DrusinskyS #logic #uml #using
Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
MODELSMoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification
Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2009-CuccuruRGT #classification #parametricity #uml
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MODELSMoDELS-2009-DawV #modelling #process #state machine #uml
Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
MODELSMoDELS-2009-DrusinskyS #logic #uml #using
Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
MODELSMoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification
Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
TOOLSTOOLS-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.
TOOLSTOOLS-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.
RERE-2009-GrossD #diagrams #process #requirements #uml
EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
SACSAC-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.
SACSAC-2009-ChavezSL #approach #detection #uml
An approach to detection of UML-based ownership violation (HMC, WS, SL), pp. 541–542.
SACSAC-2009-ChoppyR #state machine #uml
A method for developing UML state machines (CC, GR), pp. 382–388.
SACSAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
SACSAC-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.
ICSTICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using
Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
ICSTICST-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.
TAPTAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml
Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
QoSAQoSA-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.
ASEASE-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.
ASEASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling #uml
Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
ASEASE-2008-UbayashiONYT #named #uml
AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
DATEDATE-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.
FASEFASE-2008-BruckerW #higher-order #named #ocl #proving #uml
HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.
FASEFASE-2008-LagardeETAG #domain model #modelling #uml
Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.
CSMRCSMR-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.
ICPCICPC-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.
WCREWCRE-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-VMTGT-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-VMTGT-VMT-2008-RensinkK #diagrams #graph #on the #semantics #uml
On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
SOFTVISSOFTVIS-2008-DachseltFD #sketching #tool support #uml
Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.
SOFTVISSOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout #uml
Automatic layout of UML use case diagrams (HE), pp. 105–114.
SOFTVISSOFTVIS-2008-FrischDB #diagrams #semantics #towards #uml
Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.
CAiSECAiSE-2008-QueraltT #constraints #decidability #reasoning #uml
Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
EDOCEDOC-2008-Berre #metamodelling #named #standard #uml
UPMS — UML Profile and Metamodel for Services — an Emerging Standard (AJB).
ICEISICEIS-ISAS1-2008-IdaniC #towards #uml
Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.
ICEISICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence #uml
Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
SEKESEKE-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.
SEKESEKE-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.
ECMFAECMDA-FA-2008-Barbier #runtime #state machine #uml
Supporting the UML State Machine Diagramsat Runtime (FB), pp. 338–348.
ECMFAECMDA-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.
ECMFAECMDA-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.
ICMTICMT-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.
ICMTICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving
Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MODELSMoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml
Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2008-Gessenharter #code generation #java #semantics #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml
X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
MODELSMoDELS-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.
MODELSMoDELS-2008-Ramos #constraints #relational #uml
Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
MODELSMoDELS-2008-RosseboR #composition #policy #specification #uml #using
Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
MODELSMoDELS-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.
MODELSMoDELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
MODELSMoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml
Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2008-Gessenharter #code generation #java #semantics #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml
X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
MODELSMoDELS-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.
MODELSMoDELS-2008-Ramos #constraints #relational #uml
Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
MODELSMoDELS-2008-RosseboR #composition #policy #specification #uml #using
Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
MODELSMoDELS-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.
MODELSMoDELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
TOOLSTOOLS-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.
SACSAC-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.
SACSAC-2008-PiresBR #design #generative #testing #uml
UML-based design test generation (WP, JB, FR), pp. 735–740.
SACSAC-2008-PiresTR #collaboration #internet
A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.
SACSAC-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.
SACSAC-2008-ShenK #fault #named #uml
ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
ICSEICSE-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.
ATEMATEM-J-2006-AmelunxenS #formal method #model transformation #uml
Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
SLESLE-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.
ICSTICST-2008-BaruzzoC #modelling #uml
A Methodology for UML Models V&V (AB, MC), pp. 513–516.
ICSTICST-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.
ICSTICST-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.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2008-RamirezC #adaptation #logic #modelling #uml #verification
Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.
ECSAECSA-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.
ASEASE-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.
ASEASE-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.
DATEDATE-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.
FASEFASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml
S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
WCREWCRE-J-2005-SuttonM07 #c++ #modelling #uml
Recovering UML class models from C++: A detailed explanation (AS, JIM), pp. 212–229.
CSMRCSMR-2007-LangeWC #evolution #monitoring #named #quality #uml
MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.
ICPCICPC-2007-LangeC #comprehension #interactive #modelling #uml #validation
Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.
ICPCICPC-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.
ICPCICPC-2007-YusufKM #comprehension #diagrams #eye tracking #uml
Assessing the Comprehension of UML Class Diagrams via Eye Tracking (SY, HHK, JIM), pp. 113–122.
ICSMEICSM-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.
SFMSFM-2007-Woodside #design #uml
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.
AGTIVEAGTIVE-2007-GronmoM #diagrams #modelling #process #uml
Aspect Diagrams for UML Activity Models (RG, BMP), pp. 329–344.
AGTIVEAGTIVE-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.
VISSOFTVISSOFT-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.
VISSOFTVISSOFT-2007-KagdiM #diagrams #graph #uml
Onion Graphs for Focus+Context Views of UML Class Diagrams (HHK, JIM), pp. 80–87.
EDOCEDOC-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.
ICEISICEIS-EIS-2007-AuerMB #modelling #tool support #uml #usability
Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.
ICEISICEIS-EIS-2007-MehrS #modelling #security #uml
Modelling of Message Security Concerns with UML (FM, US), pp. 365–374.
ICEISICEIS-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.
ICEISICEIS-HCI-2007-MartinsS #modelling #uml #user interface
Modeling User Interfaces with the XIS UML Profile (CM, ARdS), pp. 98–104.
SEKESEKE-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.
SEKESEKE-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–?.
SEKESEKE-2007-KoskerB #graph transformation #refactoring #uml
Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
SEKESEKE-2007-MartinhoDV #flexibility #modelling #named #process #uml
FlexUML: A UML Profile for Flexible Process Modeling (RM, DD, JV), pp. 215–220.
SEKESEKE-2007-Rhem #modelling #uml #using
Knowledge Modelling using UML (AJR), p. 755–?.
SEKESEKE-2007-XuXW #automation #code generation #protocol #state machine #uml
Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.
ECMFAECMDA-FA-2007-FuentesS #aspect-oriented #execution #modelling #uml
Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.
ECMFAECMDA-FA-2007-LagardeTAG #constraints #modelling #uml
Constraints Modeling for (Profiled) UML Models (FL, FT, CA, SG), pp. 130–143.
ECMFAECMDA-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.
MODELSMoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-CuccuruMTG #semantics #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELSMoDELS-2007-ErmaganK #modelling #uml
A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.
MODELSMoDELS-2007-OldevikH #architecture #aspect-oriented #uml
Architectural Aspects in UML (JO, ØH), pp. 301–315.
MODELSMoDELS-2007-PilskalnsWI #debugging #runtime #uml #using
Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELSMoDELS-2007-ZhangHK #aspect-oriented #state machine #uml
Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
MODELSMoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-CuccuruMTG #semantics #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELSMoDELS-2007-ErmaganK #modelling #uml
A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.
MODELSMoDELS-2007-OldevikH #architecture #aspect-oriented #uml
Architectural Aspects in UML (JO, ØH), pp. 301–315.
MODELSMoDELS-2007-PilskalnsWI #debugging #runtime #uml #using
Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELSMoDELS-2007-ZhangHK #aspect-oriented #state machine #uml
Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
REFSQREFSQ-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.
REFSQREFSQ-2007-DarimontL #requirements #security #uml
Security Requirements for Civil Aviation with UML and Goal Orientation (RD, ML), pp. 292–299.
SACSAC-2007-CambroneroPDV #modelling #using #web #web service
Using RT-UML for modelling web services (MEC, JJP, GD, VV), pp. 643–648.
SACSAC-2007-KimS #approach #consistency #modelling #uml
An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.
SACSAC-2007-SchreinerG #component #embedded #modelling #uml
Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
ICSEICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml
Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.
ICSEICSE-2007-Egyed07a #consistency #modelling #named #uml
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.
ICSEICSE-2007-LiuM #data access #uml
Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
ICSEICSE-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.
AMOSTAMOST-2007-BouquetGLPVU #modelling #precise #testing #uml
A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
ASEASE-2006-SatohKU #diagrams #uml
Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
ASEASE-2006-SpanoudakisZ #uml
UML-based Service Discovery Tool (GS, AZ), pp. 361–362.
DATEDATE-2006-AhmedM #design #performance #uml #using
Faster exploration of high level design alternatives using UML for better partitions (WA, DM), pp. 579–580.
DATEDATE-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.
DATEDATE-2006-VanderperrenD #matlab #uml
From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
DATEDATE-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.
FASEFASE-2006-LavazzaB #problem #requirements #uml
Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
ICSMEICSM-2006-BriandLS #design pattern #modelling #uml
Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.
ICSMEICSM-2006-PilskalnsUA #design #testing #uml
Regression Testing UML Designs (OP, GU, AAA), pp. 254–264.
MSRMSR-2006-Beyer #challenge #co-evolution #visualisation
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (DB), pp. 165–166.
MSRMSR-2006-ZimmermannBLL #mining
Mining additions of method calls in ArgoUML (TZ, SB, CL, VBL), pp. 169–170.
WCREWCRE-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.
WCREWCRE-2006-LaitkorpiKS #approach #interface #uml
A UML-based Approach for Abstracting Application Interfaces to REST-like Services (ML, JK, TS), pp. 134–146.
WCREWCRE-2006-XingS #detection #query #refactoring
Refactoring Detection based on UMLDiff Change-Facts Queries (ZX, ES), pp. 263–274.
FMFM-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.
SEFMSEFM-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.
SOFTVISSOFTVIS-2006-GudenbergNEE #diagrams #layout #uml
Evolutionary layout of UML class diagrams (JWvG, AN, ME, HE), pp. 163–164.
AdaEuropeAdaEurope-2006-Curtis #execution #uml
SPARK Annotations Within Executable UML (DC), pp. 83–93.
EDOCEDOC-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.
EDOCEDOC-2006-ChanP #architecture #modelling #uml
QoS-Aware Model Driven Architecture through the UML and CIM (KC, IP), pp. 345–354.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
SEKESEKE-2006-PiaoWCC #analysis #diagrams #process #uml
An Analysis Model of Activity Diagram in UML 2.0 (WCP, CHW, WCC, LPC), pp. 562–567.
SEKESEKE-2006-PilskalnsA #design #ocl #security #testing #uml #using
Using UML Designs to Generate OCL for Security Testing (OP, AAA), pp. 505–510.
SEKESEKE-2006-ZhangKY #concept analysis #modelling #uml #web
UML Modelling Web Applications via Formal Concept Analysis (ZZ, JK, HY), pp. 532–535.
ECMFAECMDA-FA-2006-BraheO #modelling #process #uml
Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles (SB, ), pp. 241–255.
ECMFAECMDA-FA-2006-OKeefe #consistency #logic #semantics #uml
Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.
MODELSMoDELS-2006-Beeck #semantics #uml
A Formal Semantics of UML-RT (MvdB), pp. 768–782.
MODELSMoDELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CostalGQRT #constraints #uml
Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
MODELSMoDELS-2006-DiskinD #semantics #towards #uml
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MODELSMoDELS-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.
MODELSMoDELS-2006-Henderson-SellersG #uml
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
MODELSMoDELS-2006-LangeBCD #modelling #uml
An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
MODELSMoDELS-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.
MODELSMoDELS-2006-OKeefe #uml
Improving the Definition of UML (GO), pp. 42–56.
MODELSMoDELS-2006-SchattkowskyHE #design #process #synthesis #uml #using
Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.
MODELSMoDELS-2006-TaleghaniA #semantics #uml
Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
MODELSMoDELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
MODELSMoDELS-2006-Beeck #semantics #uml
A Formal Semantics of UML-RT (MvdB), pp. 768–782.
MODELSMoDELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CostalGQRT #constraints #uml
Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
MODELSMoDELS-2006-DiskinD #semantics #towards #uml
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MODELSMoDELS-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.
MODELSMoDELS-2006-Henderson-SellersG #uml
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
MODELSMoDELS-2006-LangeBCD #modelling #uml
An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
MODELSMoDELS-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.
MODELSMoDELS-2006-OKeefe #uml
Improving the Definition of UML (GO), pp. 42–56.
MODELSMoDELS-2006-SchattkowskyHE #design #process #synthesis #uml #using
Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.
MODELSMoDELS-2006-TaleghaniA #semantics #uml
Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
MODELSMoDELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
SACSAC-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.
SACSAC-2006-DobrzanskiK #approach #execution #modelling #refactoring #uml
An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
SACSAC-2006-FekihAM #diagrams #specification #state machine #uml
Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.
SACSAC-2006-GuelfiM #diagrams #framework #process #specification #uml
A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
SACSAC-2006-KacemKJD #architecture #uml #using
Describing dynamic software architectures using an extended UML model (MHK, AHK, MJ, KD), pp. 1245–1249.
SACSAC-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.
ICSEICSE-2006-Egyed #consistency #uml
Instant consistency checking for the UML (AE), pp. 381–390.
ICSEICSE-2006-GarousiBL #distributed #modelling #testing #uml
Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.
ICSEICSE-2006-Gomaa #concurrent #design #distributed #realtime #uml
Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.
ICSEICSE-2006-KimKPCKG #case study #development #uml
UML-based service robot software development: a case study (MK, SK, SP, MTC, MK, HG), pp. 534–543.
ICSEICSE-2006-Lange #modelling #quality #uml
Improving the quality of UML models in practice (CFJL), pp. 993–996.
ICSEICSE-2006-LangeC #fault #modelling #uml
Effects of defects in UML models: an experimental investigation (CFJL, MRVC), pp. 401–411.
ICSEICSE-2006-Selic #bibliography #named #tutorial #uml
Tutorial: an overview of UML 2 (BS), pp. 1069–1070.
ATEMATEM-2006-Garcia #formal method #ocl #uml
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
SPLCSPL-BOOK-2006-ZiadiJ #product line #uml
Software Product Line Engineering with the UML: Deriving Products (TZ, JMJ), pp. 557–588.
SPLCSPLC-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.
SPLCSPLC-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.
WICSAWICSA-2005-InverardiMP #named #uml
DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
WICSAWICSA-2005-SmedaOK #uml #using
Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.
ASEASE-2005-Milanova #composition #diagrams #identification #precise #uml
Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
ASEASE-2005-SimmondsB #automation #consistency #uml
A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.
ASEASE-2005-XingS #algorithm #design #difference #named #object-oriented
UMLDiff: an algorithm for object-oriented design differencing (ZX, ES), pp. 54–65.
DATEDATE-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.
DATEDATE-2005-KukkalaRHHK #design #embedded #uml
UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.
DATEDATE-2005-MellorWM #uml #why
Why Systems-on-Chip Needs More UML like a Hole in the Head (SJM, JRW, CM), pp. 834–835.
DATEDATE-2005-Oliver #design #uml
Applying UML and MDA to Real Systems Design (IO), pp. 70–71.
DATEDATE-2005-RiccobeneSRB #design #uml
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC (ER, PS, AR, SB), pp. 704–709.
DATEDATE-2005-Schattkowsky #bibliography #design #uml
UML 2.0 — Overview and Perspectives in SoC Design (TS), pp. 832–833.
DATEDATE-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.
DATEDATE-2005-ZhuOHN #design #process #uml
Integrating UML into SoC Design Process (QZ, RO, TH, TN), pp. 836–837.
CSEETCSEET-2005-PavlovY #education #object-oriented #uml #using
Using Pantomime in Teaching OOA&OOD with UML (VLP, AY), pp. 77–84.
FASEFASE-2005-EgyedSW #maintenance #refinement #uml
Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.
FASEFASE-2005-JurjensS #analysis #development #security #tool support #uml
Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
FASEFASE-2005-LeicherS #analysis #composition #modelling #uml
Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.
CSMRCSMR-2005-JiangLSS #analysis #comparison #uml #web #web service
UML-Level Analysis and Comparison of Web Service Descriptions (JJ, JL, PS, TS), pp. 236–240.
ICSMEICSM-2005-KagdiMS #modelling #slicing #uml
Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.
IWPCIWPC-2005-SunW #comprehension #diagrams #layout #on the #uml
On Evaluating the Layout of UML Class Diagrams for Program Comprehension (DS, KW), pp. 317–326.
PASTEPASTE-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.
WCREWCRE-2005-SuttonM #c++ #modelling #reverse engineering #uml
Mappings for Accurately Reverse Engineering UML Class Models from C++ (AS, JIM), pp. 175–184.
IFMIFM-2005-OssamiJS #consistency #multi #specification #uml
Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.
SOFTVISSOFTVIS-2005-MalloyP #c++ #modelling #source code #uml #visualisation
Exploiting UML dynamic object modeling for the visualization of C++ programs (BAM, JFP), pp. 105–114.
VISSOFTVISSOFT-2005-AndriyevskaDSM #architecture #diagrams #layout #uml
Evaluating UML Class Diagram Layout based on Architectural Importance (OA, ND, BS, JIM), pp. 14–19.
VISSOFTVISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml
Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
AdaSIGAda-2005-Sautejeau #modelling #uml
Modeling SPARK systems with UML (XS), pp. 11–16.
EDOCEDOC-2005-RomeroV #modelling #uml
Modeling the ODP Computational Viewpoint with UML 2.0 (JRR, AV), pp. 169–180.
EDOCEDOC-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.
ICEISICEIS-v1-2005-Fernandez #design #security #uml #using
Security Patterns and Secure Systems Design Using UML (EBF), p. 21.
ICEISICEIS-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
SEKESEKE-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.
SEKESEKE-2005-OgameKH #diagrams #uml
Inspection Support System for UML Diagram (YO, TK, AH), pp. 408–411.
SEKESEKE-2005-SongPCZ #specification #transaction #uml #verification
Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
ECMFAECMDA-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.
ECMFAECMDA-FA-2005-GronmoJH #uml
Transformations Between UML and OWL-S (RG, MCJ, HH), pp. 269–283.
ECMFAECMDA-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.
ECMFAECMDA-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.
MODELSMoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.
MODELSMoDELS-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.
MODELSMoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml
Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
MODELSMoDELS-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.
MODELSMoDELS-2005-CraneD #modelling #uml
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
MODELSMoDELS-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.
MODELSMoDELS-2005-CuccuruDMB #modelling #towards #uml
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-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.
MODELSMoDELS-2005-JurjensH #modelling #uml
Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.
MODELSMoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml
Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
MODELSMoDELS-2005-SandersMKB #composition #specification #uml #using
Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
MODELSMoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #uml #using
Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.
MODELSMoDELS-2005-SmialekBNS #metamodelling #uml
Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
MODELSMoDELS-2005-StreetP #modelling #uml
The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.
MODELSMoDELS-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.
MODELSMoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.
MODELSMoDELS-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.
MODELSMoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml
Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
MODELSMoDELS-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.
MODELSMoDELS-2005-CraneD #modelling #uml
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
MODELSMoDELS-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.
MODELSMoDELS-2005-CuccuruDMB #modelling #towards #uml
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-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.
MODELSMoDELS-2005-JurjensH #modelling #uml
Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.
MODELSMoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml
Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
MODELSMoDELS-2005-SandersMKB #composition #specification #uml #using
Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
MODELSMoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #uml #using
Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.
MODELSMoDELS-2005-SmialekBNS #metamodelling #uml
Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
MODELSMoDELS-2005-StreetP #modelling #uml
The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.
MODELSMoDELS-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.
SACSAC-2005-BellettiniMT #named #testing #web
TestUml: user-metrics driven web applications testing (CB, AM, AT), pp. 1694–1698.
SACSAC-2005-TruongS #behaviour #modelling #uml #using #verification
Verification of behavioural elements of UML models using B (NTT, JS), pp. 1546–1552.
ESEC-FSEESEC-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-FSEESEC-FSE-2005-Baroni #assessment #modelling #uml
Quantitative assessment of UML dynamic models (ALB), pp. 366–369.
ICSEICSE-2005-Jurjens #effectiveness #modelling #security #tool support #uml
Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.
ICTSSTestCom-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.
ASEASE-2004-HammoudaKPKM #adaptation #framework #uml
Adaptable Concern-Based Framework Specialization in UML (IH, JK, MP, MK, TM), pp. 78–87.
ASEASE-2004-KonradCC #analysis #automation #diagrams #uml
Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.
ASEASE-2004-LiWQ #generative #testing #uml
Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.
DATEDATE-v1-2004-GreenE #data flow #uml
Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
FASEFASE-2004-KimRFL #data access #modelling #uml #using
Modeling Role-Based Access Control Using Parameterized UML Models (DKK, IR, RBF, NL), pp. 180–193.
TACASTACAS-2004-LeueMW #bound #modelling #scalability #uml
A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.
ICSMEICSM-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.
ICSMEICSM-2004-Gueheneuc #diagrams #precise #uml
Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
ICSMEICSM-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.
IWPCIWPC-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.
IWPCIWPC-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.
IWPCIWPC-2004-Torchiano #assessment #diagrams #empirical #uml
Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.
IFMIFM-2004-LanoCA #modelling #object-oriented #uml #verification
UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
IFMIFM-2004-MollerORW #case study #java #uml
Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.
IFMIFM-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.
IFMIFM-2004-SeceleanuP #approach #design #uml
Constituent Elements of a Correctness-Preserving UML Design Approach (TS, JP), pp. 227–246.
SEFMSEFM-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.
SEFMSEFM-2004-SandersB #modelling #peer-to-peer #uml
Modeling Peer-to-Peer Service Goals in UML (RTS, RB), pp. 144–153.
SEFMSEFM-2004-SchinzTMW #uml #verification
The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.
SFMSFM-2004-Selic #on the #semantics #standard #uml
On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
CSCWCSCW-2004-SchankH #collaboration #modelling #uml
Collaborative modeling: hiding UML and promoting data examples in NEMo (PKS, LH), pp. 574–577.
AdaEuropeAdaEurope-2004-AmeyW #ada #c #uml
High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
CAiSECAiSE-2004-GuizzardiWGMR #concept #modelling #uml
An Ontologically Well-Founded Profile for UML Conceptual Models (GG, GW, NG, MvS), pp. 112–126.
EDOCEDOC-2004-SilaghiFS #towards #uml
Towards an MDA-Oriented UML Profile for Distribution (RS, FF, AS), pp. 227–239.
EDOCEDOC-2004-SkoganGS #composition #uml #web #web service
Web Service Composition in UML (DS, RG, IS), pp. 47–57.
ICEISICEIS-v1-2004-Lujan-MoraTV #modelling #multi #uml
Advantages of UML for Multidimensional Modeling (SLM, JT, PV), pp. 298–305.
ICEISICEIS-v3-2004-AliBG #dependence #diagrams #uml #verification
UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.
ICEISICEIS-v3-2004-AllouiO #architecture #process #uml #using
Describing Software-Intensive Process Architectures Using a UML-Based ADL (IA, FO), pp. 201–208.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v4-2004-KangT #diagrams #mobile #modelling #process #uml
Modelling Mobile Agent Applications by Extended UML Activity Diagram (MK, KT), pp. 519–522.
SEKESEKE-2004-CollierOR #re-engineering #uml
A UML-based Software Engineering Methodology for Agent Factory (RWC, GMPO, CR), pp. 25–30.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
UMLUML-2004-AbieAKMR #security #uml
Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.
UMLUML-2004-AronsHKPZ #deduction #modelling #uml #verification
Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
UMLUML-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.
UMLUML-2004-BennettFW #evaluation #performance #scheduling #uml
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.
UMLUML-2004-CaronCMV #ocl #uml
An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.
UMLUML-2004-CorreaW #modelling #ocl #refactoring #uml
Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.
UMLUML-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.
UMLUML-2004-GaafarS #framework #ocl #towards #uml #xml #xquery
Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.
UMLUML-2004-GieseH #specification #uml
From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
UMLUML-2004-GoniE #concurrent #ocl #precise #uml #using
Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
UMLUML-2004-GrassiMS #mobile #uml
A UML Profile to Model Mobile Systems (VG, RM, AS), pp. 128–142.
UMLUML-2004-HayashiYSMSH #development #modelling #uml
Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.
UMLUML-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.
UMLUML-2004-MaSZJ #metamodelling #metric #object-oriented #uml
Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.
UMLUML-2004-PetriuW #design #generative #metamodelling #modelling #performance #uml
A Metamodel for Generating Performance Models from UML Designs (DBP, CMW), pp. 41–53.
UMLUML-2004-PitkanenS #execution #incremental #modelling #uml
A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
OOPSLAOOPSLA-2004-GueheneucA #uml
Recovering binary class relationships: putting icing on the UML cake (YGG, HAA), pp. 301–314.
SACSAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using
On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
SACSAC-2004-BellettiniMT #named #reverse engineering #web
WebUml: reverse engineering of web applications (CB, AM, AT), pp. 1662–1669.
SACSAC-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.
ICSEICSE-2004-Berenbach #analysis #design #evaluation #scalability #uml
The Evaluation of Large, Complex UML Analysis and Design Model (BB), pp. 232–241.
ICSEICSE-2004-MakCL #design pattern #modelling #precise #uml
Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.
ICSEICSE-2004-Selic #bibliography #named #tutorial #uml
Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
ICSEICSE-2004-Tenzer #design #game studies #tool support #uml
Improving UML Design Tools by Formal Games (JT), pp. 75–77.
SPLCSPLC-2004-Gomaa #design #modelling #product line #uml
Designing Software Product Lines with the Unified Modeling Language (UML) (HG), p. 317.
ICTSSTestCom-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.
ICTSSTestCom-2004-MuckeH #generative #uml
Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.
ASEASE-2003-Nassar #uml
VUML : a Viewpoint oriented UML Extension (MN), pp. 373–376.
ASEASE-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.
DATEDATE-2003-FornaciariMSZ #clustering #specification #towards #uml
A First Step Towards Hw/Sw Partitioning of UML Specifications (WF, PM, FS, LZ), pp. 10668–10673.
FASEFASE-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.
FASEFASE-2003-TenzerS #diagrams #modelling #recursion #uml
Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
CSMRCSMR-2003-WuO #component #evolution #maintenance #uml
Maintaining Evolving Component-Based Software with UML (YW, JO), pp. 133–142.
ICSMEICSM-2003-BriandLO #impact analysis #modelling #uml
Impact Analysis and Change Management of UML Models (LCB, YL, LO), pp. 256–265.
WCREWCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml
Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
SEFMSEFM-2003-AstesianoR #development #towards #uml
Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.
SEFMSEFM-2003-BouassidaBGH #design #formal method #framework
Formalizing the Framework Design Language F-UML (NB, HBA, FG, ABH), pp. 164–172.
SEFMSEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation
Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
SEFMSEFM-2003-NgB #csp #diagrams #formal method #towards #uml
Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.
AGTIVEAGTIVE-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.
SOFTVISSOFTVIS-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.
SOFTVISSOFTVIS-2003-GutwengerJKKLM #approach #diagrams #uml #visualisation
A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.
SOFTVISSOFTVIS-2003-HausmannK #uml #visualisation
Visualizing Model Mappings in UML (JHH, SK), pp. 169–178.
SOFTVISSOFTVIS-2003-JacobsM #debugging #interactive #uml #visual notation
Interactive Visual Debugging with UML (TJ, BM), pp. 115–122.
VISSOFTVISSOFT-2003-EichelbergerG #diagrams #layout #state of the art #uml
UML Class Diagrams – State of the Art in Layout Techniques (HE, JWvG), pp. 30–34.
VISSOFTVISSOFT-2003-EichelbergerW #diagrams #layout #uml
Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.
AdaEuropeAdaEurope-2003-MazziniDNDLV #named #uml
HRT-UML: Taking HRT-HOOD onto UML (SM, MD, MDN, AD, GL, TV), pp. 405–416.
AdaEuropeAdaEurope-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, , JAP, PS), pp. 417–428.
AdaEuropeAdaEurope-2003-Thom #ada #standard #uml
The Standard UML-Ada Profile (FT), pp. 394–404.
CAiSECAiSE-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.
CAiSECAiSE-2003-CastroSM #architecture #modelling #uml
Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.
CAiSECAiSE-2003-GeneroP #complexity #diagrams #metric #uml
No-redundant Metrics for UML Class Diagram Structural Complexity (MEM, MG, MP), pp. 127–142.
ICEISICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #uml #validation
Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
ICEISICEIS-v3-2003-CaveroMVC #modelling #query #uml #using
Modelling ORDB Queries Using UML (JMC, EM, BV, CC), pp. 535–539.
ICEISICEIS-v3-2003-LuzS #development #modelling #uml
Software Development Guided By Models — The XIS UML Profile (ML, ARdS), pp. 370–381.
ICEISICEIS-v3-2003-Ramos #constraints #diagrams #relational #uml
Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.
SEKESEKE-2003-DongY #design pattern #diagrams #uml #visualisation
Extending UML to Visualize Design Patterns In Class Diagrams (JD, SY), pp. 124–131.
SEKESEKE-2003-GomesPPSCFB03a #diagrams #reuse #uml
Case-Based Reuse of UML Diagrams (PG, FCP, PP, NS, PC, JLF, CB), pp. 335–339.
SEKESEKE-2003-Lavazza #requirements #uml
Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
SEKESEKE-2003-LavazzaO #modelling #uml #verification
Simulation-based Verification of UML models (LL, GO), pp. 314–321.
SEKESEKE-2003-SongPLGCM #e-commerce #uml #verification
Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.
UMLUML-2003-Balsters #database #modelling #ocl #uml
Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.
UMLUML-2003-BriandCL #automation #testing #towards #uml
Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.
UMLUML-2003-CabotOT #representation #uml
Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.
UMLUML-2003-ChristophM #middleware #migration #named #uml
GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.
UMLUML-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.
UMLUML-2003-EngelsHK #consistency #development #uml
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.
UMLUML-2003-Fowler #question #uml #what
What Is the Point of the UML? (MF), p. 325.
UMLUML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation
Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
UMLUML-2003-GorpSMD #automation #refactoring #towards #uml
Towards Automating Source-Consistent UML Refactorings (PVG, HS, TM, SD), pp. 144–158.
UMLUML-2003-Isoda #uml
A Critique of UML’s Definition of the Use-Case Class (SI), pp. 280–294.
UMLUML-2003-JansenHK #uml
A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
UMLUML-2003-Jurjens #safety #uml
Developing Safety-Critical Systems with UML (JJ), pp. 360–372.
UMLUML-2003-PilskalnsAGF #behaviour #testing #uml
Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.
UMLUML-2003-Rouquette #architecture #uml
UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.
UMLUML-2003-ShankarA #realtime #semantics #uml
Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
UMLUML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #uml #using
Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.
UMLUML-2003-YangX #architecture #case study #encoding #experience #uml
Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
ECOOPECOOP-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.
RERE-2003-Berenbach #quality #uml
Evaluating the Quality of a UML Business Model (BB), p. 280.
RERE-2003-Berenbach03a #automation #modelling #requirements #uml
The Automated Extraction of Requirements from UML Models (BB), p. 287.
SACSAC-2003-AalstKV #modelling #uml #workflow #xml
Organizational Modeling in UML and XML in the Context of Workflow Systems (WMPvdA, AK, EV), pp. 603–608.
SACSAC-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.
SACSAC-2003-Dong #composition #design pattern #representation #uml
Representing the Applications and Compositions of Design Patterns in UML (JD), pp. 1092–1098.
ESEC-FSEESEC-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-FSEESEC-FSE-2003-OhstWK #diagrams #difference #uml
Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
ESEC-FSEESEC-FSE-2003-SelonenX #architecture #modelling #uml #validation
Validating UML models against architectural profiles (PS, JX), pp. 58–67.
ICSEICSE-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.
ICSEICSE-2003-Selic #bibliography #tutorial #uml
Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.
ICSEICSE-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.
ICSEICSE-2003-WeisUG #corba #quality #uml
Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.
FATESFATES-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.
FATESFATES-2003-Ramakrishnan #testing #uml
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile (SR), pp. 236–251.
ICTSSTestCom-2003-SchieferdeckerDGR #testing #uml
The UML 2.0 Testing Profile and Its Relation to TTCN-3 (IS, ZRD, JG, AR), pp. 79–94.
ASEASE-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.
DATEDATE-2002-BaldiniBPMT #functional #uml
Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.
DATEDATE-2002-Jong #design #embedded #realtime #uml
A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
DATEDATE-2002-Martin02a #bibliography #design #embedded #motivation #perspective #specification #uml
UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
DATEDATE-2002-Selic #realtime #standard #uml
The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.
FASEFASE-2002-DavidMY #realtime #uml #verification
Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
CSMRCSMR-2002-KollmannG #diagrams #representation #uml
Metric-Based Selective Representation of UML Diagrams (RK, MG), pp. 89–98.
ICSMEICSM-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.
WCREWCRE-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–?.
FMFME-2002-Treharne #development #process #uml
Supplementing a UML Development Process with B (HT), pp. 568–586.
IFMIFM-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.
IFMIFM-2002-LedangS #modelling #uml
Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.
ICGTICGT-2002-Varro #semantics #uml
A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
VISSOFTVISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #syntax #uml
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.
AdaEuropeAda-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.
AdaEuropeAdaEurope-2002-OrtizMAIF #ada #development #uml #using
Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, , AI, JMF), pp. 113–124.
CAiSECAiSE-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.
CAiSECAiSE-2002-CostalST #analysis #comprehension #modelling #object-oriented #uml
Understanding Redundancy in UML Models for Object-Oriented Analysis (DC, MRS, ET), pp. 659–674.
CAiSECAiSE-2002-GomezO #concept #evolution #uml
Evolving Partitions in Conceptual Schemas in the UML (CG, AO), pp. 467–483.
CAiSECAiSE-2002-TorchianoB #modelling #uml
Domain-Specific Instance Models in UML (MT, GB), pp. 774–777.
EDOCEDOC-2002-Tyndale-BiscoeSWS #component #modelling #uml
Business Modelling for Component Systems with UML (STB, OS, BW, CS), pp. 120–131.
ICEISICEIS-2002-CesareLP #modelling #research #uml
Business Modelling with UML: Distilling Directions for Future Research (SdC, ML, DP), pp. 570–579.
ICEISICEIS-2002-FilhoL #uml
A Proposal for the Incorporation of the Features Model into the UML Language (IMF, TCdO, CJPdL), pp. 594–601.
SEKESEKE-2002-RiescoSPPJ #analysis #metamodelling #uml
Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.
SEKESEKE-2002-SourrouilleC #constraints #modelling #uml
Constraint checking in UML modeling (JLS, GC), pp. 217–224.
UMLUML-2002-AagedalE #modelling #towards #uml
Modelling QoS: Towards a UML Profile (JØA, EFEJ), pp. 275–289.
UMLUML-2002-AndrePR #paradigm #uml
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems (CA, MAPF, JPR), pp. 163–178.
UMLUML-2002-BasanieriBM #approach #testing #uml
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.
UMLUML-2002-BogerJMF #diagrams #uml
Diagram Interchange for UML (MB, MJ, SM, JF), pp. 398–411.
UMLUML-2002-CariouB #component #interactive #specification #uml
The Specification of UML Collaborations as Interaction Components (EC, AB), pp. 352–367.
UMLUML-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.
UMLUML-2002-FelfernigFJZ #information management #ocl #representation #uml #using
Configuration Knowledge Representation Using UML/OCL (AF, GF, DJ, MZ), pp. 49–62.
UMLUML-2002-FlakeM #constraints #ocl #realtime #uml
A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
UMLUML-2002-FrohlichHS #industrial #modelling #multi #uml #using
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies (PF, ZH, MS), pp. 63–72.
UMLUML-2002-GogollaH #analysis #metamodelling #uml
Analysis of UML Stereotypes within the UML Metamodel (MG, BHS), pp. 84–99.
UMLUML-2002-Jurjens #development #named #uml
UMLsec: Extending UML for Secure Systems Development (JJ), pp. 412–425.
UMLUML-2002-LodderstedtBD #modelling #named #security #uml
SecureUML: A UML-Based Modeling Language for Model-Driven Security (TL, DAB, JD), pp. 426–441.
UMLUML-2002-Lujan-MoraTS #modelling #multi #uml
Extending the UML for Multidimensional Modeling (SLM, JT, IYS), pp. 290–304.
UMLUML-2002-PllanaF #modelling #on the #uml
On Customizing the UML for Modeling Performance-Oriented Applications (SP, TF), pp. 259–274.
UMLUML-2002-SchattkowskyL #agile #composition #development #uml #using #web
Rapid Development of Modular Dynamic Web Sites Using UML (TS, ML), pp. 336–350.
UMLUML-2002-SteimannK #reduction #semantics #uml
A Radical Reduction of UML’s Core Semantics (FS, TK), pp. 34–48.
UMLUML-2002-SturmVB #generative #uml
Generating Code from UML with Velocity Templates (TS, JvV, MB), pp. 150–161.
UMLUML-2002-TangC #design #metric #object-oriented #uml
Measuring OO Design Metrics from UML (MHT, MHC), pp. 368–382.
UMLUML-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.
UMLUML-2002-Whittle #automation #modelling #uml
Transformations and Software Modeling Languages: Automating Transformations in UML (JW), pp. 227–242.
RERE-2002-StutzSKK #analysis #uml
Analysis beyond UML (CS, JS, DK, WK), pp. 215–218.
SACSAC-2002-Jurjens #message passing #semantics #uml
A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
ICSEICSE-2002-EshuisW #design #graph #process #uml #verification #workflow
Verification support for workflow design with UML activity graphs (RE, RW), pp. 166–176.
ICSEICSE-2002-GilHK #modelling #uml #visual notation
Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.
ICSEICSE-2002-KruchtenSK #architecture #named #tutorial #uml
Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.
ICSEICSE-2002-NittoLSTT #execution #process #uml
Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
SPLCSPLC-2002-PreeFR #product line #uml
Product Line Annotations with UML-F (WP, MF, BR), pp. 188–197.
ISSTAISSTA-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.
ASEASE-2001-LeDang #automation #specification #uml
Automatic Translation from UML Specifications to B (HL), p. 436.
ASEASE-2001-LedangS #behaviour #diagrams #modelling #uml
Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.
ASEASE-2001-ShenCH #state machine #tool support #uml #validation
A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
ASEASE-2001-XieLB #execution #model checking #set #uml
Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
ASEASE-2001-ZismanK #approach #consistency #knowledge base #specification #uml
Knowledge Base Approach to Consistency Management of UML Specification (AZ, AK), pp. 359–363.
ICDARICDAR-2001-LankTCB #diagrams #online #recognition #uml
On-Line Recognition of UML Diagrams (EL, JST, SC, DB), pp. 356–360.
FASEFASE-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.
FASEFASE-2001-ClarkEK #calculus #metamodelling #semantics #uml
The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.
FASEFASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml
A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
FASEFASE-2001-FischerOW #csp #diagrams #uml
A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
FASEFASE-2001-HeckelS #collaboration #diagrams #uml
Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.
FASEFASE-2001-ReggioCA #approach #multi #semantics #towards #uml
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.
CSMRCSMR-2001-KollmannG #behaviour #collaboration #diagrams #uml
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams (RK, MG), pp. 58–67.
ICSMEICSM-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–?.
ICSMEICSM-2001-FranceBT #evolution #uml
Extending the UML to Support Evolution Management (RBF, JMB, RT), p. 106.
ICSMEICSM-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.
WCREWCRE-2001-KollmannG #design #uml
Application of UML Associations and Their Adornments in Design Recovery (RK, MG), p. 81–?.
FMFME-2001-Dupuy-ChessaB #modelling #uml #validation
Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
FMFME-2001-Pahl #component #contract #modelling #uml
Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
VISSOFTSVIS-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.
AdaEuropeAdaEurope-2001-TaylorK #ada #uml
Mapping UML to Ada (BT, EWK), pp. 359–370.
AdaSIGAda-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.
CAiSECAiSE-2001-KellerBS #design #implementation #repository #uml
Design and Implementation of a UML-Based Design Repository (RKK, JFB, GSD), pp. 448–464.
CAiSECAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
CAiSECAiSE-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.
ICEISICEIS-v2-2001-AraujoM #diagrams #uml
Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.
ICEISICEIS-v2-2001-CastelaTSG #modelling #process #uml
Business Process Modeling with UML (NC, JMT, ARdS, AG), pp. 679–685.
ICEISICEIS-v2-2001-KuzniarzP #uml
Defining Pattern Class Stereotypes in UML (LK, MP), pp. 578–582.
ICEISICEIS-v2-2001-SinogasVCNMT #modelling #process #uml
Business Processes Extensions to UML Profile for Business Modeling (PS, AV, AC, JN, RM, JMT), pp. 673–678.
SEKESEKE-2001-BergentiP #re-engineering #uml
Supporting Agent- Oriented Software Engineering with UML (FB, AP), pp. 291–298.
SEKESEKE-2001-FillottraniEK #logic programming #modelling #object-oriented #uml
Applying Logic Programming Techniques to Object-Oriented Modeling in UML (PRF, EE, SK), pp. 228–235.
UMLUML-2001-AkehurstB #modelling #ocl #on the #query #uml
On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.
UMLUML-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.
UMLUML-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.
UMLUML-2001-Beeck #formal method #uml
Formalization of UML-Statecharts (MvdB), pp. 406–421.
UMLUML-2001-BriandL #approach #testing #uml
A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.
UMLUML-2001-Damm #comprehension #uml
Understanding UML — Pains and Rewards (WD), p. 240.
UMLUML-2001-DumasH #diagrams #process #specification #uml #workflow
UML Activity Diagrams as a Workflow Specification Language (MD, AHMtH), pp. 76–90.
UMLUML-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.
UMLUML-2001-EshuisW #algorithm #execution #graph #process #uml
An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.
UMLUML-2001-GenovaLM #multi #semantics #uml
Semantics of the Minimum Multiplicity in Ternary Associations in UML (GG, JL, PM), pp. 329–341.
UMLUML-2001-GrassiM #analysis #architecture #mobile #modelling #performance #uml
UML Modelling and Performance Analysis of Mobile Software Architectures (VG, RM), pp. 209–224.
UMLUML-2001-Kuske #graph transformation #semantics #state machine #uml
A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
UMLUML-2001-LettrariK #modelling #monitoring #realtime #testing #uml
Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.
UMLUML-2001-MarcosVC #database #design #uml
Extending UML for Object-Relational Database Design (EM, BV, JMC), pp. 225–239.
UMLUML-2001-MylopoulosKC #development #uml
UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.
UMLUML-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.
UMLUML-2001-SunyePTJ #modelling #refactoring #uml
Refactoring UML Models (GS, DP, YLT, JMJ), pp. 134–148.
UMLUML-2001-WeisBGP #component #contract #metamodelling #uml
A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.
UMLUML-2001-XuandongMYJG #analysis #diagrams #process #uml
Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
UMLUML-2001-YacoubA #composition #design #design pattern #uml
UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.
OOPSLAOOPSLA-2001-RiehleFBO #architecture #uml #virtual machine
The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2001-Wills #agile #component #named #uml
UML: XP: Patterns: Components (ACW), p. 201.
TOOLSTOOLS-USA-2001-Mitchell #modelling #uml
High-Quality Modeling in UML (RM), pp. 388–389.
TOOLSTOOLS-USA-2001-Schulz #uml
Requirements-Based UML (JDS), pp. 307–316.
TOOLSTOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml
Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
PPDPPPDP-2001-Schmidt #declarative #programming #question #uml
Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.
FSEESEC-FSE-2001-LavazzaQV #modelling #realtime #uml
Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
FSEESEC-FSE-2001-Zundorf #case study #development #uml
From use cases to code---rigorous software development with UML (AZ), pp. 324–325.
ICSEICSE-2001-Campbell #analysis #diagrams #uml #visualisation
Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICSEICSE-2001-FranceK #uml
UML for Software Engineers (RBF, CK), pp. 705–706.
ICSEICSE-2001-Gomaa01a #concurrent #design #distributed #realtime #uml
Designing Concurrent, Distributed, and Real-Time Applications with UML (HG), pp. 737–738.
ICSEICSE-2001-Korson #architecture #case study #java #uml
From UML to Java, Building a 3-Tier Architecture: Case Study (TDK), pp. 735–736.
ICSEICSE-2001-KoskinenPSSK #tool support #uml
Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.
ICSEICSE-2001-MakinenS #behaviour #interactive #modelling #named #uml
MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.
ICSEICSE-2001-McUmberC #formal method #framework #uml
A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
ICSEICSE-2001-NordPSH #analysis #architecture #design #effectiveness #uml
Effective Software Architecture Design: From Global Analysis to UML Descriptions (RLN, DJP, DS, CH), pp. 741–742.
ICSEICSE-2001-SelicK #architecture #uml
Describing Software Architecture with UML (PK, BS, WK), pp. 715–716.
ICSEICSE-2001-SelicKLB #architecture #uml
Describing Software Architecture with UML (PK, BS, WK, GL, AWB), p. 777.
ICSEICSE-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.
ICSEICSE-2001-Zundorf #case study #development #uml
From Use Cases to Code — Rigorous Software Development with UML (AZ), pp. 711–712.
ASEASE-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.
ASEASE-2000-MorisioTS #analysis #uml
Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.
FASEFASE-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.
IFMIFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification
Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.
AdaEuropeAdaEurope-2000-LacommeCCN #ada #uml
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.
CAiSECAiSE-2000-DupuyLC #bibliography #specification #uml
An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.
EDOCEDOC-2000-PressoRB #named #process #uml
PILOTE: A Tool Suite to Support UML-Based Engineering Processes (MJP, GR, MB), pp. 242–251.
ICEISICEIS-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.
UMLUML-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.
UMLUML-2000-AmyotM #case study #concept #on the #uml
On the Extension of UML with Use Case Maps Concepts (DA, GM), pp. 16–31.
UMLUML-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.
UMLUML-2000-BrennerD #uml
UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.
UMLUML-2000-CasanovaWD #ocl #quality #uml
Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.
UMLUML-2000-ChabrolS #modelling #object-oriented #uml
Object Oriented Methodology based on UML for Urban Traffic System Modeling (MC, DS), pp. 425–439.
UMLUML-2000-Clarke #design #modelling #uml
Composing Design Models: An Extension to the UML (SC), pp. 338–352.
UMLUML-2000-Cook #product line #uml
The UML family: Profiles, Prefaces and Packages (SC), pp. 255–264.
UMLUML-2000-DammHTT #strict #uml
Supporting Several Levels of Restriction in the UML (CHD, KMH, MT, MT), pp. 396–409.
UMLUML-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.
UMLUML-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.
UMLUML-2000-HennickerK #design #hypermedia #uml
A UML-based Methodology for Hypermedia Design (RH, NK), pp. 410–424.
UMLUML-2000-KandeS #architecture #towards #uml
Towards a UML Profile for Software Architecture Descriptions (MMK, AS), pp. 513–527.
UMLUML-2000-Kobryn #design pattern #metamodelling #uml
Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse (CK), p. 497.
UMLUML-2000-Kwon #model checking #semantics #uml
Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.
UMLUML-2000-MirandolaC #distributed #modelling #performance #uml
UML Based Performance Modeling of Distributed Systems (RM, VC), pp. 178–193.
UMLUML-2000-MizunoSN #approach #concurrent #source code #uml
A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.
UMLUML-2000-NunesC #approach #design #interactive #towards #uml
Towards a UML profile for interaction design: the Wisdom approach (NJN, JFeC), pp. 101–116.
UMLUML-2000-OvergaardP #uml
Interacting Subsystems in UML (, KP), pp. 359–368.
UMLUML-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.
UMLUML-2000-PickinM #analysis #uml
Describing AI Analysis Patterns with UML (SP, AMR), pp. 466–481.
UMLUML-2000-RichtersG #constraints #modelling #ocl #uml #validation
Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
UMLUML-2000-Steimann #concept #uml
A Radical Revision of UML’s Role Concept (FS), pp. 194–209.
UMLUML-2000-VilainSS #diagrams #interactive #representation #uml
A Diagrammatic Tool for Representing User Interaction in UML (PV, DS, CSdS), pp. 133–147.
ECOOPECOOP-2000-FontouraPR #framework #modelling #named #object-oriented #uml
UML-F: A Modeling Language for Object-Oriented Frameworks (MF, WP, BR), pp. 63–82.
ECOOPECOOP-2000-SunyeGJ #design pattern #uml
Design Patterns Application in UML (GS, ALG, JMJ), pp. 44–62.
OOPSLAOOPSLA-2000-HarrisonBR #design #java #uml
Mapping UML designs to Java (WH, CB, MR), pp. 178–187.
TOOLSTOOLS-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.
TOOLSTOOLS-ASIA-2000-LiCC #architecture #modelling #uml #web
Modeling Web Application Architecture with UML (JL, PC, JC), pp. 265–274.
TOOLSTOOLS-EUROPE-2000-FontouraPR #adaptation #development #framework #uml
Framework Development and Adaptation with UML (MF, WP, BR), p. 469.
TOOLSTOOLS-EUROPE-2000-GilHK #modelling #uml #visual notation
Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.
TOOLSTOOLS-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–?.
TOOLSTOOLS-EUROPE-2000-KleppeW #diagrams #object-oriented #process #uml
Making UML Activity Diagrams Object-Oriented (AK, JW), pp. 288–299.
TOOLSTOOLS-EUROPE-2000-LeblancO #case study #comparative #uml
Comparative Case Study in SDL and UML (PL, IO), pp. 120–131.
TOOLSTOOLS-EUROPE-2000-ParssinenKHOT #case study #experience #protocol #uml
UML for Protocol Engineering — Extensions and Experiences (JP, NvK, JH, TO, MT), pp. 82–93.
TOOLSTOOLS-EUROPE-2000-Reenskaug #collaboration #how #uml #what #why
The What, Why and How of the UML Collaboration (TR), p. 476.
TOOLSTOOLS-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.
TOOLSTOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented #uml
Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.
TOOLSTOOLS-PACIFIC-2000-Ober #modelling #uml
More Meaningful UML Models (IO), pp. 146–157.
TOOLSTOOLS-USA-2000-ColbertL #embedded #realtime #uml
Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
TOOLSTOOLS-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–?.
TOOLSTOOLS-USA-2000-Henderson-SellersU #uml
OPEN-ing up the UML (BHS, BU), pp. 479–482.
TOOLSTOOLS-USA-2000-VaziriJ #constraints #ocl #uml
Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
TOOLSTOOLS-USA-2000-WolfIBP #modelling #object-oriented #tool support #uml
UML Tool Support: Utilization of Object-Oriented Models (MW, EI, RB, IP), pp. 529–534.
SACSAC-2000-BojicV #case study #reverse engineering #uml
Reverse Engineering of Use Case Realizations in UML (DB, DMV), pp. 741–747.
ICSEICSE-2000-GilHK #modelling #tutorial #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
ICSEICSE-2000-Gomaa #design #distributed #realtime #tutorial #uml
Designing real-time and distributed applications with the UML (tutorial session) (HG), p. 829.
ICSEICSE-2000-KohlerNNZ #diagrams #uml
Integrating UML diagrams for production control systems (HJK, UN, JN, AZ), pp. 241–251.
ISSTAISSTA-2000-HartmannIM #integration #testing #uml
UML-Based integration testing (JH, CI, MM), pp. 60–70.
WICSAWICSA-1999-HofmeisterNS #architecture #uml
Describing Software Architecture with UML (CH, RLN, DS), pp. 145–160.
ASEASE-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.
ASEASE-1999-HoJGP #framework #named #uml
UMLAUT: An Extendible UML Transformation Framework (WMH, JMJ, ALG, FP), pp. 275–278.
ASEASE-1999-LiliusP #modelling #named #uml #verification
vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.
ITiCSEITiCSE-1999-Armentrout #design #java #source code #uml
A tool for designing Java programs with UML (AA), p. 180.
FASEFASE-1999-LanoE #development #uml
Rigorous Development in UML (KL, AE), pp. 129–144.
AGTIVEAGTIVE-1999-PetriuW #architecture #modelling #performance #uml
From UML Descriptions of High-Level Software Architectures to LQN Performance Models (DCP, XW), pp. 47–62.
AGTIVEAGTIVE-1999-Schleicher #formal method #graph transformation #modelling #process #uml #using
Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.
EDOCEDOC-1999-AagedalM #enterprise #perspective #uml
ODP enterprise language: UML perspective (JØA, ZM), pp. 60–71.
EDOCEDOC-1999-BlancGD #concept #enterprise #uml #using
Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.
EDOCEDOC-1999-Linington #community #enterprise #policy #uml #using
Options for expressing ODP enterprise communities and their policies by using UML (PFL), pp. 72–82.
UMLUML-1999-BalustG #modelling #process #uml #using
Using UML for Software Process Modelling (JMRB, XF), pp. 292–307.
UMLUML-1999-BaumeisterKM #design #hypermedia #towards #uml
Towards a UML Extension for Hypermedia Design (HB, NK, LM), pp. 614–629.
UMLUML-1999-Belaunde #approach #flexibility #repository #uml
A Pragmatic Approach for Building a Flexible UML Model Repository (MB), pp. 188–203.
UMLUML-1999-Clark #diagrams #type checking #uml
Type Checking UML Static Diagrams (TC), pp. 503–517.
UMLUML-1999-DemeyerDT #uml #why
Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering (SD, SD, ST), pp. 630–644.
UMLUML-1999-DemuthH #constraints #database #design #ocl #relational #uml #using
Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.
UMLUML-1999-DSouzaSB #uml
First-Class Extensibility for UML-Profiles, Stereotypes, Patterns (DD, AS, AB), pp. 265–277.
UMLUML-1999-DykmanGK #uml
Nine Suggestions for Improving UML Extensibility (ND, MLG, RRK), pp. 236–248.
UMLUML-1999-EgyedM #architecture #integration #representation #uml
Extending Architectural Representation in UML with View Integration (AE, NM), pp. 2–16.
UMLUML-1999-EngelsHSW #collaboration #diagrams #java #uml
UML Collaboration Diagrams and their Transformation to Java (GE, RH, SS, AW), pp. 473–488.
UMLUML-1999-EvansK #approach #metamodelling #semantics #uml
Core Meta-Modelling Semantics of UML: The pUML Approach (AE, SK), pp. 140–155.
UMLUML-1999-GogollaRR #3d #animation #diagrams #towards #uml
Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
UMLUML-1999-Henderson-SellersAF #uml
A UML Variant: OML (BHS, CA, DF), pp. 49–66.
UMLUML-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.
UMLUML-1999-Hilliard #architecture #uml #using
Using the UML for Architectural Description (RH), pp. 32–48.
UMLUML-1999-Hruby #design #development #process #uml
Designing UML Based Development Processes (PH), pp. 308–323.
UMLUML-1999-KabousN #modelling #realtime #uml
Modeling Hard Real Time Systems with UML (LK, WN), pp. 339–355.
UMLUML-1999-Kahkipuro #distributed #framework #modelling #object-oriented #performance #uml
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems (PK), pp. 356–371.
UMLUML-1999-KimC #diagrams #formal method #uml #using
Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.
UMLUML-1999-Knapp #interactive #semantics #uml
A Formal Semantics for UML Interactions (AK), pp. 116–130.
UMLUML-1999-LiL #analysis #diagrams #sequence chart #uml
Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
UMLUML-1999-MatthesWB #component #modelling #uml
Modeling Dynamic Software Components with UML (FM, AW, MB), pp. 204–219.
UMLUML-1999-OffuttA #generative #specification #testing #uml
Generating Tests from UML Specifications (AJO, AA), pp. 416–429.
UMLUML-1999-PaltorL #formal method #model checking #state machine #uml
Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
UMLUML-1999-PetreBP #case study #contract #uml
Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
UMLUML-1999-RaczK #diagrams #uml
Tool-Supported Compressing of UML Class Diagrams (FDR, KK), pp. 172–187.
UMLUML-1999-SendallS #analysis #case study #uml
UML Based Fusion Analysis Applied to a Bank Case Study (SS, AS), pp. 278–291.
UMLUML-1999-Sourrouille #behaviour #implementation #inheritance #object-oriented #uml
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages (JLS), pp. 457–472.
UMLUML-1999-SuzukiY #component #modelling #uml
Extending UML for Modelling Reflective Software Componentsa (JS, YY), pp. 220–235.
OOPSLAOOPSLA-1999-France #analysis #concept #modelling #problem #requirements #uml
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.
TOOLSTOOLS-ASIA-1999-LiQ #testing #uml
Test Selection from UML Statecharts (LL, ZQ), pp. 273–281.
TOOLSTOOLS-ASIA-1999-LuZL #modelling #object-oriented #requirements #uml
Object-Oriented Requirements Modeling Based on UML (ML, XZ, ML), p. 133–?.
TOOLSTOOLS-ASIA-1999-XieYL #simulation #uml
Applying UML to Gas Turbine Engine Simulation (ZX, JY, JL), pp. 458–464.
TOOLSTOOLS-EUROPE-1999-Henderson-Sellers99b #uml
Introduction to the OPEN Method with UML (BHS), p. 399.
TOOLSTOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation #uml
Analysis by Contract: UML with Attitude! (RM), p. 407.
TOOLSTOOLS-EUROPE-1999-RumpeBK #re-engineering #uml
Applied Software Engineering Principles for UML (BR, RB, IK), p. 410.
TOOLSTOOLS-PACIFIC-1999-CookKWMRW #product line #uml #using
Defining UML Family Members Using Prefaces (SC, AK, JW, RM, BR, ACW), pp. 102–114.
TOOLSTOOLS-PACIFIC-1999-FavreC #algebra #specification #uml
Integrating UML and Algebraic Specification Techniques (LF, SC), pp. 151–162.
TOOLSTOOLS-USA-1999-Farfarakis #named #realtime #uml
Octopus/UML: Combining Objects with Real-Time (RF), pp. 479–489.
TOOLSTOOLS-USA-1999-GilHK #constraints #diagrams #uml
Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.
TOOLSTOOLS-USA-1999-Henderson-Sellers99a #uml
Introduction to the OPEN Method with UML (BHS), p. 504.
TOOLSTOOLS-USA-1999-Mitchell #analysis #contract #uml
Analysis by Contract or UML with Attitude (RM), p. 465–?.
TOOLSTOOLS-USA-1999-Wasserman #tool support #uml
Features of UML Tools (TW), p. 522.
RERE-1999-Spence #case study #process #requirements #uml
Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.
ESECESEC-FSE-1999-JagerSW #modelling #process #uml #using
Using UML for Software Process Modeling (DJ, AS, BW), pp. 91–108.
ICSEICSE-1999-SchaferZ #c++ #design pattern #java #uml
Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.
ICGTTAGT-1998-SchurrW #graph grammar #term rewriting #uml
UML Packages for PROgrammed Graph REwriting Systems (AS, AJW), pp. 396–409.
EDOCEDOC-1998-Iyengar #architecture #repository #uml #using
A universal repository architecture using the OMG UML and MOF (SSI), pp. 35–44.
EDOCEDOC-1998-Kobryn #architecture #enterprise #modelling #uml #using
Modeling enterprise software architectures using UML (CK), pp. 25–34.
EDOCEDOC-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.
EDOCEDOC-1998-OldevikB #distributed #uml
UML-based methodology for distributed systems (JO, AJB), pp. 2–13.
EDOCEDOC-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.
SIGIRSIGIR-1998-EichmannRS #information retrieval
Cross-Language Information Retrieval with the UMLS Metathesaurus (DE, MER, PS), pp. 72–80.
UMLUML-1998-Allen #framework #uml
A Practical Framework for Applying UML (PA), pp. 419–433.
UMLUML-1998-ArlowEQ #modelling #uml
Literate Modelling — Capturing Business Knowledge with the UML (JA, WE, JQ), pp. 189–199.
UMLUML-1998-ArnoldP #uml
Best of Both Worlds — A Mapping from EXPRESS-G to UML (FA, GP), pp. 49–63.
UMLUML-1998-Atkinson #concept #framework #uml
Supporting and Applying the UML Conceptual Framework (CA), pp. 21–36.
UMLUML-1998-BezivinM #modelling #named #standard #uml
UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.
UMLUML-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.
UMLUML-1998-EvansFLR #formal method #modelling #uml
The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
UMLUML-1998-GogollaR #diagrams #uml
Transformation Rules for UML Class Diagrams (MG, MR), pp. 92–106.
UMLUML-1998-Henderson-Sellers #named #uml
OML: Proposals to Enhance UML (BHS), pp. 349–364.
UMLUML-1998-HitzK #uml
Developing with UML — Some Pitfalls and Workarounds (MH, GK), pp. 9–20.
UMLUML-1998-Hruby #design #uml
Structuring UML Design Deliverables (PH), pp. 278–293.
UMLUML-1998-KandeMPSW #design #uml
Applying UML to Design an Inter-domain Service Management Application (MMK, SM, OP, LS, MW), pp. 200–214.
UMLUML-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.
UMLUML-1998-Kivisto #process #uml
Considerations of and Suggestions for a UML-Specific Process Model (KK), pp. 294–306.
UMLUML-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.
UMLUML-1998-KorthausK #development #process #uml
BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML (AK, SK), pp. 215–226.
UMLUML-1998-Kovacevic #modelling #uml #user interface
UML and User Interface Modeling (SK), pp. 253–266.
UMLUML-1998-LanoB #modelling #semantics #uml
Semantics and Transformations for UML Models (KL, JB), pp. 107–119.
UMLUML-1998-LanusseGT #approach #modelling #realtime #uml
Real-Time Modeling with UML: The ACCORD Approach (AL, SG, FT), pp. 319–335.
UMLUML-1998-LesterWB #reuse #uml
Applying UML Extensions to Facilitate Software Reuse (NGL, FGW, DWB), pp. 393–405.
UMLUML-1998-MellorTAL #execution #precise #semantics #uml
An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
UMLUML-1998-MensLS #evolution #modelling #reuse #uml
Supporting Disciplined Reuse and Evolution of UML Models (TM, CL, PS), pp. 378–392.
UMLUML-1998-OliveS #case study #experience #migration #uml
Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.
UMLUML-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.
UMLUML-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.
UMLUML-1998-SaksenaLFE #uml
Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.
UMLUML-1998-SeemannG #diagrams #realtime #sequence chart #uml
Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
UMLUML-1998-SuzukiY #modelling #uml
Making UML Models Interoperables with UXF (JS, YY), pp. 78–91.
TOOLSTOOLS-ASIA-1998-GeZYZ #development #uml
A Development and Management Environment Based on UML (KG, LZ, SY, BZ), pp. 214–221.
TOOLSTOOLS-PACIFIC-1998-WatkinsDT #case study #uml
From UML to IDL: A Case Study (DW, MD, DT), p. 141–?.
TOOLSTOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml
Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
LCTESLCTES-1998-Selic #modelling #realtime #uml #using
Using UML for Modeling Complex Real-Time Systems (BS), pp. 250–260.
EDOCEDOC-1997-AagedalB #uml
ODP-Based QoS-Support in UML (JØA, AJB), pp. 310–321.
UMLUML-1997-BergnerRS #uml
A Critical Look upon UML 1.0 (KB, AR, MS), pp. 79–92.
UMLUML-1997-BreuGHRS #modelling #uml
Systems, Views and Models of UML (RB, RG, FH, BR, WS), pp. 93–108.
UMLUML-1997-Flatscher #uml
Exchange of UML-Models with EIA/CDIF (RF), pp. 3–13.
UMLUML-1997-GogollaR #constraints #on the #query #uml
On Constraints and Queries in UML (MG, MR), pp. 109–121.
UMLUML-1997-Holz #architecture #uml
Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.
UMLUML-1997-Kern-BauschJ #concept #semantics #uml
From a Semantically Irreducible Formulated Conceptual Schema to an UML Model (LKB, MJ), pp. 32–44.
UMLUML-1997-Korthaus #modelling #uml #using
Using UML for Business Object Based Systems Modeling (AK), pp. 220–237.
UMLUML-1997-Muller-Ettrich #development #uml
System Development with V-Model and UML (GME), pp. 238–249.
UMLUML-1997-NuttgensFZ #integration #modelling #process #question #uml
Business Process Modeling with EPC and UML: Transformation or Integration? (MN, TF, VZ), pp. 250–261.
UMLUML-1997-Ou #on the #uml
On Mapping Between UML and Entity-Relationship Model (YO), pp. 45–57.
UMLUML-1997-Prasse #comparison #evaluation #modelling #object-oriented #uml
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML (MP), pp. 58–75.
UMLUML-1997-SchaderK #java #modelling #thread #uml
Modeling Java Threads in UML (MS, AK), pp. 122–143.
UMLUML-1997-SchroffT #uml
Conventions for the Practical Use of UML (AS, AT), pp. 262–270.
UMLUML-1997-SchurrW #concept #uml
Formal Definition of UML’s Package Concept (AS, AJW), pp. 144–159.
UMLUML-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.
UMLUML-1997-WolfBP #process #re-engineering #uml
Software Engineering Process with the UML (MW, RB, IP), pp. 271–280.
TOOLSTOOLS-USA-1997-AllenHF #uml #unification
Method Unification: UML and OML (RA, BHS, DF), p. 372.

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