Tag #uml
947 papers:
MSR-2019-RaghuramanHCSV #empirical #fault #modelling- Does UML modeling associate with lower defect proneness?: a preliminary empirical investigation (AR, THQ, MRVC, AS, BV), pp. 101–104.
SANER-2019-ArcelliCP #automation #detection #modelling #performance #refactoring- Automating Performance Antipattern Detection and Software Refactoring in UML Models (DA, VC, DDP), pp. 639–643.
MoDELS-2019-BesnardTJ0D19a #approach #automaton #modelling #monitoring #verification- Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach (VB, CT, FJ, MB0, PD), pp. 161–171.
- MoDELS-2019-PouraliA19a #approach #challenge #debugging #editing #modelling
- A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models (PP, JMA), pp. 183–193.
ASE-2019-AhmadiJD #named #state machine #testing- mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines (RA, KJ, JD), pp. 1182–1185.
- ASE-2019-BagherzadehJKD #execution #modelling #named
- PMExec: An Execution Engine of Partial UML-RT Models (MB, KJ, NK, JD), pp. 1178–1181.
ICSA-2018-CortellessaET #architecture #bidirectional #co-evolution #model transformation #modelling #petri net- Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models (VC, RE, MT0), pp. 125–134.
- SANER-2018-JolakLSC #concurrent #interactive #modelling #multi #named #visualisation
- OctoBubbles: A Multi-view interactive environment for concurrent visualization and synchronization of UML models and code (RJ, KDL, KBS, MRVC), pp. 482–486.
ECMFA-2018-AhmadiHD #modelling #testing- Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.
- ECMFA-2018-BertoaMBBTV #data type #metric #nondeterminism #ocl
- Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
- ECMFA-2018-ZolotasWGRKP #automation #editing #generative #papyrus #towards #visual notation
- Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.
- MoDELS-2018-AhmadiPD #embedded #modelling #realtime #slicing
- Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
- MoDELS-2018-BesnardBJTD #embedded #execution #ltl #modelling #verification
- Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
- MoDELS-2018-ShinCNSBZ #analysis #framework #named #physics #testing
- HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
SLE-2018-RiesCG #approach #named #requirements- Messir: a text-first DSL-based approach for UML requirements engineering (BR, AC, NG), pp. 103–107.
CSEET-2017-LiebelBH #case study #education #modelling #multi #re-engineering #tool support- Model Driven Software Engineering in Education: A Multi-Case Study on Perception of Tools and UML (GL, OB, RH), pp. 124–133.
- MSR-2017-RoblesHHCF #dataset #git #modelling
- An extensive dataset of UML models in GitHub (GR, THQ, RH, MRVC, MAF), pp. 519–522.
- IFM-2017-Wu #consistency #constraints #diagrams #named
- MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams (HW0), pp. 348–356.
- ECMFA-2017-AddaziCLP #hybrid #modelling #towards
- Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (LA, FC, PL, EP), pp. 20–33.
- ECMFA-2017-GogollaHNW #diagrams #independence #verification
- Formulating Model Verification Tasks Prover-Independently as UML Diagrams (MG, FH, PN, RW), pp. 232–247.
- ECMFA-2017-Kraas #automation #on the
- On the Automated Derivation of Domain-Specific UML Profiles (AK), pp. 3–19.
- MoDELS-2017-BeckmannMSV #diagrams #process
- Removal of Redundant Elements within UML Activity Diagrams (MB, VNM, AS, AV), pp. 334–343.
- ICSE-2017-FaitelsonT #case study #diagrams #refinement
- UML diagram refinement (focusing on class- and use case diagrams) (DF, SST), pp. 735–745.
- SLE-2017-Seidewitz #development
- A development environment for the Alf language within the MagicDraw UML tool (ES), pp. 217–220.
FASE-2017-AlvinPM #diagrams #generative #named #sequence chart- StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.
TAP-2017-GogollaHDD #behaviour #ocl- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms (MG, FH, KHD, ND0), pp. 119–128.
- CSEET-2016-HeroutB #automation #diagrams #student #validation
- UML-Test Application for Automated Validation of Students' UML Class Diagram (PH, PB), pp. 222–226.
- CSEET-2016-WeiDCS #concept #education #framework #graph #modelling #requirements
- A Conceptual Graphs Framework for Teaching UML Model-Based Requirements Acquisition (BW, HSD, EC, CS), pp. 71–75.
ICSME-2016-DeckerSCM #diagrams #reverse engineering- A Tool for Efficiently Reverse Engineering Accurate UML Class Diagrams (MJD, KS, MLC, JIM), pp. 607–609.
VS-Games-2016-LopeM #education #game studies #using- Using UML to Model Educational Games (RPdL, NMM), pp. 1–4.
- ECMFA-2016-AllonVCC #reuse
- Isolating and Reusing Template Instances in UML (MA, GV, BC, OC), pp. 173–187.
- MoDELS-2016-HebigHCRF #git #mining #open source
- The quest for open source projects that use UML: mining GitHub (RH, THQ, MRVC, GR, MAF), pp. 173–183.
SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #verification- Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
- SEFM-2015-DawC #diagrams #process #semantics
- An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
CAiSE-2015-EstanolST #modelling #process #validation #verification- Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
ICEIS-v2-2015-KhlifKKD #approach #architecture #multi- A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
- ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process
- A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
- ICEIS-v2-2015-PereiraBD #formal method
- Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
- ICEIS-v2-2015-PereiraD #formal method #logic #semantics #using
- Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
SEKE-2015-KchaouBB #modelling- CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
- MoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance
- A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.
- ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #validation #verification
- Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
- ECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support
- Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
ICMT-2015-HilkenNGW #concept #modelling #ocl #validation #verification- From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
- MoDELS-2015-AhmarGDP #communication #modelling #visual notation
- Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
- MoDELS-2015-DasD #state machine
- State machine antipatterns for UML-RT (TKD, JD), pp. 54–63.
- MoDELS-2015-Fernandez-SaezC #documentation #industrial #maintenance #on the #overview #using
- On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.
- MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl
- Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
SPLC-2015-DomisAB #analysis #modelling #safety #tool support #using #variability- Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
ICSE-v2-2015-Kallehbasti #modelling #scalability #verification- Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
SAC-2015-CostaCFR #diagrams #modelling #precise- From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
- SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling
- Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.
- SLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #on the #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.
DAC-2015-PetersWPKD #constraints #modelling #representation- A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
- FASE-2015-KnappMRG #state machine
- An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.
ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing- MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
- ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #using
- Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.
- TAP-2015-GogollaHHS #case study #consistency #experience #ocl
- Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.
- TAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing
- Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
ITiCSE-2014-StrieweG #assessment #automation #diagrams #process- Automated assessment of UML activity diagrams (MS, MG), p. 336.
- ICSME-2014-KhanIA #approach #behaviour #heuristic #state machine
- A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
IFM-2014-AbbasBR #modelling- Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.
- IFM-2014-MellerGY #behaviour #verification
- Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.
- SEFM-2014-RodriguezFHM #erlang #execution #state machine #verification
- Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
- ICEIS-v2-2014-MeloS #design #modelling #using
- Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
CIKM-2014-CalvaneseMET #modelling #process- Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
KEOD-2014-OlszewskaSM #design #ontology #owl #using- Dynamic OWL Ontology Design Using UML and BPMN (JIO, RMS, TLM), pp. 436–444.
- SEKE-2014-CostaMM #detection #diagrams #equivalence #semantics
- Detecting Semantic Equivalence in UML Class Diagrams (VOC, RM, LM), pp. 318–323.
- SEKE-2014-HuHCC #diagrams #execution #model transformation
- Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the- On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
- ICMT-2014-HilkenHG #modelling #ocl
- Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
- MoDELS-2014-BergmayrGWK #java #named
- JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.
- MoDELS-2014-EnriciAP #approach #communication #modelling
- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
- MoDELS-2014-MaraeeB #diagrams
- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
- MoDELS-2014-ReggioLR #overview #what
- Who Knows/Uses What of the UML: A Personal Opinion Survey (GR, ML, FR), pp. 149–165.
- MoDELS-2014-SoltanaFASB #approach #case study #modelling #using
- Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
- MoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality
- On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.
- MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics
- Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
HILT-2014-Seidewitz #execution #modelling- UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
- ASE-2014-KuschkeM #modelling #process
- Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
- ASE-2014-MaYHC #modelling #web
- A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
- SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime
- Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
- TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #verification
- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
- TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #using
- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
CSMR-2013-BagnatoSBV #case study #industrial #internet #testing- The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.
ICPC-2013-FalconeS #diagrams #eclipse #graph #named #plugin #visualisation- OnionUML: An Eclipse plug-in for visualizing UML class diagrams in onion graph notation (MF, BS), pp. 233–235.
- IFM-2013-LiuLACSWD #semantics #state machine
- A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
- ICEIS-v1-2013-BimonteBPK #design #implementation #modelling #multi
- Design of Complex Spatio-multidimensional Models with the ICSOLAP UML Profile — An Implementation in MagicDraw (SB, KB, FP, MAK), pp. 310–315.
- ICEIS-v2-2013-Ramos #constraints #database #sql
- Deontic Database Constraints — From UML to SQL (PNR), pp. 102–109.
- SEKE-2013-AnchietaSM #case study #diagrams #identification #prototype #user interface #using
- Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases (RTA, RFdS, RSM), pp. 48–53.
- MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi
- Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
- MoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #using
- Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
- MoDELS-2013-ChavezSFM #approach #implementation #java #testing
- An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
- MoDELS-2013-HamannG #concept #metamodelling #semantics
- Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
- MoDELS-2013-SunFR #modelling #slicing
- Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
- MoDELS-2013-WendlandSH #evolution #interactive #metamodelling
- Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.
- MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #using
- Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
REFSQ-2013-WauteletK #modelling- Mapping i* within UML for Business Modeling (YW, MK), pp. 237–252.
ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine- USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
- ICSE-2013-Ciccozzi #modelling
- From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
- ICSE-2013-Petre
- UML in practice (MP), pp. 722–731.
- SAC-2013-BakreBE #approach #interactive
- Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.
- SAC-2013-LaurentBG #debugging #modelling
- Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
DATE-2013-SeiterWSD #ocl #specification #verification- Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support- Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
- TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support
- Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
- ICPC-2012-NogueraRKJ #query
- Code querying by UML (CN, CDR, AK, VJ), pp. 229–238.
- ICPC-2012-SohSPPGA #comprehension #diagrams #empirical
- Professional status and expertise for UML class diagram comprehension: An empirical study (ZS, ZS, BVdP, GCP, YGG, GA), pp. 163–172.
FM-2012-GrumbergMY #behaviour #model checking #modelling- Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
- IFM-2012-GarisPCR #alloy #protocol #specification #state machine
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
SFM-2012-Selic - The Less Well Known UML — A Short User Guide (BS), pp. 1–20.
- ICEIS-v1-2012-BoulilBP #approach #ocl #quality
- A UML & Spatial OCL based Approach for Handling Quality Issues in SOLAP Systems (KB, SB, FP), pp. 99–104.
- ICEIS-v2-2012-HanadaOKM #java #ml #ocl
- Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
- SEKE-2012-CorreaSSA #modelling #rest #testing #web #web service
- Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
- SEKE-2012-GrunwaldM #approach #named #owl
- umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
- SEKE-2012-NarkngamL #diagrams #domain-specific language #process
- Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
- ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing
- Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
- ECMFA-2012-GeP #framework #realtime #safety #verification
- Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
- ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #validation
- Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
- ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #verification
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
- ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation
- A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
- ECMFA-2012-Seidewitz #execution #manycore
- Executable UML: From Multi-domain to Multi-core (ES), p. 1.
- ECMFA-2012-Zhang #aspect-oriented #modelling #state machine
- Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.
- MoDELS-2012-HumaGEJ #automation #towards
- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
- MoDELS-2012-IqbalAYB #case study #experience #industrial
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- MoDELS-2012-KuhlmannG #logic #ocl #relational
- From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
- MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation
- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
- MoDELS-2012-NoyritGS #metamodelling #named
- FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.
- MoDELS-2012-SchulzeCA #approach #modelling
- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
TOOLS-EUROPE-2012-OchoaJC - Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #verification- UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
- ICSE-2012-Mayerhofer #debugging #modelling #testing
- Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
- ICSE-2012-Motta #modelling #multi #towards #verification
- Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.
- SAC-2012-CunhaFS #ocl #relational
- From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.
- SAC-2012-ZurowskaD #execution #state machine #symbolic computation
- Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
- DATE-2012-EbeidFQS #design #embedded #modelling #refinement
- Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.
- DATE-2012-SoekenWD #invariant #modelling #ocl
- Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
- DATE-2012-WilleSD #consistency #debugging #modelling #ocl
- Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.
FoSSaCS-2012-CaliGOP #diagrams #query- Querying UML Class Diagrams (AC, GG, GO, AP), pp. 1–25.
- ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #using
- Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
- TAP-2012-BroschEGKSTWW #diagrams #testing #towards
- Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
- TAP-2012-BruningGHK #debugging #modelling #ocl
- Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
ECSA-2011-AdersbergerP #architecture #consistency #named #traceability- ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking (JA, MP), pp. 344–359.
- ECSA-2011-JrCCGOFMG #architecture #component #lessons learnt #product line
- Extending UML Components to Develop Software Product-Line Architectures: Lessons Learned (ACCJ, GGC, TEC, IMdSG, EAOJ, SF, PCM, AFG), pp. 130–138.
- CSEET-2011-LethbridgeMFB #education #programming #using
- Teaching UML using umple: Applying model-oriented programming in the classroom (TCL, GM, AF, OBB), pp. 421–428.
- ITiCSE-2011-StrieweG #automation #diagrams
- Automated checks on UML diagrams (MS, MG), pp. 38–42.
- CSMR-2011-CoteH #requirements #tool support
- A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
- ICSM-2011-Sharif #architecture #assessment #diagrams #empirical
- Empirical assessment of UML class diagram layouts based on architectural importance (BS), pp. 544–549.
- SEFM-2011-GarisCR #alloy #diagrams #ocl #specification
- Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
GT-VMT-2011-BoronatM #automation #case study #maude- Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
EDOC-2011-BruningG #execution #metamodelling #modelling #workflow- UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.
- ICEIS-J-2011-BajwaC #modelling #natural language #specification
- From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.
- ICEIS-v3-2011-NiZY #analysis
- Analysis of Requirement Capture based on UML (TN, ZZ, YY), pp. 313–317.
- SEKE-2011-GuedesV #analysis #case study #metamodelling #multi #requirements #validation
- Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study (GTAG, RMV), pp. 746–751.
- SEKE-2011-Krishna #approach #non-functional #process #requirements
- A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
- SEKE-2011-PossompesDHT #design #diagrams #feature model #implementation
- Design of a UML profile for feature diagrams and its tooling implementation (TP, CD, MH, CT), pp. 693–698.
- SEKE-2011-SilveiraRZCVO #generative #modelling #performance #testing
- Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.
- ICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine
- From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
- ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards
- Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.
- ECMFA-2011-Vallecillo
- Improving Naming and Grouping in UML (AV), pp. 345–360.
- ECMFA-2011-YueAB #automation #case study #state machine #testing
- Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
- MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #using
- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
- MoDELS-2011-BavotaGOLTGC #comprehension #diagrams #identification
- Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.
- MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #using
- Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.
- MoDELS-2011-ElaasarL #case study #diagrams
- Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
- MoDELS-2011-Kraemer #android #process
- Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
- MoDELS-2011-MoffettBD #consistency #model checking #protocol #using #verification
- Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.
- TOOLS-EUROPE-2011-LangerWWC #emf
- From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.
AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #realtime- Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.
QAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety- QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.
RE-2011-CoteHSH #analysis #named #problem #requirements- UML4PF — A tool for problem-oriented requirements analysis (IC, MH, HS, DH), pp. 349–350.
- RE-2011-OhashiKTY #development #traceability
- A means of establishing traceability based on a UML model in business application development (KO, HK, YT, RY), pp. 279–284.
- ASE-2011-ZurowskaD #analysis #modelling #named
- SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.
- ESEC-FSE-2011-MontrieuxWY #data access #specification #tool support #verification
- Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.
GTTSE-2011-MikhaielTNSX #difference #modelling- Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
- ICSE-2011-Jurjens #automation #evolution #modelling #security
- Automated security hardening for evolving UML models (JJ), pp. 986–988.
- SAC-2011-KimDB #dependence #diagrams #identification #state machine
- Identifying properties of UML state machine diagrams that affect data and control dependence (HK, VD, DHB), pp. 1464–1469.
- SAC-2011-PorresR #behaviour #interface #modelling #rest #web #web service
- Modeling behavioral RESTful web service interfaces in UML (IP, IR), pp. 1598–1605.
- DATE-2011-SoekenWD #aspect-oriented #modelling #verification
- Verifying dynamic aspects of UML models (MS, RW, RD), pp. 1077–1082.
- DATE-2011-SunYW #co-evolution #design #framework #network
- A UML 2-based hardware-software co-design framework for body sensor network applications (ZS, CTY, WFW), pp. 1505–1508.
- DATE-2011-VidalLGDG #configuration management #design #implementation
- Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation (JV, FdL, GG, JPD, SG), pp. 1208–1211.
- ICTSS-2011-CastillosDJT #modelling #ocl #testing
- Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.
- TAP-2011-SoekenWD #data type #encoding #modelling #ocl #satisfiability #verification
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.
QoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #process #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.
- CSEET-2010-IshiiSFF #education #modelling #programming #social
- Fostering UML Modeling Skills and Social Skills through Programming Education (NI, YS, HF, TF), pp. 25–32.
- ITiCSE-2010-BorstlerDRTHW #modelling
- Sharing and discussing UML modeling exercises in a PLE (JB, DD, ER, ST, MH, SW), p. 301.
- ICSM-2010-DamW #co-evolution #modelling
- Supporting change propagation in UML models (HKD, MW), pp. 1–10.
- MSR-2010-NugrohoCA #design #java #metric #predict
- Assessing UML design metrics for predicting fault-prone classes in a Java system (AN, MRVC, EA), pp. 21–30.
- IFM-2010-LanoR #model transformation #specification #using #verification
- Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
- ICEIS-ISAS-2010-BoubakerBB #specification
- Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
- ICEIS-ISAS-2010-ScannielloGT #industrial #maintenance #modelling #overview
- Investigating the Role of UML in the Software Modeling and Maintenance — A Preliminary Industrial Survey (GS, CG, GT), pp. 141–148.
- SEKE-2010-GuedesV #multi #requirements
- A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems Project (GTAG, RMV), p. 2833.
- SEKE-2010-ParkHK #diagrams #sequence chart #verification
- Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
- ECMFA-2010-Balderas-ContrerasGC #algorithm
- A UML 2.0 Profile to Model Block Cipher Algorithms (TBC, GRG, RC), pp. 20–31.
- MoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling
- Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
- MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing
- Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
- MoDELS-v1-2010-NoyritGTS #consistency #modelling #multi #using
- Consistent Modeling Using Multiple UML Profiles (FN, SG, FT, BS), pp. 392–406.
- MoDELS-v1-2010-Pardillo #overview
- A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.
- MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling
- Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
- MoDELS-v2-2010-LanoR #model transformation #modelling #slicing #using
- Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
- SPLC-2010-AzevedoMBR #variability
- The UML “extend” Relationship as Support for Software Variability (SA, RJM, AB, HR), pp. 471–475.
SIGAda-2010-Pettit #ada #concurrent #design #embedded #realtime #using- Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
- ASE-2010-RederE #design #detection #fault #named #visualisation
- Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.
- ASE-2010-ShaikhCWM #modelling #ocl #slicing
- Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
- ICSE-2010-Cruz #case study #fault #metric #predict
- Exploratory study of a UML metric for fault prediction (AECC), pp. 361–364.
- ICSE-2010-ErfurthR #aspect-oriented #named #requirements
- CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
- SAC-2010-JuniorPC #aspect-oriented #empirical #evaluation #framework #overview
- An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks (JUJ, RDP, VVdC), pp. 2289–2296.
- DATE-2010-MischkallaH0 #modelling #simulation #synthesis
- Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.
- DATE-2010-SoekenWKGD #modelling #ocl #satisfiability #using #verification
- Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.
- DATE-2010-VidalLGDS #configuration management #design #embedded #multi
- UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
- ICST-2010-PorresR #contract #nondeterminism #protocol
- From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
- ICST-2010-Rahimi #model transformation #specification
- Specification of UML Model Transformations (SKR), pp. 323–326.
- ICST-2010-Weissleder #state machine #test coverage
- Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
WICSA-ECSA-2009-Konemann #concept #modelling #tool support- Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
- ITiCSE-2009-MarcosFM #education
- The two states of the mind to teach UML (LdM, FF, JJM), p. 361.
- CSMR-2009-LuciaFST #concurrent #fine-grained #modelling #version control
- Concurrent Fine-Grained Versioning of UML Models (ADL, FF, GS, GT), pp. 89–98.
- ICPC-2009-SharifM #comprehension #diagrams #empirical
- An empirical study on the comprehension of stereotyped UML class diagram layouts (BS, JIM), pp. 268–272.
- FM-2009-LausdahlLL #tool support
- Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
- FM-2009-SaidBS #refinement #state machine #tool support
- Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.
- IFM-2009-CabotCR #contract #ocl #verification
- Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
VISSOFT-2009-SharifM #comprehension #diagrams #empirical #layout- The effect of layout on the comprehension of UML class diagrams: A controlled experiment (BS, JIM), pp. 11–18.
- CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #using
- Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
- CAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #verification
- Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
- CAiSE-2009-QueraltT #concept #reasoning
- Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.
- ICEIS-AIDSS-2009-RaimbaultGL #diagrams #information management #using
- Using UML Class Diagram as a Knowledge Engineering Tool (TR, DG, SL), pp. 60–65.
- CIKM-2009-ZhangMCM #fuzzy #learning #ontology #semantics #web
- Fuzzy semantic web ontology learning from fuzzy UML model (FZ, ZMM, JC, XM), pp. 1007–1016.
- KEOD-2009-HermidaRMP #case study #modelling #ontology #owl #reuse
- Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.
- SEKE-2009-HauboldBG #code generation #metamodelling #object-oriented
- A Pragmatic UML-based Meta Model for Object-oriented Code Generation (TH, GB, WG), pp. 733–738.
- ECMDA-FA-2009-CharfiSS #editing #hybrid #visual notation
- A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
- ECMDA-FA-2009-ChenM #consistency #guidelines
- A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
- MoDELS-2009-CuccuruRGT #classification #parametricity
- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
- MoDELS-2009-DawV #modelling #process #state machine
- Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
- MoDELS-2009-DrusinskyS #logic #using
- Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
- MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #verification
- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
- MoDELS-2009-NugrohoC #case study #industrial #modelling #quality
- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.
- MoDELS-2009-ShoushaBL #analysis #concurrent #detection
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
- MoDELS-2009-Weissleder #industrial #modelling #state machine #testing
- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.
- MoDELS-2009-CuccuruRGT #classification #parametricity
- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
- MoDELS-2009-DawV #modelling #process #state machine
- Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
- MoDELS-2009-DrusinskyS #logic #using
- Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
- MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #verification
- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
- MoDELS-2009-NugrohoC #case study #industrial #modelling #quality
- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.
- MoDELS-2009-ShoushaBL #analysis #concurrent #detection
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
- MoDELS-2009-Weissleder #industrial #modelling #state machine #testing
- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.
- TOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #using
- Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.
- TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling
- Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
- AdaEurope-2009-SaezTGC #ada #implementation #state machine
- Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.
- RE-2009-GrossD #diagrams #process #requirements
- EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
- ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements
- An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
- SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #validation
- Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
- SAC-2009-ChavezSL #approach #detection
- An approach to detection of UML-based ownership violation (HMC, WS, SL), pp. 541–542.
- SAC-2009-ChoppyR #state machine
- A method for developing UML state machines (CC, GR), pp. 382–388.
- SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process
- Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
- SAC-2009-PrazeresTMP #mvc #semantics #web #web service
- Semantic web services: from OWL-S via UML to MVC applications (CVSP, CACT, EVM, MdGCP), pp. 675–680.
- DATE-2009-ArpinenKSHH #automation #integration #modelling
- Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA (TA, TK, ES, TDH, MH), pp. 244–249.
- DATE-2009-SchattkowskyXM
- A UML frontend for IP-XACT-based IP management (TS, TX, WM), pp. 238–243.
- DATE-2009-VidalLGSD #approach #co-evolution #code generation #design #embedded #modelling
- A co-design approach for embedded system modeling and code generation with UML and MARTE (JV, FdL, GG, PS, JPD), pp. 226–231.
- ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #using
- Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
- ICST-2009-NodlerNG #assurance #flexibility #framework #java #quality #specification
- A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (JN, HN, JG), pp. 101–110.
- TAP-2009-GogollaKH #consistency #independence #modelling #ocl
- Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
- QoSA-2008-CortellessaPSV #analysis #architecture #framework #modelling #named #performance #platform
- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis (VC, PP, RS, AV), pp. 86–102.
- CSMR-2008-LuciaGOT #diagrams #maintenance #modelling #process
- Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models (ADL, CG, RO, GT), pp. 173–182.
- ICPC-2008-LuciaGOT #comparison #comprehension #diagrams #empirical
- Data Model Comprehension: An Empirical Comparison of ER and UML Class Diagrams (ADL, CG, RO, GT), pp. 93–102.
WCRE-2008-AlalfiCD #database #diagrams #named #relational #reverse engineering #sql #xmi- SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas (MHA, JRC, TRD), pp. 187–191.
- GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
- GT-VMT-2008-RensinkK #diagrams #graph #on the #semantics
- On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
SOFTVIS-2008-DachseltFD #sketching #tool support- Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.
- SOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout
- Automatic layout of UML use case diagrams (HE), pp. 105–114.
- SOFTVIS-2008-FrischDB #diagrams #semantics #towards
- Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.
- CAiSE-2008-QueraltT #constraints #decidability #reasoning
- Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
- EDOC-2008-Berre #metamodelling #named #standard
- UPMS — UML Profile and Metamodel for Services — an Emerging Standard (AJB).
- ICEIS-ISAS1-2008-IdaniC #towards
- Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.
- ICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence
- Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
- SEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive
- Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
- SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #visual notation
- Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
- ECMDA-FA-2008-Barbier #runtime #state machine
- Supporting the UML State Machine Diagramsat Runtime (FB), pp. 338–348.
- ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards
- From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
- ECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #semantics
- Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
- ICMT-2008-AmstelBPV #algebra #modelling #process #question #semantic gap #state machine
- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? (MvA, MvdB, ZP, TV), pp. 61–75.
- ICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #weaving
- Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
- MoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification
- Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
- MoDELS-2008-CraneD #execution #formal method #modelling #set #towards
- Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
- MoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart
- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
- MoDELS-2008-Gessenharter #code generation #java #semantics
- Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
- MoDELS-2008-McIntoshHS #3d #diagrams #named #state machine
- X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
- MoDELS-2008-NugrohoFC #analysis #empirical #fault #modelling
- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.
- MoDELS-2008-Ramos #constraints #relational
- Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
- MoDELS-2008-RosseboR #composition #policy #specification #using
- Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
- MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based
- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
- MoDELS-2008-YuFR #modelling #static analysis
- Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
- MoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification
- Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.
- MoDELS-2008-CraneD #execution #formal method #modelling #set #towards
- Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
- MoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart
- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
- MoDELS-2008-Gessenharter #code generation #java #semantics
- Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
- MoDELS-2008-McIntoshHS #3d #diagrams #named #state machine
- X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
- MoDELS-2008-NugrohoFC #analysis #empirical #fault #modelling
- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.
- MoDELS-2008-Ramos #constraints #relational
- Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
- MoDELS-2008-RosseboR #composition #policy #specification #using
- Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
- MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based
- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
- MoDELS-2008-YuFR #modelling #static analysis
- Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
- TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics
- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
- ASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism
- Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
- ASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling
- Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
- ASE-2008-UbayashiONYT #named
- AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
- ICSE-2008-BunyakiatiFSC #standard #testing #using
- Using JULE to generate a compliance test suite for the UML standard (PB, AF, JS, CC), pp. 827–830.
- SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #verification
- UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
- SAC-2008-PiresBR #design #generative #testing
- UML-based design test generation (WP, JB, FR), pp. 735–740.
- SAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #using
- Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
- SAC-2008-ShenK #fault #named
- ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
ATEM-J-2006-AmelunxenS #formal method #model transformation- Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
- SLE-2008-MoodyH #analysis #diagrams #effectiveness #syntax #visual notation
- Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams (DLM, JvH), pp. 16–34.
- DATE-2008-BrisolaraORLCW #code generation #using
- Using UML as Front-end for Heterogeneous Software Code Generation Strategies (LBdB, MFdSO, RMR, LCL, LC, FRW), pp. 504–509.
- FASE-2008-BruckerW #higher-order #named #ocl #proving
- HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.
- FASE-2008-LagardeETAG #domain model #modelling
- Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.
- ICST-2008-BaruzzoC #modelling
- A Methodology for UML Models V&V (AB, MC), pp. 513–516.
- ICST-2008-Garousi #distributed #modelling #nondeterminism #realtime #testing
- Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.
- ICST-2008-HaslingGB #case study #modelling #requirements #testing #using
- Model Based Testing of System Requirements using UML Use Case Models (BH, HG, KB), pp. 367–376.
- ICST-2008-KaplanKPSWY #approach #consistency #generative #less is more #modelling #testing
- Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.
- ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing
- UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
- ICST-2008-RamirezC #adaptation #logic #modelling #verification
- Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.
- ECSA-2007-SanzACM #architecture #framework #independence #modelling #platform
- UML Profile for the Platform Independent Modelling of Service-Oriented Architectures (MLS, CJA, CEC, EM), pp. 304–307.
- WCRE-J-2005-SuttonM07 #c++ #modelling
- Recovering UML class models from C++: A detailed explanation (AS, JIM), pp. 212–229.
- CSMR-2007-LangeWC #evolution #monitoring #named #quality
- MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.
- ICPC-2007-LangeC #comprehension #interactive #modelling #validation
- Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.
- ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread
- Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
- ICPC-2007-YusufKM #comprehension #diagrams #eye tracking
- Assessing the Comprehension of UML Class Diagrams via Eye Tracking (SY, HHK, JIM), pp. 113–122.
- ICSM-2007-GustavssonLLMB #development #distributed #maintenance #modelling #using
- Simplifying maintenance by using XSLT to unlock UML models in a distributed development environment (HG, BL, BL, AM, MB), pp. 465–468.
- SFM-2007-Woodside #design
- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.
AGTIVE-2007-GronmoM #diagrams #modelling #process- Aspect Diagrams for UML Activity Models (RG, BMP), pp. 329–344.
- AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support
- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
- VISSOFT-2007-BohnerGHM #analysis #source code #using #visual notation #visualisation
- Evolutional Insights from UML and Source Code Versions using Information Visualization and Visual Analysis (SAB, DG, TH, KM), pp. 145–148.
- VISSOFT-2007-KagdiM #diagrams #graph
- Onion Graphs for Focus+Context Views of UML Class Diagrams (HHK, JIM), pp. 80–87.
- EDOC-2007-TosicSL #composition #web #web service
- UML Profiles for WS-Policy4MASC as Support for Business Value Driven Engineering and Management of Web Services and their Compositions (VT, BS, HL), pp. 157–168.
- ICEIS-EIS-2007-AuerMB #modelling #tool support #usability
- Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.
- ICEIS-EIS-2007-MehrS #modelling #security
- Modelling of Message Security Concerns with UML (FM, US), pp. 365–374.
- ICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #semantics
- Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.
- ICEIS-HCI-2007-MartinsS #modelling #user interface
- Modeling User Interfaces with the XIS UML Profile (CM, ARdS), pp. 98–104.
- SEKE-2007-KearneyP #automation #framework #named #reverse engineering #tool support
- REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.
- SEKE-2007-KirnerC #empirical #evaluation #requirements #specification
- Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study (TGK, ERdC), p. 649–?.
- SEKE-2007-KoskerB #graph transformation #refactoring
- Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
- SEKE-2007-MartinhoDV #flexibility #modelling #named #process
- FlexUML: A UML Profile for Flexible Process Modeling (RM, DD, JV), pp. 215–220.
- SEKE-2007-Rhem #modelling #using
- Knowledge Modelling using UML (AJR), p. 755–?.
- SEKE-2007-XuXW #automation #code generation #protocol #state machine
- Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.
- ECMDA-FA-2007-FuentesS #aspect-oriented #execution #modelling
- Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.
- ECMDA-FA-2007-LagardeTAG #constraints #modelling
- Constraints Modeling for (Profiled) UML Models (FL, FT, CA, SG), pp. 130–143.
- ECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set
- Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
- MoDELS-2007-AnastasakisBGR #alloy #model transformation #named
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
- MoDELS-2007-CabotG #contract #diagrams
- Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
- MoDELS-2007-CuccuruMTG #semantics
- Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
- MoDELS-2007-ErmaganK #modelling
- A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.
- MoDELS-2007-OldevikH #architecture #aspect-oriented
- Architectural Aspects in UML (JO, ØH), pp. 301–315.
- MoDELS-2007-PilskalnsWI #debugging #runtime #using
- Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
- MoDELS-2007-WhittleMAJER #composition #diagrams
- An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
- MoDELS-2007-ZhangHK #aspect-oriented #state machine
- Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
- MoDELS-2007-ZoughbiBL #safety
- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
- MoDELS-2007-AnastasakisBGR #alloy #model transformation #named
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
- MoDELS-2007-CabotG #contract #diagrams
- Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
- MoDELS-2007-CuccuruMTG #semantics
- Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
- MoDELS-2007-ErmaganK #modelling
- A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.
- MoDELS-2007-OldevikH #architecture #aspect-oriented
- Architectural Aspects in UML (JO, ØH), pp. 301–315.
- MoDELS-2007-PilskalnsWI #debugging #runtime #using
- Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
- MoDELS-2007-WhittleMAJER #composition #diagrams
- An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
- MoDELS-2007-ZhangHK #aspect-oriented #state machine
- Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
- MoDELS-2007-ZoughbiBL #safety
- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
- REFSQ-2007-AlkkiomakiS #architecture #case study #functional #integration #modelling #requirements
- Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.
- REFSQ-2007-DarimontL #requirements #security
- Security Requirements for Civil Aviation with UML and Goal Orientation (RD, ML), pp. 292–299.
- ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #using #verification
- UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
- ASE-2007-LagardeETG #concept #design #domain model #modelling
- Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.
- ICSE-2007-Egyed #consistency #design #modelling #nondeterminism
- Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.
- ICSE-2007-Egyed07a #consistency #modelling #named
- UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.
- ICSE-2007-LiuM #data access
- Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
- ICSE-2007-RiccaPTTC #comprehension #experience
- The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes (FR, MDP, MT, PT, MC), pp. 375–384.
- SAC-2007-KimS #approach #consistency #modelling
- An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.
- SAC-2007-SchreinerG #component #embedded #modelling
- Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
- DATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification
- Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.
- FASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart
- S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
A-MOST-2007-BouquetGLPVU #modelling #precise #testing- A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
- ICSM-2006-BriandLS #design pattern #modelling
- Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.
- ICSM-2006-PilskalnsUA #design #testing
- Regression Testing UML Designs (OP, GU, AAA), pp. 254–264.
- WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #xmi
- CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
- WCRE-2006-LaitkorpiKS #approach #interface
- A UML-based Approach for Abstracting Application Interfaces to REST-like Services (ML, JK, TS), pp. 134–146.
- FM-2006-LundS #diagrams #semantics #sequence chart
- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
- SEFM-2006-ZhangHW #component #declarative #modelling #performance #scheduling #using
- Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (YZ, TH, JW), pp. 246–258.
- SOFTVIS-2006-GudenbergNEE #diagrams #layout
- Evolutionary layout of UML class diagrams (JWvG, AN, ME, HE), pp. 163–164.
- EDOC-2006-BendraouGB #abstraction #execution #modelling #named #process
- UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
- EDOC-2006-ChanP #architecture #modelling
- QoS-Aware Model Driven Architecture through the UML and CIM (KC, IP), pp. 345–354.
- ICEIS-AIDSS-2006-AbdullahPBK #architecture #development #information management #knowledge-based #modelling #using
- Knowledge Engineering Using the UML Profile — Adopting the Model-Driven Architecture for Knowledge-Based System Development (MSA, RFP, IDB, CK), pp. 74–81.
- ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification
- Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.
- ICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #tool support #towards
- Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.
- SEKE-2006-BokhariP #analysis #modelling #petri net
- Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.
- SEKE-2006-LinWCS #case study #diagrams #modelling #process
- UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.
- SEKE-2006-MokhatiBG #approach #diagrams #maude #specification
- Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
- SEKE-2006-PiaoWCC #analysis #diagrams #process
- An Analysis Model of Activity Diagram in UML 2.0 (WCP, CHW, WCC, LPC), pp. 562–567.
- SEKE-2006-PilskalnsA #design #ocl #security #testing #using
- Using UML Designs to Generate OCL for Security Testing (OP, AAA), pp. 505–510.
- SEKE-2006-ZhangKY #concept analysis #modelling #web
- UML Modelling Web Applications via Formal Concept Analysis (ZZ, JK, HY), pp. 532–535.
- ECMDA-FA-2006-BraheO #modelling #process #using
- Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles (SB, KØ), pp. 241–255.
- ECMDA-FA-2006-OKeefe #consistency #logic #semantics
- Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.
- MoDELS-2006-Beeck #semantics
- A Formal Semantics of UML-RT (MvdB), pp. 768–782.
- MoDELS-2006-CostalGQRT #constraints
- Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
- MoDELS-2006-DiskinD #semantics #towards
- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
- MoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #visualisation
- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
- MoDELS-2006-Henderson-SellersG
- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
- MoDELS-2006-LangeBCD #modelling
- An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
- MoDELS-2006-LundellLPM #analysis #xmi
- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 (BL, BL, AP, AM), pp. 619–630.
- MoDELS-2006-OKeefe
- Improving the Definition of UML (GO), pp. 42–56.
- MoDELS-2006-SchattkowskyHE #design #process #synthesis #using
- Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.
- MoDELS-2006-TaleghaniA #semantics
- Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
- MoDELS-2006-ZitoDD #question
- Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
- SPL-BOOK-2006-ZiadiJ #product line
- Software Product Line Engineering with the UML: Deriving Products (TZ, JMJ), pp. 557–588.
- SPLC-2006-BragancaM #case study #metamodelling #specification #variability
- Extending UML 2.0 Metamodel for Complementary Usages of the «extend» Relationship within Use Case Variability Specification (AB, RJM), pp. 123–130.
- SPLC-2006-Gomaa #architecture #case study #design #product line
- Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures (HG), p. 218.
- MoDELS-2006-Beeck #semantics
- A Formal Semantics of UML-RT (MvdB), pp. 768–782.
- MoDELS-2006-CostalGQRT #constraints
- Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
- MoDELS-2006-DiskinD #semantics #towards
- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
- MoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #visualisation
- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
- MoDELS-2006-Henderson-SellersG
- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
- MoDELS-2006-LangeBCD #modelling
- An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
- MoDELS-2006-LundellLPM #analysis #xmi
- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 (BL, BL, AP, AM), pp. 619–630.
- MoDELS-2006-OKeefe
- Improving the Definition of UML (GO), pp. 42–56.
- MoDELS-2006-SchattkowskyHE #design #process #synthesis #using
- Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.
- MoDELS-2006-TaleghaniA #semantics
- Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
- MoDELS-2006-ZitoDD #question
- Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
- AdaEurope-2006-Curtis #execution
- SPARK Annotations Within Executable UML (DC), pp. 83–93.
- ASE-2006-SatohKU #diagrams
- Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
- ASE-2006-SpanoudakisZ
- UML-based Service Discovery Tool (GS, AZ), pp. 361–362.
- ICSE-2006-Egyed #consistency
- Instant consistency checking for the UML (AE), pp. 381–390.
- ICSE-2006-GarousiBL #distributed #modelling #testing
- Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.
- ICSE-2006-Gomaa #concurrent #design #distributed #realtime
- Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.
- ICSE-2006-KimKPCKG #case study #development
- UML-based service robot software development: a case study (MK, SK, SP, MTC, MK, HG), pp. 534–543.
- ICSE-2006-Lange #modelling #quality
- Improving the quality of UML models in practice (CFJL), pp. 993–996.
- ICSE-2006-LangeC #fault #modelling
- Effects of defects in UML models: an experimental investigation (CFJL, MRVC), pp. 401–411.
- ICSE-2006-Selic #named #overview #tutorial
- Tutorial: an overview of UML 2 (BS), pp. 1069–1070.
- SAC-2006-ColomboPR #architecture #formal method #modelling #realtime
- A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.
- SAC-2006-DobrzanskiK #approach #execution #modelling #refactoring
- An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
- SAC-2006-FekihAM #diagrams #specification #state machine
- Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.
- SAC-2006-GuelfiM #diagrams #framework #process #specification
- A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
- SAC-2006-KacemKJD #architecture #using
- Describing dynamic software architectures using an extended UML model (MHK, AHK, MJ, KD), pp. 1245–1249.
- SAC-2006-MalgouyresM #approach #consistency #formal method #metamodelling #verification
- A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.
- ATEM-2006-Garcia #formal method #ocl
- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
- DATE-2006-AhmedM #design #performance #using
- Faster exploration of high level design alternatives using UML for better partitions (WA, DM), pp. 579–580.
- DATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #platform
- Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
- DATE-2006-VanderperrenD #matlab
- From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
- DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation
- Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.
- FASE-2006-LavazzaB #problem #requirements
- Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
WICSA-2005-InverardiMP #named- DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
- WICSA-2005-SmedaOK #using
- Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.
- CSEET-2005-PavlovY #education #object-oriented #using
- Using Pantomime in Teaching OOA&OOD with UML (VLP, AY), pp. 77–84.
SIGITE-2005-DeLooze05a #data-driven #diagrams #web- Minimal UML diagrams for a data-driven web site (LLD), pp. 229–232.
- CSMR-2005-JiangLSS #analysis #comparison #web #web service
- UML-Level Analysis and Comparison of Web Service Descriptions (JJ, JL, PS, TS), pp. 236–240.
- ICSM-2005-KagdiMS #modelling #slicing
- Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.
IWPC-2005-SunW #comprehension #diagrams #layout #on the- On Evaluating the Layout of UML Class Diagrams for Program Comprehension (DS, KW), pp. 317–326.
PASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart- Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.
- WCRE-2005-SuttonM #c++ #modelling #reverse engineering
- Mappings for Accurately Reverse Engineering UML Class Models from C++ (AS, JIM), pp. 175–184.
- IFM-2005-OssamiJS #consistency #multi #specification
- Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.
- SOFTVIS-2005-MalloyP #c++ #modelling #source code #visualisation
- Exploiting UML dynamic object modeling for the visualization of C++ programs (BAM, JFP), pp. 105–114.
- VISSOFT-2005-AndriyevskaDSM #architecture #diagrams #layout
- Evaluating UML Class Diagram Layout based on Architectural Importance (OA, ND, BS, JIM), pp. 14–19.
- VISSOFT-2005-SharpR #diagrams #interactive #sequence chart
- Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
- EDOC-2005-RomeroV #modelling
- Modeling the ODP Computational Viewpoint with UML 2.0 (JRR, AV), pp. 169–180.
- EDOC-2005-VitolinsK #diagrams #modelling #process #semantics #virtual machine
- Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine (VV, AK), pp. 181–194.
- ICEIS-v1-2005-Fernandez #design #security #using
- Security Patterns and Secure Systems Design Using UML (EBF), p. 21.
- ICEIS-v3-2005-RajuganDCF #design #xml
- XML Views, Part III: An UML Based Design Methodology for XML Views (RR, TSD, EC, LF), pp. 19–28.
- SEKE-2005-AsawateeraR #automation #implementation #multi #tool support
- The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.
- SEKE-2005-GaoCMYB05a #adaptation #component #distributed #towards
- Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.
- SEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart
- Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
- SEKE-2005-OgameKH #diagrams
- Inspection Support System for UML Diagram (YO, TK, AH), pp. 408–411.
- SEKE-2005-SongPCZ #specification #transaction #verification
- Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
- ECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart
- Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.
- ECMDA-FA-2005-GronmoJH
- Transformations Between UML and OWL-S (RG, MCJ, HH), pp. 269–283.
- ECMDA-FA-2005-StaikopoulosB #case study #comparative #integration #metamodelling #web #web service
- A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services (AS, BB), pp. 145–159.
- ECMDA-FA-2005-TabuchiSN #algebra #analysis #design #modelling #performance #probability #process
- Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra (NT, NS, HN), pp. 41–58.
- MoDELS-2005-BendraouGB #metamodelling #modelling #named #process
- UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.
- MoDELS-2005-BiaG #design #documentation #modelling #web #xml
- UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.
- MoDELS-2005-ChauvelJ #code generation #modelling #semantics
- Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
- MoDELS-2005-ChengSB #analysis #automation #industrial #lessons learnt #modelling
- Lessons Learned from Automated Analysis of Industrial UML Class Models (BHCC, RS, BB), pp. 324–338.
- MoDELS-2005-CraneD #modelling
- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
- MoDELS-2005-Cruz-LemusGMP #diagrams #statechart
- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
- MoDELS-2005-CuccuruDMB #modelling #towards
- Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
- MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart
- Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
- MoDELS-2005-HafnerB #modelling #security #workflow
- Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.
- MoDELS-2005-JurjensH #modelling
- Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.
- MoDELS-2005-MarkovicB #diagrams #ocl #refactoring
- Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
- MoDELS-2005-SandersMKB #composition #specification #using
- Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
- MoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #using
- Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.
- MoDELS-2005-SmialekBNS #metamodelling
- Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
- MoDELS-2005-StreetP #modelling
- The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.
- MoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming
- Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.
- MoDELS-2005-BendraouGB #metamodelling #modelling #named #process
- UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.
- MoDELS-2005-BiaG #design #documentation #modelling #web #xml
- UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.
- MoDELS-2005-ChauvelJ #code generation #modelling #semantics
- Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
- MoDELS-2005-ChengSB #analysis #automation #industrial #lessons learnt #modelling
- Lessons Learned from Automated Analysis of Industrial UML Class Models (BHCC, RS, BB), pp. 324–338.
- MoDELS-2005-CraneD #modelling
- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
- MoDELS-2005-Cruz-LemusGMP #diagrams #statechart
- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
- MoDELS-2005-CuccuruDMB #modelling #towards
- Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
- MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart
- Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
- MoDELS-2005-HafnerB #modelling #security #workflow
- Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0 (MH, RB), pp. 39–53.
- MoDELS-2005-JurjensH #modelling
- Dynamic Secure Aspect Modeling with UML: From Models to Code (JJ, SHH), pp. 142–155.
- MoDELS-2005-MarkovicB #diagrams #ocl #refactoring
- Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
- MoDELS-2005-SandersMKB #composition #specification #using
- Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
- MoDELS-2005-ShenP #analysis #aspect-oriented #modelling #performance #using
- Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques (HS, DCP), pp. 156–170.
- MoDELS-2005-SmialekBNS #metamodelling
- Scenario Construction Tool Based on Extended UML Metamodel (MS, JB, WN, TS), pp. 414–429.
- MoDELS-2005-StreetP #modelling
- The Impact of UML 2.0 on Existing UML 1.4 Models (JAS, RGPI), pp. 431–444.
- MoDELS-2005-WadaS #development #framework #metamodelling #modelling #programming
- Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming (HW, JS), pp. 584–600.
- SIGAda-2005-Sautejeau #modelling
- Modeling SPARK systems with UML (XS), pp. 11–16.
- ASE-2005-Milanova #composition #diagrams #identification #precise
- Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
- ASE-2005-SimmondsB #automation #consistency
- A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.
- ESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart
- Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.
- ESEC-FSE-2005-Baroni #assessment #modelling
- Quantitative assessment of UML dynamic models (ALB), pp. 366–369.
- ICSE-2005-Jurjens #effectiveness #modelling #security #tool support
- Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.
- SAC-2005-TruongS #behaviour #modelling #using #verification
- Verification of behavioural elements of UML models using B (NTT, JS), pp. 1546–1552.
- DATE-2005-ChureauSA #functional #prototype
- The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application (AC, YS, EMA), pp. 698–703.
- DATE-2005-KukkalaRHHK #design #embedded
- UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.
- DATE-2005-MellorWM #why
- Why Systems-on-Chip Needs More UML like a Hole in the Head (SJM, JRW, CM), pp. 834–835.
- DATE-2005-Oliver #design
- Applying UML and MDA to Real Systems Design (IO), pp. 70–71.
- DATE-2005-RiccobeneSRB #design
- A SoC Design Methodology Involving a UML 2.0 Profile for SystemC (ER, PS, AR, SB), pp. 704–709.
- DATE-2005-Schattkowsky #design #overview
- UML 2.0 — Overview and Perspectives in SoC Design (TS), pp. 832–833.
- DATE-2005-VanderperrenD #approach #complexity #design
- UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design (YV, WD), pp. 716–717.
- DATE-2005-ZhuOHN #design #process
- Integrating UML into SoC Design Process (QZ, RO, TH, TN), pp. 836–837.
- FASE-2005-EgyedSW #maintenance #refinement
- Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.
- FASE-2005-JurjensS #analysis #development #security #tool support
- Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
- FASE-2005-LeicherS #analysis #composition #modelling
- Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.
- TestCom-2005-LiL #anti #diagrams #thread #using
- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.
- SIGITE-2004-TabriziCOL #development #implementation #object-oriented #using
- Implementation of object-orientation using UML in entry level software development courses (MHNT, CBC, EO, KL), pp. 128–131.
- ICSM-2004-BriandLYP #constraints #development #empirical #ocl
- A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.
- ICSM-2004-Gueheneuc #diagrams #precise
- Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
- ICSM-2004-RivaSSX #analysis #architecture #maintenance #reverse engineering
- UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance (CR, PS, TS, JX), pp. 50–59.
- IWPC-2004-HammoudaGKS #diagrams #learning #modelling
- Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models (IH, OG, KK, TS), pp. 24–33.
- IWPC-2004-KuzniarzSW #comprehension #empirical #modelling #using
- An Empirical Study on Using Stereotypes to Improve Understanding of UML Models (LK, MS, CW), pp. 14–23.
- IWPC-2004-Torchiano #assessment #diagrams #empirical
- Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.
- IFM-2004-LanoCA #modelling #object-oriented #verification
- UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
- IFM-2004-MollerORW #case study #java
- Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.
- IFM-2004-PickinJ #diagrams #sequence chart #using
- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.
- IFM-2004-SeceleanuP #approach #design
- Constituent Elements of a Correctness-Preserving UML Design Approach (TS, JP), pp. 227–246.
- SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics
- On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
- SEFM-2004-SandersB #modelling #peer-to-peer
- Modeling Peer-to-Peer Service Goals in UML (RTS, RB), pp. 144–153.
- SEFM-2004-SchinzTMW #verification
- The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.
- SFM-2004-Selic #on the #semantics #standard
- On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
CSCW-2004-SchankH #collaboration #modelling- Collaborative modeling: hiding UML and promoting data examples in NEMo (PKS, LH), pp. 574–577.
- CAiSE-2004-GuizzardiWGMR #concept #modelling
- An Ontologically Well-Founded Profile for UML Conceptual Models (GG, GW, NG, MvS), pp. 112–126.
- EDOC-2004-SilaghiFS #towards
- Towards an MDA-Oriented UML Profile for Distribution (RS, FF, AS), pp. 227–239.
- EDOC-2004-SkoganGS #composition #web #web service
- Web Service Composition in UML (DS, RG, IS), pp. 47–57.
- ICEIS-v1-2004-Lujan-MoraTV #modelling #multi
- Advantages of UML for Multidimensional Modeling (SLM, JT, PV), pp. 298–305.
- ICEIS-v3-2004-AliBG #dependence #diagrams #verification
- UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.
- ICEIS-v3-2004-AllouiO #architecture #process #using
- Describing Software-Intensive Process Architectures Using a UML-Based ADL (IA, FO), pp. 201–208.
- ICEIS-v3-2004-Daute #data flow #process #re-engineering #representation
- Representation of Business Information Flow with an Extension for UML: From Business Processes to Object-Orientated Software Engineering (OD), pp. 569–572.
- ICEIS-v3-2004-Noran #case study #comparative #modelling
- UML vs. IDEF: An Ontology-Oriented Comparative Study in View of Business Modelling (ON), pp. 674–682.
- ICEIS-v4-2004-KangT #diagrams #mobile #modelling #process
- Modelling Mobile Agent Applications by Extended UML Activity Diagram (MK, KT), pp. 519–522.
- SEKE-2004-CollierOR #re-engineering
- A UML-based Software Engineering Methodology for Agent Factory (RWC, GMPO, CR), pp. 25–30.
- SEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #statechart #using
- Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.
- SEKE-2004-GomesPCPSFB #composition #diagrams #reuse #using
- Reuse of UML Class Diagrams Using Case-Based Composition (PG, FCP, PC, PP, NS, JLF, CB), pp. 258–263.
- SEKE-2004-HuS #diagrams #petri net #simulation
- Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
- SPLC-2004-Gomaa #design #modelling #product line
- Designing Software Product Lines with the Unified Modeling Language (UML) (HG), p. 317.
UML-2004-AbieAKMR #security- Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.
- UML-2004-AronsHKPZ #deduction #modelling #verification
- Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
- UML-2004-BauerdickGG #case study #detection #experience #ocl
- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (HB, MG, FG), pp. 188–196.
- UML-2004-BennettFW #evaluation #performance #scheduling
- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.
- UML-2004-CaronCMV #ocl
- An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.
- UML-2004-CorreaW #modelling #ocl #refactoring
- Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.
- UML-2004-DologN #collaboration #diagrams #feature model #modelling #using
- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications (PD, WN), pp. 425–439.
- UML-2004-GaafarS #framework #ocl #towards #xml #xquery
- Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.
- UML-2004-GieseH #specification
- From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
- UML-2004-GoniE #concurrent #ocl #precise #using
- Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
- UML-2004-GrassiMS #mobile
- A UML Profile to Model Mobile Systems (VG, RM, AS), pp. 128–142.
- UML-2004-HayashiYSMSH #development #modelling
- Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.
- UML-2004-JiangSZMMM #classification #metamodelling #on the
- On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.
- UML-2004-MaSZJ #metamodelling #metric #object-oriented
- Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.
- UML-2004-PetriuW #design #generative #metamodelling #modelling #performance
- A Metamodel for Generating Performance Models from UML Designs (DBP, CMW), pp. 41–53.
- UML-2004-PitkanenS #execution #incremental #modelling
- A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
OOPSLA-2004-GueheneucA - Recovering binary class relationships: putting icing on the UML cake (YGG, HAA), pp. 301–314.
- AdaEurope-2004-AmeyW #ada #c
- High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
- SAC-J-2003-BorgerCR04 #formal method #on the #state machine #using
- On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
- ASE-2004-HammoudaKPKM #adaptation #framework
- Adaptable Concern-Based Framework Specialization in UML (IH, JK, MP, MK, TM), pp. 78–87.
- ASE-2004-KonradCC #analysis #automation #diagrams
- Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.
- ASE-2004-LiWQ #generative #testing
- Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.
- ICSE-2004-Berenbach #analysis #design #evaluation #scalability
- The Evaluation of Large, Complex UML Analysis and Design Model (BB), pp. 232–241.
- ICSE-2004-MakCL #design pattern #modelling #precise
- Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.
- ICSE-2004-Selic #named #overview #tutorial
- Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
- ICSE-2004-Tenzer #design #game studies #tool support
- Improving UML Design Tools by Formal Games (JT), pp. 75–77.
- SAC-2004-CavarraRS #framework #modelling #simulation
- A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
- DATE-v1-2004-GreenE #data flow
- Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
- FASE-2004-KimRFL #data access #modelling #using
- Modeling Role-Based Access Control Using Parameterized UML Models (DKK, IR, RBF, NL), pp. 180–193.
TACAS-2004-LeueMW #bound #modelling #scalability- A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.
- TestCom-2004-DaiGNP #algorithm #design
- From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices (ZRD, JG, HN, HP), pp. 33–49.
- TestCom-2004-MuckeH #generative
- Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.
- CSMR-2003-WuO #component #evolution #maintenance
- Maintaining Evolving Component-Based Software with UML (YW, JO), pp. 133–142.
- ICSM-2003-BriandLO #impact analysis #modelling
- Impact Analysis and Change Management of UML Models (LCB, YL, LO), pp. 256–265.
- WCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards
- Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
- SEFM-2003-AstesianoR #development #towards
- Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.
- SEFM-2003-LitvakTY #behaviour #consistency #diagrams #validation
- Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
- SEFM-2003-NgB #csp #diagrams #formal method #towards
- Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.
- AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart
- UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
- SOFTVIS-2003-EiglspergerKS #approach #automation #diagrams #layout
- A Topology-Shape-Metrics Approach for the Automatic Layout of UML Class Diagram (ME, MK, MS), pp. 189–198.
- SOFTVIS-2003-GutwengerJKKLM #approach #diagrams #visualisation
- A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.
- SOFTVIS-2003-HausmannK #visualisation
- Visualizing Model Mappings in UML (JHH, SK), pp. 169–178.
- SOFTVIS-2003-JacobsM #debugging #interactive #visual notation
- Interactive Visual Debugging with UML (TJ, BM), pp. 115–122.
- VISSOFT-2003-EichelbergerG #diagrams #layout #state of the art
- UML Class Diagrams – State of the Art in Layout Techniques (HE, JWvG), pp. 30–34.
- VISSOFT-2003-EichelbergerW #diagrams #layout
- Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.
- CAiSE-2003-AlbertPFRP #composition #framework #implementation #multi
- Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework (MA, VP, JF, MR, OP), pp. 143–158.
- CAiSE-2003-CastroSM #architecture #modelling
- Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.
- CAiSE-2003-GeneroP #complexity #diagrams #metric
- No-redundant Metrics for UML Class Diagram Structural Complexity (MEM, MG, MP), pp. 127–142.
- ICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #validation
- Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
- ICEIS-v3-2003-CaveroMVC #modelling #query #using
- Modelling ORDB Queries Using UML (JMC, EM, BV, CC), pp. 535–539.
- ICEIS-v3-2003-LuzS #development #modelling
- Software Development Guided By Models — The XIS UML Profile (ML, ARdS), pp. 370–381.
- ICEIS-v3-2003-Ramos #constraints #diagrams #relational
- Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.
- SEKE-2003-DongY #design pattern #diagrams #visualisation
- Extending UML to Visualize Design Patterns In Class Diagrams (JD, SY), pp. 124–131.
- SEKE-2003-GomesPPSCFB03a #diagrams #reuse #using
- Case-Based Reuse of UML Diagrams (PG, FCP, PP, NS, PC, JLF, CB), pp. 335–339.
- SEKE-2003-Lavazza #requirements
- Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
- SEKE-2003-LavazzaO #modelling #verification
- Simulation-based Verification of UML models (LL, GO), pp. 314–321.
- SEKE-2003-SongPLGCM #e-commerce #verification
- Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.
- UML-2003-Balsters #database #modelling #ocl
- Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.
- UML-2003-BriandCL #automation #testing #towards
- Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.
- UML-2003-CabotOT #representation
- Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.
- UML-2003-ChristophM #middleware #migration #named
- GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.
- UML-2003-DologN #adaptation #generative #navigation #sequence #using #xmi
- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems (PD, WN), pp. 205–219.
- UML-2003-EngelsHK #consistency #development
- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.
- UML-2003-Fowler #question #what
- What Is the Point of the UML? (MF), p. 325.
- UML-2003-GogollaBR #automation #generative #modelling #ocl #validation
- Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
- UML-2003-GorpSMD #automation #refactoring #towards
- Towards Automating Source-Consistent UML Refactorings (PVG, HS, TM, SD), pp. 144–158.
- UML-2003-Isoda
- A Critique of UML’s Definition of the Use-Case Class (SI), pp. 280–294.
- UML-2003-JansenHK
- A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
- UML-2003-Jurjens #safety
- Developing Safety-Critical Systems with UML (JJ), pp. 360–372.
- UML-2003-PilskalnsAGF #behaviour #testing
- Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.
- UML-2003-Rouquette #architecture
- UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.
- UML-2003-ShankarA #realtime #semantics
- Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
- UML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #using
- Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.
- UML-2003-YangX #architecture #case study #encoding #experience
- Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
ECOOP-2003-ConradiMAHBP #empirical #industrial #modelling #object-oriented- Object-Oriented Reading Techniques for Inspection of UML Models — An Industrial Experiment (RC, PM, TA, LCH, GAB, AP), pp. 483–500.
- AdaEurope-2003-MazziniDNDLV #named
- HRT-UML: Taking HRT-HOOD onto UML (SM, MD, MDN, AD, GL, TV), pp. 405–416.
- AdaEurope-2003-OrtizAPS #architecture #case study #evaluation #performance #realtime #using
- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST (FJO, BÁ, JAP, PS), pp. 417–428.
- AdaEurope-2003-Thom #ada #standard
- The Standard UML-Ada Profile (FT), pp. 394–404.
- RE-2003-Berenbach #quality
- Evaluating the Quality of a UML Business Model (BB), p. 280.
- RE-2003-Berenbach03a #automation #modelling #requirements
- The Automated Extraction of Requirements from UML Models (BB), p. 287.
- ASE-2003-Nassar
- VUML : a Viewpoint oriented UML Extension (MN), pp. 373–376.
- ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #visual notation
- Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.
- ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #verification
- Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.
- ESEC-FSE-2003-OhstWK #diagrams #difference
- Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
- ESEC-FSE-2003-SelonenX #architecture #modelling #validation
- Validating UML models against architectural profiles (PS, JX), pp. 58–67.
- ICSE-2003-Lamsweerde #modelling #precise #requirements #specification
- Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.
- ICSE-2003-Selic #overview #tutorial
- Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.
- ICSE-2003-WangHGAGA #architecture #assessment #risk management #specification
- Architectural Level Risk Assessment Tool Based on UML Specifications (TW, AEH, AG, WA, KGP, HHA), pp. 808–809.
- ICSE-2003-WeisUG #corba #quality
- Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.
- SAC-2003-AalstKV #modelling #workflow #xml
- Organizational Modeling in UML and XML in the Context of Workflow Systems (WMPvdA, AK, EV), pp. 603–608.
- SAC-2003-BorgerRC #concurrent #modelling #state machine
- Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines (EB, ER, AC), pp. 1086–1091.
- SAC-2003-Dong #composition #design pattern #representation
- Representing the Applications and Compositions of Design Patterns in UML (JD), pp. 1092–1098.
- DATE-2003-FornaciariMSZ #clustering #specification #towards
- A First Step Towards Hw/Sw Partitioning of UML Specifications (WF, PM, FS, LZ), pp. 10668–10673.
- FASE-2003-BiancoLMO #component #realtime #specification #towards
- Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.
- FASE-2003-TenzerS #diagrams #modelling #recursion
- Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
FATES-2003-BadriBN #approach #case study #collaboration #diagrams #formal method #process #testing #towards- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams (MB, LB, MN), pp. 223–235.
- FATES-2003-Ramakrishnan #testing
- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile (SR), pp. 236–251.
- TestCom-2003-SchieferdeckerDGR #testing
- The UML 2.0 Testing Profile and Its Relation to TTCN-3 (IS, ZRD, JG, AR), pp. 79–94.
- CSMR-2002-KollmannG #diagrams #representation
- Metric-Based Selective Representation of UML Diagrams (RK, MG), pp. 89–98.
- ICSM-2002-BriandLS #automation #design #impact analysis #testing
- Automating Impact Analysis and Regression Test Selection Based on UML Designs (LCB, YL, GS), pp. 252–261.
- WCRE-2002-KollmanSSSZ #case study #reverse engineering #state of the art
- A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering (RK, PS, ES, TS, AZ), p. 22–?.
- FME-2002-Treharne #development #process
- Supplementing a UML Development Process with B (HT), pp. 568–586.
- IFM-2002-KuskeGKK #diagrams #graph transformation #semantics
- An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.
- IFM-2002-LedangS #modelling
- Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.
ICGT-2002-Varro #semantics- A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
- VISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #syntax
- UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.
- CAiSE-2002-AoumeurS #behaviour #diagrams #logic #prototype #using
- Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic (NA, GS), pp. 296–310.
- CAiSE-2002-CostalST #analysis #comprehension #modelling #object-oriented
- Understanding Redundancy in UML Models for Object-Oriented Analysis (DC, MRS, ET), pp. 659–674.
- CAiSE-2002-GomezO #concept #evolution
- Evolving Partitions in Conceptual Schemas in the UML (CG, AO), pp. 467–483.
- CAiSE-2002-TorchianoB #modelling
- Domain-Specific Instance Models in UML (MT, GB), pp. 774–777.
- EDOC-2002-Tyndale-BiscoeSWS #component #modelling
- Business Modelling for Component Systems with UML (STB, OS, BW, CS), pp. 120–131.
- ICEIS-2002-CesareLP #modelling #research
- Business Modelling with UML: Distilling Directions for Future Research (SdC, ML, DP), pp. 570–579.
- ICEIS-2002-FilhoL
- A Proposal for the Incorporation of the Features Model into the UML Language (IMF, TCdO, CJPdL), pp. 594–601.
- SEKE-2002-RiescoSPPJ #analysis #metamodelling
- Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.
- SEKE-2002-SourrouilleC #constraints #modelling
- Constraint checking in UML modeling (JLS, GC), pp. 217–224.
- SPLC-2002-PreeFR #product line
- Product Line Annotations with UML-F (WP, MF, BR), pp. 188–197.
- UML-2002-AagedalE #modelling #towards
- Modelling QoS: Towards a UML Profile (JØA, EFEJ), pp. 275–289.
- UML-2002-AndrePR #paradigm
- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems (CA, MAPF, JPR), pp. 163–178.
- UML-2002-BasanieriBM #approach #testing
- The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.
- UML-2002-BogerJMF #diagrams
- Diagram Interchange for UML (MB, MJ, SM, JF), pp. 398–411.
- UML-2002-CariouB #component #interactive #specification
- The Specification of UML Collaborations as Interaction Components (EC, AB), pp. 352–367.
- UML-2002-Dietzsch #adaptation #case study #experience #modelling
- Adapting the UML to Business Modelling’s Needs — Experiences in Situational Method Engineering (AD), pp. 73–83.
- UML-2002-FelfernigFJZ #information management #ocl #representation #using
- Configuration Knowledge Representation Using UML/OCL (AF, GF, DJ, MZ), pp. 49–62.
- UML-2002-FlakeM #constraints #ocl #realtime
- A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
- UML-2002-FrohlichHS #industrial #modelling #multi #using
- Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies (PF, ZH, MS), pp. 63–72.
- UML-2002-GogollaH #analysis #metamodelling
- Analysis of UML Stereotypes within the UML Metamodel (MG, BHS), pp. 84–99.
- UML-2002-Jurjens #development #named
- UMLsec: Extending UML for Secure Systems Development (JJ), pp. 412–425.
- UML-2002-LodderstedtBD #modelling #named #security
- SecureUML: A UML-Based Modeling Language for Model-Driven Security (TL, DAB, JD), pp. 426–441.
- UML-2002-Lujan-MoraTS #modelling #multi
- Extending the UML for Multidimensional Modeling (SLM, JT, IYS), pp. 290–304.
- UML-2002-PllanaF #modelling #on the
- On Customizing the UML for Modeling Performance-Oriented Applications (SP, TF), pp. 259–274.
- UML-2002-SchattkowskyL #agile #composition #development #using #web
- Rapid Development of Modular Dynamic Web Sites Using UML (TS, ML), pp. 336–350.
- UML-2002-SteimannK #reduction #semantics
- A Radical Reduction of UML’s Core Semantics (FS, TK), pp. 34–48.
- UML-2002-SturmVB #generative
- Generating Code from UML with Velocity Templates (TS, JvV, MB), pp. 150–161.
- UML-2002-TangC #design #metric #object-oriented
- Measuring OO Design Metrics from UML (MHT, MHC), pp. 368–382.
- UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #visual notation
- Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.
- UML-2002-Whittle #automation #modelling
- Transformations and Software Modeling Languages: Automating Transformations in UML (JW), pp. 227–242.
- Ada-2002-BichlerS #german #question
- Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? (LB, AS), pp. 11–28.
- Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #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.
- Ada-2002-Wachsmuth #german
- UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen (KW), pp. 67–77.
- AdaEurope-2002-OrtizMAIF #ada #development #using
- Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, BÁ, AI, JMF), pp. 113–124.
- RE-2002-StutzSKK #analysis
- Analysis beyond UML (CS, JS, DK, WK), pp. 215–218.
- ASE-2002-CsertanHMPPV #automation #modelling #named #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.
- ICSE-2002-EshuisW #design #graph #process #verification #workflow
- Verification support for workflow design with UML activity graphs (RE, RW), pp. 166–176.
- ICSE-2002-GilHK #modelling #visual notation
- Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.
- ICSE-2002-KruchtenSK #architecture #named #tutorial
- Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.
- ICSE-2002-NittoLSTT #execution #process
- Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
- SAC-2002-Jurjens #message passing #semantics
- A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
- DATE-2002-BaldiniBPMT #functional
- Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.
- DATE-2002-Jong #design #embedded #realtime
- A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
- DATE-2002-Martin02a #design #embedded #motivation #overview #perspective #specification
- UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
- DATE-2002-Selic #realtime #standard
- The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.
- FASE-2002-DavidMY #realtime #verification
- Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing- On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
ICDAR-2001-LankTCB #diagrams #online #recognition- On-Line Recognition of UML Diagrams (EL, JST, SC, DB), pp. 356–360.
- CSMR-2001-KollmannG #behaviour #collaboration #diagrams
- Capturing Dynamic Program Behaviour with UML Collaboration Diagrams (RK, MG), pp. 58–67.
- ICSM-2001-FranceB #evolution #framework #multi #object-oriented
- Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software (RBF, JMB), p. 386–?.
- ICSM-2001-FranceBT #evolution
- Extending the UML to Support Evolution Management (RBF, JMB, RT), p. 106.
- ICSM-2001-TonellaP #c++ #diagrams #reverse engineering
- Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
- WCRE-2001-KollmannG #design
- Application of UML Associations and Their Adornments in Design Recovery (RK, MG), p. 81–?.
- FME-2001-Dupuy-ChessaB #modelling #validation
- Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
- FME-2001-Pahl #component #contract #modelling
- Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
- GT-VMT-2001-Tsiolakis #diagrams #sequence chart
- Integrating Model Information in UML Sequence Diagrams (AT), pp. 266–274.
- SVIS-2001-Mehner #concurrent #debugging #java #named #source code #visualisation
- JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs (KM), pp. 163–175.
- CAiSE-2001-KellerBS #design #implementation #repository
- Design and Implementation of a UML-Based Design Repository (RKK, JFB, GSD), pp. 448–464.
- CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling
- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
- CAiSE-2001-SunyePHGJ #action semantics #execution #modelling #semantics #using
- Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.
- ICEIS-v2-2001-AraujoM #diagrams
- Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.
- ICEIS-v2-2001-CastelaTSG #modelling #process
- Business Process Modeling with UML (NC, JMT, ARdS, AG), pp. 679–685.
- ICEIS-v2-2001-KuzniarzP
- Defining Pattern Class Stereotypes in UML (LK, MP), pp. 578–582.
- ICEIS-v2-2001-SinogasVCNMT #modelling #process
- Business Processes Extensions to UML Profile for Business Modeling (PS, AV, AC, JN, RM, JMT), pp. 673–678.
- SEKE-2001-BergentiP #re-engineering
- Supporting Agent- Oriented Software Engineering with UML (FB, AP), pp. 291–298.
- SEKE-2001-FillottraniEK #logic programming #modelling #object-oriented
- Applying Logic Programming Techniques to Object-Oriented Modeling in UML (PRF, EE, SK), pp. 228–235.
- UML-2001-AkehurstB #modelling #ocl #on the #query
- On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.
- UML-2001-ApvrilleSLSC #design #realtime #validation
- A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.
- UML-2001-BaclawskiKKHSHLA #ontology #semantics #web
- Extending UML to Support Ontology Engineering for the Semantic Web (KB, MMK, PAK, LH, JES, WSHI, JL, MLA), pp. 342–360.
- UML-2001-Beeck #formal method
- Formalization of UML-Statecharts (MvdB), pp. 406–421.
- UML-2001-BriandL #approach #testing
- A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.
- UML-2001-Damm #comprehension
- Understanding UML — Pains and Rewards (WD), p. 240.
- UML-2001-DumasH #diagrams #process #specification #workflow
- UML Activity Diagrams as a Workflow Specification Language (MD, AHMtH), pp. 76–90.
- UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification
- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
- UML-2001-EshuisW #algorithm #execution #graph #process
- An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.
- UML-2001-GenovaLM #multi #semantics
- Semantics of the Minimum Multiplicity in Ternary Associations in UML (GG, JL, PM), pp. 329–341.
- UML-2001-GrassiM #analysis #architecture #mobile #modelling #performance
- UML Modelling and Performance Analysis of Mobile Software Architectures (VG, RM), pp. 209–224.
- UML-2001-Kuske #graph transformation #semantics #state machine
- A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
- UML-2001-LettrariK #modelling #monitoring #realtime #testing
- Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.
- UML-2001-MarcosVC #database #design
- Extending UML for Object-Relational Database Design (EM, BV, JMC), pp. 225–239.
- UML-2001-MylopoulosKC #development
- UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.
- UML-2001-SendallS #behaviour #concurrent #constraints #ocl #specification #using
- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.
- UML-2001-SunyePTJ #modelling #refactoring
- Refactoring UML Models (GS, DP, YLT, JMJ), pp. 134–148.
- UML-2001-WeisBGP #component #contract #metamodelling
- A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.
- UML-2001-XuandongMYJG #analysis #diagrams #process
- Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
- UML-2001-YacoubA #composition #design #design pattern
- UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.
- OOPSLA-2001-RiehleFBO #architecture #virtual machine
- The Architecture of a UML Virtual Machine (DR, SF, DBL, NO), pp. 327–341.
- TOOLS-EUROPE-2001-KleppeW #approach #architecture #aspect-oriented #case study #integration #metamodelling #modelling #object-oriented
- Integration of Static and Dynamic Core for UML: A Study in Dynamic Aspects of the pUML OO Meta Modelling Approach to the Rearchitecting of UML (AK, JW), pp. 66–77.
- TOOLS-EUROPE-2001-Wills #agile #component #named
- UML: XP: Patterns: Components (ACW), p. 201.
- TOOLS-USA-2001-Mitchell #modelling
- High-Quality Modeling in UML (RM), pp. 388–389.
- TOOLS-USA-2001-Schulz
- Requirements-Based UML (JDS), pp. 307–316.
- TOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart
- Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
- AdaEurope-2001-TaylorK #ada
- Mapping UML to Ada (BT, EWK), pp. 359–370.
PPDP-2001-Schmidt #declarative #programming #question- Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.
- SIGAda-2001-Fassbender #ada #information management #re-engineering #using
- Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.
- ASE-2001-LeDang #automation #specification
- Automatic Translation from UML Specifications to B (HL), p. 436.
- ASE-2001-LedangS #behaviour #diagrams #modelling
- Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.
- ASE-2001-ShenCH #state machine #tool support #validation
- A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
- ASE-2001-XieLB #execution #model checking #set
- Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
- ASE-2001-ZismanK #approach #consistency #knowledge base #specification
- Knowledge Base Approach to Consistency Management of UML Specification (AZ, AK), pp. 359–363.
- ESEC-FSE-2001-LavazzaQV #modelling #realtime
- Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
- ESEC-FSE-2001-Zundorf #case study #development
- From use cases to code---rigorous software development with UML (AZ), pp. 324–325.
- ICSE-2001-Campbell #analysis #diagrams #visualisation
- Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
- ICSE-2001-FranceK
- UML for Software Engineers (RBF, CK), pp. 705–706.
- ICSE-2001-Gomaa01a #concurrent #design #distributed #realtime
- Designing Concurrent, Distributed, and Real-Time Applications with UML (HG), pp. 737–738.
- ICSE-2001-Korson #architecture #case study #java
- From UML to Java, Building a 3-Tier Architecture: Case Study (TDK), pp. 735–736.
- ICSE-2001-KoskinenPSSK #tool support
- Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.
- ICSE-2001-MakinenS #behaviour #interactive #modelling #named
- MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.
- ICSE-2001-McUmberC #formal method #framework
- A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
- ICSE-2001-NordPSH #analysis #architecture #design #effectiveness
- Effective Software Architecture Design: From Global Analysis to UML Descriptions (RLN, DJP, DS, CH), pp. 741–742.
- ICSE-2001-SelicK #architecture
- Describing Software Architecture with UML (PK, BS, WK), pp. 715–716.
- ICSE-2001-SelicKLB #architecture
- Describing Software Architecture with UML (PK, BS, WK, GL, AWB), p. 777.
- ICSE-2001-YounessiH #development #flexibility #named #object-oriented #process
- OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition (HY, BHS), pp. 713–714.
- ICSE-2001-Zundorf #case study #development
- From Use Cases to Code — Rigorous Software Development with UML (AZ), pp. 711–712.
- FASE-2001-ChoppyPR #specification #visual notation
- Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.
- FASE-2001-ClarkEK #calculus #metamodelling #semantics
- The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.
- FASE-2001-EshuisW #diagrams #execution #process #realtime #semantics
- A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
- FASE-2001-FischerOW #csp #diagrams
- A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
- FASE-2001-HeckelS #collaboration #diagrams
- Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.
- FASE-2001-ReggioCA #approach #multi #semantics #towards
- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.
- IFM-2000-MeyerS #approach #behaviour #consistency #using #verification
- Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.
- CAiSE-2000-DupuyLC #overview #specification
- An Overview of RoZ: A Tool for Integrating UML and Z Specifications (SD, YL, MCP), pp. 417–430.
- EDOC-2000-PressoRB #named #process
- PILOTE: A Tool Suite to Support UML-Based Engineering Processes (MJP, GR, MB), pp. 242–251.
- ICEIS-2000-Laleau #database #formal method #on the #specification
- On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.
- UML-2000-AbdurazikO #collaboration #diagrams #generative #static analysis #testing #using
- Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.
- UML-2000-AmyotM #case study #concept #on the
- On the Extension of UML with Use Case Maps Concepts (DA, GM), pp. 16–31.
- UML-2000-BarrosDLMRW #architecture #concept #enterprise #process
- Processes, Roles, and Events: UML Concepts for Enterprise Architecture (APB, KD, ML, ZM, KR, AW), pp. 62–77.
- UML-2000-BrennerD
- UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.
- UML-2000-CasanovaWD #ocl #quality
- Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.
- UML-2000-ChabrolS #modelling #object-oriented
- Object Oriented Methodology based on UML for Urban Traffic System Modeling (MC, DS), pp. 425–439.
- UML-2000-Clarke #design #modelling
- Composing Design Models: An Extension to the UML (SC), pp. 338–352.
- UML-2000-Cook #product line
- The UML family: Profiles, Prefaces and Packages (SC), pp. 255–264.
- UML-2000-DammHTT #strict
- Supporting Several Levels of Restriction in the UML (CHD, KMH, MT, MT), pp. 396–409.
- UML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #visual notation
- Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.
- UML-2000-FelfernigJZ #design #diagrams #knowledge base
- Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML (AF, DJ, MZ), pp. 240–254.
- UML-2000-HennickerK #design #hypermedia
- A UML-based Methodology for Hypermedia Design (RH, NK), pp. 410–424.
- UML-2000-KandeS #architecture #towards
- Towards a UML Profile for Software Architecture Descriptions (MMK, AS), pp. 513–527.
- UML-2000-Kobryn #design pattern #metamodelling
- Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse (CK), p. 497.
- UML-2000-Kwon #model checking #semantics
- Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.
- UML-2000-MirandolaC #distributed #modelling #performance
- UML Based Performance Modeling of Distributed Systems (RM, VC), pp. 178–193.
- UML-2000-MizunoSN #approach #concurrent #source code
- A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.
- UML-2000-NunesC #approach #design #interactive #towards
- Towards a UML profile for interaction design: the Wisdom approach (NJN, JFeC), pp. 101–116.
- UML-2000-OvergaardP
- Interacting Subsystems in UML (GÖ, KP), pp. 359–368.
- UML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving
- Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.
- UML-2000-PickinM #analysis
- Describing AI Analysis Patterns with UML (SP, AMR), pp. 466–481.
- UML-2000-RichtersG #constraints #modelling #ocl #validation
- Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
- UML-2000-Steimann #concept
- A Radical Revision of UML’s Role Concept (FS), pp. 194–209.
- UML-2000-VilainSS #diagrams #interactive #representation
- A Diagrammatic Tool for Representing User Interaction in UML (PV, DS, CSdS), pp. 133–147.
- ECOOP-2000-FontouraPR #framework #modelling #named #object-oriented
- UML-F: A Modeling Language for Object-Oriented Frameworks (MF, WP, BR), pp. 63–82.
- ECOOP-2000-SunyeGJ #design pattern
- Design Patterns Application in UML (GS, ALG, JMJ), pp. 44–62.
- OOPSLA-2000-HarrisonBR #design #java
- Mapping UML designs to Java (WH, CB, MR), pp. 178–187.
- TOOLS-ASIA-2000-JiangLX #process #type system
- Embedding UML and Type Theory to Formalize the Process of Requirement Engineering (HJ, DL, XX), pp. 32–39.
- TOOLS-ASIA-2000-LiCC #architecture #modelling #web
- Modeling Web Application Architecture with UML (JL, PC, JC), pp. 265–274.
- TOOLS-EUROPE-2000-FontouraPR #adaptation #development #framework
- Framework Development and Adaptation with UML (MF, WP, BR), p. 469.
- TOOLS-EUROPE-2000-GilHK #modelling #visual notation
- Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.
- TOOLS-EUROPE-2000-HoPP #aspect-oriented #design #framework #named #weaving
- UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs (WMH, FP, NP), p. 324–?.
- TOOLS-EUROPE-2000-KleppeW #diagrams #object-oriented #process
- Making UML Activity Diagrams Object-Oriented (AK, JW), pp. 288–299.
- TOOLS-EUROPE-2000-LeblancO #case study #comparative
- Comparative Case Study in SDL and UML (PL, IO), pp. 120–131.
- TOOLS-EUROPE-2000-ParssinenKHOT #case study #experience #protocol
- UML for Protocol Engineering — Extensions and Experiences (JP, NvK, JH, TO, MT), pp. 82–93.
- TOOLS-EUROPE-2000-Reenskaug #collaboration #how #what #why
- The What, Why and How of the UML Collaboration (TR), p. 476.
- TOOLS-PACIFIC-2000-BornHK #design #development #distributed #using
- A Method for the Design and Development of Distributed Applications Using UML (MB, EH, OK), pp. 253–265.
- TOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented
- Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.
- TOOLS-PACIFIC-2000-Ober #modelling
- More Meaningful UML Models (IO), pp. 146–157.
- TOOLS-USA-2000-ColbertL #embedded #realtime
- Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
- TOOLS-USA-2000-Griss #component #e-commerce #game studies #java #workflow #xml
- Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games (MLG), p. 3–?.
- TOOLS-USA-2000-Henderson-SellersU
- OPEN-ing up the UML (BHS, BU), pp. 479–482.
- TOOLS-USA-2000-VaziriJ #constraints #ocl
- Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
- TOOLS-USA-2000-WolfIBP #modelling #object-oriented #tool support
- UML Tool Support: Utilization of Object-Oriented Models (MW, EI, RB, IP), pp. 529–534.
- AdaEurope-2000-LacommeCCN #ada
- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.
- ASE-2000-LaleauM #generative #overview #specification
- An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.
- ASE-2000-MorisioTS #analysis
- Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.
- ICSE-2000-GilHK #modelling #tutorial #visual notation
- Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
- ICSE-2000-Gomaa #design #distributed #realtime
- Designing real-time and distributed applications with the UML (HG), p. 829.
- ICSE-2000-KohlerNNZ #diagrams
- Integrating UML diagrams for production control systems (HJK, UN, JN, AZ), pp. 241–251.
- SAC-2000-BojicV #case study #reverse engineering
- Reverse Engineering of Use Case Realizations in UML (DB, DMV), pp. 741–747.
- FASE-2000-ReggioACH #approach #formal method #lightweight #state machine
- Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
- ISSTA-2000-HartmannIM #integration #testing
- UML-Based integration testing (JH, CI, MM), pp. 60–70.
- WICSA-1999-HofmeisterNS #architecture
- Describing Software Architecture with UML (CH, RLN, DS), pp. 145–160.
- ITiCSE-1999-Armentrout #design #java #source code
- A tool for designing Java programs with UML (AA), p. 180.
- AGTIVE-1999-PetriuW #architecture #modelling #performance
- From UML Descriptions of High-Level Software Architectures to LQN Performance Models (DCP, XW), pp. 47–62.
- AGTIVE-1999-Schleicher #formal method #graph transformation #modelling #process #using
- Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.
- EDOC-1999-AagedalM #enterprise #perspective
- ODP enterprise language: UML perspective (JØA, ZM), pp. 60–71.
- EDOC-1999-BlancGD #concept #enterprise #using
- Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.
- EDOC-1999-Linington #community #enterprise #policy #using
- Options for expressing ODP enterprise communities and their policies by using UML (PFL), pp. 72–82.
- UML-1999-BalustG #modelling #process #using
- Using UML for Software Process Modelling (JMRB, XF), pp. 292–307.
- UML-1999-BaumeisterKM #design #hypermedia #towards
- Towards a UML Extension for Hypermedia Design (HB, NK, LM), pp. 614–629.
- UML-1999-Belaunde #approach #flexibility #repository
- A Pragmatic Approach for Building a Flexible UML Model Repository (MB), pp. 188–203.
- UML-1999-Clark #diagrams #type checking
- Type Checking UML Static Diagrams (TC), pp. 503–517.
- UML-1999-DemeyerDT #why
- Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering (SD, SD, ST), pp. 630–644.
- UML-1999-DemuthH #constraints #database #design #ocl #relational #using
- Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.
- UML-1999-DSouzaSB
- First-Class Extensibility for UML-Profiles, Stereotypes, Patterns (DD, AS, AB), pp. 265–277.
- UML-1999-DykmanGK
- Nine Suggestions for Improving UML Extensibility (ND, MLG, RRK), pp. 236–248.
- UML-1999-EgyedM #architecture #integration #representation
- Extending Architectural Representation in UML with View Integration (AE, NM), pp. 2–16.
- UML-1999-EngelsHSW #collaboration #diagrams #java
- UML Collaboration Diagrams and their Transformation to Java (GE, RH, SS, AW), pp. 473–488.
- UML-1999-EvansK #approach #metamodelling #semantics
- Core Meta-Modelling Semantics of UML: The pUML Approach (AE, SK), pp. 140–155.
- UML-1999-GogollaRR #3d #animation #diagrams #towards
- Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
- UML-1999-Henderson-SellersAF
- A UML Variant: OML (BHS, CA, DF), pp. 49–66.
- UML-1999-Herzberg #embedded #modelling #realtime
- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.
- UML-1999-Hilliard #architecture #using
- Using the UML for Architectural Description (RH), pp. 32–48.
- UML-1999-Hruby #design #development #process
- Designing UML Based Development Processes (PH), pp. 308–323.
- UML-1999-KabousN #modelling #realtime
- Modeling Hard Real Time Systems with UML (LK, WN), pp. 339–355.
- UML-1999-Kahkipuro #distributed #framework #modelling #object-oriented #performance
- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems (PK), pp. 356–371.
- UML-1999-KimC #diagrams #formal method #using
- Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.
- UML-1999-Knapp #interactive #semantics
- A Formal Semantics for UML Interactions (AK), pp. 116–130.
- UML-1999-LiL #analysis #diagrams #sequence chart
- Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
- UML-1999-MatthesWB #component #modelling
- Modeling Dynamic Software Components with UML (FM, AW, MB), pp. 204–219.
- UML-1999-OffuttA #generative #specification #testing
- Generating Tests from UML Specifications (AJO, AA), pp. 416–429.
- UML-1999-PaltorL #formal method #model checking #state machine
- Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
- UML-1999-PetreBP #case study #contract
- Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
- UML-1999-RaczK #diagrams
- Tool-Supported Compressing of UML Class Diagrams (FDR, KK), pp. 172–187.
- UML-1999-SendallS #analysis #case study
- UML Based Fusion Analysis Applied to a Bank Case Study (SS, AS), pp. 278–291.
- UML-1999-Sourrouille #behaviour #implementation #inheritance #object-oriented
- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages (JLS), pp. 457–472.
- UML-1999-SuzukiY #component #modelling
- Extending UML for Modelling Reflective Software Componentsa (JS, YY), pp. 220–235.
- OOPSLA-1999-France #analysis #concept #modelling #problem #requirements
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.
- TOOLS-ASIA-1999-LiQ #testing
- Test Selection from UML Statecharts (LL, ZQ), pp. 273–281.
- TOOLS-ASIA-1999-LuZL #modelling #object-oriented #requirements
- Object-Oriented Requirements Modeling Based on UML (ML, XZ, ML), p. 133–?.
- TOOLS-ASIA-1999-XieYL #simulation
- Applying UML to Gas Turbine Engine Simulation (ZX, JY, JL), pp. 458–464.
- TOOLS-EUROPE-1999-Henderson-Sellers99b
- Introduction to the OPEN Method with UML (BHS), p. 399.
- TOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation
- Analysis by Contract: UML with Attitude! (RM), p. 407.
- TOOLS-EUROPE-1999-RumpeBK #re-engineering
- Applied Software Engineering Principles for UML (BR, RB, IK), p. 410.
- TOOLS-PACIFIC-1999-CookKWMRW #product line #using
- Defining UML Family Members Using Prefaces (SC, AK, JW, RM, BR, ACW), pp. 102–114.
- TOOLS-PACIFIC-1999-FavreC #algebra #specification
- Integrating UML and Algebraic Specification Techniques (LF, SC), pp. 151–162.
- TOOLS-USA-1999-Farfarakis #named #realtime
- Octopus/UML: Combining Objects with Real-Time (RF), pp. 479–489.
- TOOLS-USA-1999-GilHK #constraints #diagrams
- Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.
- TOOLS-USA-1999-Henderson-Sellers99a
- Introduction to the OPEN Method with UML (BHS), p. 504.
- TOOLS-USA-1999-Mitchell #analysis #contract
- Analysis by Contract or UML with Attitude (RM), p. 465–?.
- TOOLS-USA-1999-Wasserman #tool support
- Features of UML Tools (TW), p. 522.
- RE-1999-Spence #case study #process #requirements
- Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.
- ASE-1999-Bose #architecture #automation #modelling #simulation #using #verification
- Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN (PKB), pp. 102–109.
- ASE-1999-HoJGP #framework #named
- UMLAUT: An Extendible UML Transformation Framework (WMH, JMJ, ALG, FP), pp. 275–278.
- ASE-1999-LiliusP #modelling #named #verification
- vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.
ESEC-FSE-1999-JagerSW #modelling #process #using- Using UML for Software Process Modeling (DJ, AS, BW), pp. 91–108.
- ICSE-1999-SchaferZ #c++ #design pattern #java
- Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.
- FASE-1999-LanoE #development
- Rigorous Development in UML (KL, AE), pp. 129–144.
- TAGT-1998-SchurrW #graph grammar #term rewriting
- UML Packages for PROgrammed Graph REwriting Systems (AS, AJW), pp. 396–409.
- EDOC-1998-Iyengar #architecture #repository #using
- A universal repository architecture using the OMG UML and MOF (SSI), pp. 35–44.
- EDOC-1998-Kobryn #architecture #enterprise #modelling #using
- Modeling enterprise software architectures using UML (CK), pp. 25–34.
- EDOC-1998-LoosA #modelling #object-oriented #process
- Object-orientation in business process modeling through applying event driven process chains (EPC) in UML (PL, TA), pp. 102–112.
- EDOC-1998-OldevikB #distributed
- UML-based methodology for distributed systems (JO, AJB), pp. 2–13.
- EDOC-1998-SchaderK #approach #development #modelling #object-oriented #process
- Modeling business processes as part of the BOOSTER approach to business object-oriented system development based on UML (MS, AK), pp. 56–67.
- UML-1998-Allen #framework
- A Practical Framework for Applying UML (PA), pp. 419–433.
- UML-1998-ArlowEQ #modelling
- Literate Modelling — Capturing Business Knowledge with the UML (JA, WE, JQ), pp. 189–199.
- UML-1998-ArnoldP
- Best of Both Worlds — A Mapping from EXPRESS-G to UML (FA, GP), pp. 49–63.
- UML-1998-Atkinson #concept #framework
- Supporting and Applying the UML Conceptual Framework (CA), pp. 21–36.
- UML-1998-BezivinM #modelling #named #standard
- UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.
- UML-1998-BourdeauLR #analysis #case study #diagrams #experience
- Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.
- UML-1998-EvansFLR #formal method #modelling
- The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
- UML-1998-GogollaR #diagrams
- Transformation Rules for UML Class Diagrams (MG, MR), pp. 92–106.
- UML-1998-Henderson-Sellers #named
- OML: Proposals to Enhance UML (BHS), pp. 349–364.
- UML-1998-HitzK
- Developing with UML — Some Pitfalls and Workarounds (MH, GK), pp. 9–20.
- UML-1998-Hruby #design
- Structuring UML Design Deliverables (PH), pp. 278–293.
- UML-1998-KandeMPSW #design
- Applying UML to Design an Inter-domain Service Management Application (MMK, SM, OP, LS, MW), pp. 200–214.
- UML-1998-KhrissEK #automation #collaboration #diagrams #multi #statechart #synthesis
- Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.
- UML-1998-Kivisto #process
- Considerations of and Suggestions for a UML-Specific Process Model (KK), pp. 294–306.
- UML-1998-KleppeWC #constraints #metamodelling #ocl
- Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel (AK, JW, SC), pp. 148–161.
- UML-1998-KorthausK #development #process
- BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML (AK, SK), pp. 215–226.
- UML-1998-Kovacevic #modelling #user interface
- UML and User Interface Modeling (SK), pp. 253–266.
- UML-1998-LanoB #modelling #semantics
- Semantics and Transformations for UML Models (KL, JB), pp. 107–119.
- UML-1998-LanusseGT #approach #modelling #realtime
- Real-Time Modeling with UML: The ACCORD Approach (AL, SG, FT), pp. 319–335.
- UML-1998-LesterWB #reuse
- Applying UML Extensions to Facilitate Software Reuse (NGL, FGW, DWB), pp. 393–405.
- UML-1998-MellorTAL #execution #precise #semantics
- An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
- UML-1998-MensLS #evolution #modelling #reuse
- Supporting Disciplined Reuse and Evolution of UML Models (TM, CL, PS), pp. 378–392.
- UML-1998-OliveS #case study #experience #migration
- Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.
- UML-1998-Ou #constraints #database #design #diagrams #object-oriented #on the #specification #using
- On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints (YO), pp. 173–188.
- UML-1998-Paech #development #diagrams #on the #process
- On the Role of Activity Diagrams in UML — A User Task Centered Development Process for UML (BP), pp. 267–277.
- UML-1998-SaksenaLFE
- Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.
- UML-1998-SeemannG #diagrams #realtime #sequence chart
- Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
- UML-1998-SuzukiY #modelling
- Making UML Models Interoperables with UXF (JS, YY), pp. 78–91.
- TOOLS-ASIA-1998-GeZYZ #development
- A Development and Management Environment Based on UML (KG, LZ, SY, BZ), pp. 214–221.
- TOOLS-PACIFIC-1998-WatkinsDT #case study
- From UML to IDL: A Case Study (DW, MD, DT), p. 141–?.
- TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl
- Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
LCTES-1998-Selic #modelling #realtime #using- Using UML for Modeling Complex Real-Time Systems (BS), pp. 250–260.
- EDOC-1997-AagedalB
- ODP-Based QoS-Support in UML (JØA, AJB), pp. 310–321.
- UML-1997-BergnerRS
- A Critical Look upon UML 1.0 (KB, AR, MS), pp. 79–92.
- UML-1997-BreuGHRS #modelling
- Systems, Views and Models of UML (RB, RG, FH, BR, WS), pp. 93–108.
- UML-1997-Flatscher
- Exchange of UML-Models with EIA/CDIF (RF), pp. 3–13.
- UML-1997-GogollaR #constraints #on the #query
- On Constraints and Queries in UML (MG, MR), pp. 109–121.
- UML-1997-Holz #architecture
- Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.
- UML-1997-Kern-BauschJ #concept #semantics
- From a Semantically Irreducible Formulated Conceptual Schema to an UML Model (LKB, MJ), pp. 32–44.
- UML-1997-Korthaus #modelling #using
- Using UML for Business Object Based Systems Modeling (AK), pp. 220–237.
- UML-1997-Muller-Ettrich #development
- System Development with V-Model and UML (GME), pp. 238–249.
- UML-1997-NuttgensFZ #integration #modelling #process #question
- Business Process Modeling with EPC and UML: Transformation or Integration? (MN, TF, VZ), pp. 250–261.
- UML-1997-Ou #on the
- On Mapping Between UML and Entity-Relationship Model (YO), pp. 45–57.
- UML-1997-Prasse #comparison #evaluation #modelling #object-oriented
- Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML (MP), pp. 58–75.
- UML-1997-SchaderK #java #modelling #thread
- Modeling Java Threads in UML (MS, AK), pp. 122–143.
- UML-1997-SchroffT #using
- Conventions for the Practical Use of UML (AS, AT), pp. 262–270.
- UML-1997-SchurrW #concept
- Formal Definition of UML’s Package Concept (AS, AJW), pp. 144–159.
- UML-1997-WeberM #concept #diagrams #implementation #modelling #reuse #using
- Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling (WW, PM), pp. 190–203.
- UML-1997-WolfBP #process #re-engineering
- Software Engineering Process with the UML (MW, RB, IP), pp. 271–280.
- TOOLS-USA-1997-AllenHF #unification
- Method Unification: UML and OML (RA, BHS, DF), p. 372.
