BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
uml (174)
use (96)
class (90)
model (80)
base (67)

Stem diagram$ (all stems)

595 papers:

ECSAECSA-2015-PautassoIS #diagrams #modelling #rest
Modeling RESTful Conversations with Extended BPMN Choreography Diagrams (CP, AI, SS), pp. 87–94.
DATEDATE-2015-AhmadyanGNCV #analysis #diagrams #performance
Fast eye diagram analysis for high-speed CMOS circuits (SNA, CG, SN, EC, SV), pp. 1377–1382.
DRRDRR-2015-FuLLQT #diagrams #learning #multi #retrieval
A diagram retrieval method with multi-label learning (SF, XL, LL, JQ, ZT).
TACASTACAS-2015-DijkP #diagrams #manycore #named
Sylvan: Multi-Core Decision Diagrams (TvD, JvdP), pp. 677–691.
ICALPICALP-v1-2015-AronovK #algebra #diagrams #tool support
Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
SEFMSEFM-2015-DawC #diagrams #process #semantics #uml
An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
ICGTICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string
Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.
CHICHI-2015-HarboeH
Real-World Affinity Diagramming Practices: Bridging the Paper-Digital Gap (GH, EMH), pp. 95–104.
ICEISICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml
A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
SEKESEKE-2015-LongoV #diagrams #interactive
Creating User Scenarios through User Interaction Diagrams by Non-Technical Customers (DHL, PV), pp. 330–335.
SEKESEKE-2015-LopesMBC #diagrams #named
MoLVERIC: An Inspection Technique for MoLIC Diagrams (AL, ABM, SDJB, TC), pp. 13–17.
MODELSMoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.
MODELSMoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.
MoDELSMoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
SACSAC-2015-CostaCFR #diagrams #modelling #precise #uml
From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
SACSAC-2015-KimL #diagrams #qvt #sequence chart #using
Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
SACSAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml
Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.
SPLCSPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
SPLCSPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing
Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
ICLPICLP-2015-Charwat #diagrams #programming #research #summary #using
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
TAPTAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml
Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
TLCATLCA-2015-Bagnol #diagrams #equivalence #proving
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
DATEDATE-2014-AmaruGM #diagrams #performance
An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
ITiCSEITiCSE-2014-StrieweG #assessment #automation #diagrams #process #uml
Automated assessment of UML activity diagrams (MS, MG), p. 336.
FASEFASE-2014-FahrenbergALW #diagrams #difference
Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.
ICPCICPC-2014-ThungLOC #classification #design #diagrams #metric #network #using
Condensing class diagrams by analyzing design and network metrics using optimistic classification (FT, DL, MHO, MRVC), pp. 110–121.
SEFMSEFM-2014-LovatoMS #diagrams #library #thread
A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
CHICHI-2014-AlperRH #case study #diagrams #visual notation
Structuring the space: a study on enriching node-link diagrams with visual references (BA, NHR, TH), pp. 1825–1834.
CHICHI-2014-JangMH #communication #named
BodyDiagrams: improving communication of pain symptoms through drawing (AJ, DLM, JH), pp. 1153–1162.
HCIHCI-AIMT-2014-NieblingSKS #diagrams #editing #gesture #interactive #modelling #multi
Model-Based Multi-touch Gesture Interaction for Diagram Editors (FN, DS, RK, TS), pp. 121–130.
ICEISICEIS-v2-2014-MarcolinoOG #approach #diagrams #effectiveness #sequence chart #towards #variability
Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level (AM, EAOJ, IMdSG), pp. 249–256.
ICEISICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #modelling #synthesis #towards #visual notation
A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEISICEIS-v3-2014-GoncalvesSC #case study #diagrams #metric #process #using
Using Activity Diagrams and DEMO to Capture Relevant Measures in an Organizational Control — A Case Study on Remote Assistance Service (AG, PS, AC), pp. 303–310.
ICMLICML-c1-2014-ChazalGLM #convergence #data analysis #diagrams #estimation #persistent
Convergence rates for persistence diagram estimation in Topological Data Analysis (FC, MG, CL, BM), pp. 163–171.
KRKR-2014-KisaBCD #diagrams #probability
Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).
MLDMMLDM-2014-BugaychenkoZ #diagrams #learning #multi #pattern matching #pattern recognition #performance #recognition #using
Fast Pattern Recognition and Deep Learning Using Multi-Rooted Binary Decision Diagrams (DB, DZ), pp. 73–77.
SEKESEKE-2014-CostaMM #detection #diagrams #equivalence #semantics #uml
Detecting Semantic Equivalence in UML Class Diagrams (VOC, RM, LM), pp. 318–323.
SEKESEKE-2014-HuHCC #diagrams #execution #model transformation #uml
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
SEKESEKE-2014-MarinQ #diagrams #metric
A COSMIC Measurement Procedure for BPMN Diagrams (BM, JQ), pp. 408–411.
MODELSMoDELS-2014-MaraeeB #diagrams #uml
Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
MODELSMoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml
On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.
MODELSMoDELS-2014-MaraeeB #diagrams #uml
Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
MODELSMoDELS-2014-Storrle #comprehension #diagrams #layout #matter #on the #quality #uml
On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.
RERE-2014-SlavinLNB #diagrams #feature model #requirements #security #using
Managing security requirements patterns using feature diagram hierarchies (RS, JML, JN, TDB), pp. 193–202.
SACSAC-2014-MazelFF #comparison #detection #diagrams #network #visual notation
Visual comparison of network anomaly detectors with chord diagrams (JM, RF, KF), pp. 473–480.
SACSAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
FSEFSE-2014-BaltesD #diagrams #sketching
Sketches and diagrams in practice (SB, SD), pp. 530–541.
FSEFSE-2014-BaltesSD #diagrams #sketching #source code
Linking sketches and diagrams to source code artifacts (SB, PS, SD), pp. 743–746.
SLESLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
RTARTA-TLCA-2014-AotoTU #confluence #diagrams #proving #term rewriting
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams (TA, YT, KU), pp. 46–60.
RTARTA-TLCA-2014-Mellies #diagrams #string
Local States in String Diagrams (PAM), pp. 334–348.
ECSAECSA-2013-HaitzerZ #architecture #component #comprehension #design #diagrams #empirical
Controlled Experiment on the Supportive Effect of Architectural Component Diagrams for Design Understanding of Novice Architects (TH, UZ), pp. 54–71.
DATEDATE-2013-ElbayoumiHE #concurrent #diagrams #manycore #novel
A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms (ME, MSH, MYE), pp. 1427–1430.
CSMRCSMR-2013-ScannielloGT #comprehension #diagrams #sequence chart #source code
An Early Investigation on the Contribution of Class and Sequence Diagrams in Source Code Comprehension (GS, CG, GT), pp. 367–370.
ICPCICPC-2013-FalconeS #diagrams #eclipse #graph #named #plugin #uml #visualisation
OnionUML: An Eclipse plug-in for visualizing UML class diagrams in onion graph notation (MF, BS), pp. 233–235.
ICSMEICSM-2013-LabicheKM #analysis #diagrams
Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.
ICSMEICSM-2013-OsmanCP #algorithm #analysis #diagrams #machine learning
An Analysis of Machine Learning Algorithms for Condensing Reverse Engineered Class Diagrams (MHO, MRVC, PvdP), pp. 140–149.
ICALPICALP-v1-2013-BohlerCKLPZ #complexity #diagrams #higher-order #on the
On the Complexity of Higher Order Abstract Voronoi Diagrams (CB, PC, RK, CHL, EP, MZ), pp. 208–219.
IFMIFM-2013-Prehofer #behaviour #diagrams #refinement #specification
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
GT-VMTGT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
GT-VMTGT-VMT-2013-MaierM #approach #diagrams #layout
A Pattern-based Approach for Initial Diagram Layout (SM, MM).
HCIHCI-AMTE-2013-MayasHK #classification #diagrams #process
Extending the Information of Activity Diagrams with a User Input Classification (CM, SH, HK), pp. 391–400.
HCIHCI-IMT-2013-DharmaT #diagrams
Mapping Texture Phase Diagram of Artificial Haptic Stimuli Generated by Vibrotactile Actuators (AAGD, KT), pp. 578–586.
HCIHCI-UC-2013-KellenCF #diagrams #performance #probability #problem
Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
KDIRKDIR-KMIS-2013-ItalaH #behaviour #diagrams #process #using
Using Stocks and Flows Diagrams to Understand Business Process Behavior (TI, MH), pp. 552–558.
SEKESEKE-2013-AnchietaSM #case study #diagrams #identification #prototype #uml #user interface #using
Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases (RTA, RFdS, RSM), pp. 48–53.
SEKESEKE-2013-AssuncaoV #diagrams #optimisation #retrieval
Class Diagram Retrieval with Particle Swarm Optimization (WKGA, SRV), pp. 632–637.
SEKESEKE-2013-ElshaarawyHT #diagrams #framework #ocl #towards
Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S) (ME, HSH, IAHT), pp. 479–482.
SEKESEKE-2013-YoonMPP #diagrams #reverse engineering #sequence chart
Reverse Engineering of Sequence Diagrams by Merging Call Trees (SY, SM, SP, SP), pp. 368–374.
MODELSMoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml
Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
MODELSMoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml
Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
ICSEICSE-2013-ScharfA #diagrams #editing #injection #sketching
Dynamic injection of sketching features into GEF based diagram editors (AS, TA), pp. 822–831.
CAVCAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using
Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
ICSTICST-2013-UrataK #diagrams #testing #visualisation
Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.
ICTSSICTSS-2013-EnoiuSP #diagrams #logic #testing #using
Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.
ICTSSICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
RTARTA-2013-FelgenhauerO #diagrams #order #proving
Proof Orders for Decreasing Diagrams (BF, VvO), pp. 174–189.
RTARTA-2013-Zankl #confluence #diagrams
Confluence by Decreasing Diagrams — Formalized (HZ), pp. 352–367.
FoSSaCSFoSSaCS-2012-CaliGOP #diagrams #query #uml
Querying UML Class Diagrams (AC, GG, GO, AP), pp. 1–25.
ICPCICPC-2012-SohSPPGA #comprehension #diagrams #empirical #uml
Professional status and expertise for UML class diagram comprehension: An empirical study (ZS, ZS, BVdP, GCP, YGG, GA), pp. 163–172.
WCREWCRE-2012-AmmarA #diagrams #empirical #evaluation #runtime
Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
SEFMSEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process
Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
GT-VMTGT-VMT-2012-MaierM #ad hoc #automation #diagrams #editing #layout
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout (SM, MM).
CHICHI-2012-CheemaGL #diagrams #experience #geometry #named
QuickDraw: improving drawing experience for geometric diagrams (SC, SG, JJLJ), pp. 1037–1064.
CSCWCSCW-2012-HarboeMIH #collaboration #data analysis #diagrams
Computer support for collaborative data analysis: augmenting paper affinity diagrams (GH, JM, II, EMH), pp. 1179–1182.
KRKR-2012-WilsonM #axiom #diagrams #framework #order
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).
SEKESEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
SEKESEKE-2012-DamianiV #automation #diagrams #generative #interactive #interface #web
Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
SEKESEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SEKESEKE-2012-SalamiA #algorithm #diagrams #framework #retrieval #search-based #using
A Framework for Class Diagram Retrieval Using Genetic Algorithm (HOS, MAA), pp. 737–740.
ECMFAECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
REFSQREFSQ-2012-ChowdhuryMSK #diagrams #requirements #risk management #security
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions (MJMC, RM, GS, PK), pp. 132–139.
REFSQREFSQ-2012-RaspotnigO #analysis #case study #diagrams #sequence chart
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams (CR, ALO), pp. 117–131.
SACSAC-2012-ChanvilaiHNTO #approach #constraints #diagrams #ocl
Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.
SACSAC-2012-EmirisMM #algorithm #diagrams
Yet another algorithm for generalized Voronoï Diagrams (IZE, AM, BM), pp. 109–110.
SACSAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
FSEFSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
ICSEICSE-2012-Motta #modelling #multi #towards #uml #verification
Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.
SLESLE-2012-WidlBBEHKST #diagrams #sequence chart
Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.
LICSLICS-2012-Mellies #diagrams #game studies #semantics #string
Game Semantics in String Diagrams (PAM), pp. 481–490.
TAPTAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.
VMCAIVMCAI-2012-Bugaychenko #diagrams #model checking #multi #on the #probability
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking (DB), pp. 104–118.
WICSAWICSA-2011-SavolainenMM #dependence #diagrams #industrial
Evaluating Simple Dependency Diagrams in Industry (JS, VM, TM), pp. 224–227.
DACDAC-2011-Stergiou #diagrams #network #order #permutation
Implicit permutation enumeration networks and binary decision diagrams reordering (SS), pp. 615–620.
ITiCSEITiCSE-2011-Buck #diagrams #editing #generative #named #user interface
GUIGraph: editing live object diagrams for GUI generation enables new pedagogy in CS1/2 (DB), pp. 193–197.
ITiCSEITiCSE-2011-StrieweG #automation #diagrams #uml
Automated checks on UML diagrams (MS, MG), pp. 38–42.
ICSMEICSM-2011-Sharif #architecture #assessment #diagrams #empirical #uml
Empirical assessment of UML class diagram layouts based on architectural importance (BS), pp. 544–549.
SCAMSCAM-2011-RoubtsovSMB #diagrams #enterprise #java #named #reverse engineering #sequence chart
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors (SAR, AS, AM, MvdB), pp. 155–164.
SEFMSEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
GCMGCM-2010-HoffmannM11 #adaptation #diagrams #generative #graph
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars (BH, MM).
AGTIVEAGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
AGTIVEAGTIVE-2011-MaierM #diagrams #editing #integration #layout
Integration of a Pattern-Based Layout Engine into Diagram Editors (SM, MM), pp. 89–96.
AGTIVEAGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
GT-VMTGT-VMT-2011-BottoniF #diagrams #specification #visual notation
A visual language for temporal specifications based on Spider diagrams (PB, AF).
HCIHCI-MIIE-2011-ShibuyaNM #diagrams #documentation #float #mobile #performance
An Efficient Document Browsing Method with Floating Diagram Window on Mobile Device (YS, KN, KM), pp. 101–106.
VISSOFTVISSOFT-2011-WalnyHDSC #development #diagrams #lifecycle #sketching
Follow that sketch: Lifecycles of diagrams and sketches in software development (JW, JH, MD, JS, MSTC), pp. 1–8.
ICEISICEIS-v2-2011-Yi #diagrams
Passenger-oriented Ergonomic Ergonomic Drawing of Diagram Map for Chinese Railway Passengers’ Lines (JY), pp. 389–393.
ICEISICEIS-v3-2011-PapatheocharousTYA #agile #cost analysis #development #diagrams #estimation #modelling #using
Cost Modeling and Estimation in Agile Software Development Environments using Influence Diagrams (EP, DT, PSY, ASA), pp. 117–127.
SEKESEKE-2011-PossompesDHT #design #diagrams #feature model #implementation #uml
Design of a UML profile for feature diagrams and its tooling implementation (TP, CD, MH, CT), pp. 693–698.
ICMTICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine #uml
From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
ECMFAECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards #uml
Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.
MODELSMoDELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.
MODELSMoDELS-2011-ElaasarL #case study #diagrams #uml
Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
MODELSMoDELS-2011-FeinererSS #diagrams #multi
Reducing Multiplicities in Class Diagrams (IF, GS, TS), pp. 379–393.
MODELSMoDELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics
Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
MODELSMoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
MODELSMoDELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.
MODELSMoDELS-2011-ElaasarL #case study #diagrams #uml
Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
MODELSMoDELS-2011-FeinererSS #diagrams #multi
Reducing Multiplicities in Class Diagrams (IF, GS, TS), pp. 379–393.
MODELSMoDELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics
Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
MODELSMoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
ECOOPECOOP-2011-MaozRR #diagrams #difference #named #semantics
CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
ECOOPECOOP-2011-MaozRR11a #diagrams
Modal Object Diagrams (SM, JOR, BR), pp. 281–305.
GPCEGPCE-2011-LiNN #diagrams #generative #geometry #source code
Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
SACSAC-2011-EbraertSJ #design #diagrams #feature model #implementation
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation (PE, QDS, DJ), pp. 1345–1352.
SACSAC-2011-KimDB #dependence #diagrams #identification #state machine #uml
Identifying properties of UML state machine diagrams that affect data and control dependence (HK, VD, DHB), pp. 1464–1469.
SACSAC-2011-QueirozGRGQ #diagrams #education #interactive #interface
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training (AEdMQ, ASG, CR, AG, SSdQ), pp. 1212–1213.
ESEC-FSEESEC-FSE-2011-MaozRR #diagrams #difference #named #process #semantics
ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
ICSEICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet
Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
ISSTAISSTA-2011-SegallTF #combinator #design #diagrams #using
Using binary decision diagrams for combinatorial test design (IS, RTB, EF), pp. 254–264.
RTARTA-2011-ZanklFM #diagrams
Labelings for Decreasing Diagrams (HZ, BF, AM), pp. 377–392.
ICSTSAT-2011-Minato #diagrams #named #performance #permutation #problem
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
QoSAQoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #process #uml #usability
Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users (DB, SO), pp. 119–134.
DATEDATE-2010-ChengLW #diagrams #optimisation
Optimization of FIR filter to improve eye diagram for general transmission line systems (YSC, YCL, RBW), pp. 1321–1324.
VLDBVLDB-2010-SharifzadehS #diagrams #named #nearest neighbour #performance #query
VoR-Tree: R-trees with Voronoi Diagrams for Efficient Processing of Spatial Nearest Neighbor Queries (MS, CS), pp. 1231–1242.
WCREWCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
FLOPSFLOPS-2010-KetemaS #bound #diagrams #term rewriting #λ-calculus
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (JK, JGS), pp. 272–287.
SOFTVISSOFTVIS-2010-Booch #developer #diagrams #question #why
Why don’t developers draw diagrams? (GB), pp. 3–4.
SOFTVISSOFTVIS-2010-FrischD #diagrams #visualisation
Off-screen visualization techniques for class diagrams (MF, RD), pp. 163–172.
SOFTVISSOFTVIS-2010-KerrenJ #3d #analysis #diagrams #interactive #metric #roadmap
3D kiviat diagrams for the interactive analysis of software metric trends (AK, IJ), pp. 203–204.
CAiSECAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety #sequence chart
Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.
SEKESEKE-2010-ParkHK #diagrams #sequence chart #uml #verification
Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
ECMFAECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
ECMFAECMFA-2010-YueBL #approach #automation #case study #diagrams #process
An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
ICMTICMT-2010-GronmoM #diagrams #graph transformation #sequence chart #state machine
From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
MODELSMoDELS-v1-2010-GronnigerRR #diagrams #process #semantics #towards
Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.
ECOOPECOOP-2010-HermansPD #automation #diagrams #spreadsheet
Automatically Extracting Class Diagrams from Spreadsheets (FH, MP, AvD), pp. 52–75.
SACSAC-2010-Nakajima #automation #diagrams #feature model
Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.
SPLCSPLC-2010-CosmoZ #dependence #diagrams #feature model
Feature Diagrams as Package Dependencies (RDC, SZ), pp. 476–480.
SPLCSPLC-2010-Duszynski #diagrams #matrix #variability #visualisation
Visualizing and Analyzing Software Variability with Bar Diagrams and Occurrence Matrices (SD), pp. 481–485.
SPLCSPLC-2010-GilKM #constraints #diagrams #feature model #modelling
Sans Constraints? Feature Diagrams vs. Feature Models (JYG, SKD, IM), pp. 271–285.
SPLCSPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
SPLCSPLC-2010-Nakajima #automation #diagrams #encoding #feature model
Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
ICSTICST-2010-PavlovicE #diagrams #model checking
Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.
IJCARIJCAR-2010-HirokawaM #diagrams #termination
Decreasing Diagrams and Relative Termination (NH, AM), pp. 487–501.
RTARTA-2010-Aoto #automation #confluence #diagrams #proving
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling (TA), pp. 7–16.
DocEngDocEng-2009-Lumley #automation #diagrams #xml
Automated extensible XML tree diagrams (JWL), pp. 123–126.
ICDARICDAR-2009-HoangTP #diagrams #image #using
Extraction of Nom Text Regions from Stele Images Using Area Voronoi Diagram (TVH, ST, NYP), pp. 921–925.
ICDARICDAR-2009-StoffelTR #commutative #diagrams #online #recognition
Recognition of On-Line Handwritten Commutative Diagrams (AS, ET, RR), pp. 1211–1215.
CSEETCSEET-2009-Hai #collaboration #diagrams #object-oriented #re-engineering #student
The Role of Collaboration Diagrams in OO Software Engineering Student Projects (LH), pp. 93–100.
ITiCSEITiCSE-2009-ThomasWS #automation #diagrams #tool support
Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
FASEFASE-2009-JurackLMTW #diagrams #process
Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.
TACASTACAS-2009-Thierry-MiegPHK #diagrams #modelling #set
Hierarchical Set Decision Diagrams and Regular Models (YTM, DP, AH, FK), pp. 1–15.
CSMRCSMR-2009-ByelasT #diagrams #multi #visualisation
Visualizing Multivariate Attributes on Software Diagrams (HB, ACT), pp. 335–338.
ICPCICPC-2009-SharifM #comprehension #diagrams #empirical #uml
An empirical study on the comprehension of stereotyped UML class diagram layouts (BS, JIM), pp. 268–272.
WCREWCRE-1999-SerebrenikRRB99a #diagrams #enterprise #java #reverse engineering #sequence chart
Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors (AS, SAR, EER, MvdB), pp. 269–273.
IFMIFM-2009-ZeydaC #diagrams
Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.
ICFPICFP-2009-Piponi #commutative #diagrams #monad
Commutative monads, diagrams and knots (DPP), pp. 231–232.
GT-VMTGT-VMT-2009-BottoniS #adaptation #diagrams #process #workflow
Resource-based enactment and adaptation of workflows from activity diagrams (PB, AS), pp. 159–170.
GT-VMTGT-VMT-2009-Fish #diagrams
Euler Diagram Transformations (AF), pp. 50–66.
GT-VMTGT-VMT-2009-GieseHS #diagrams #flexibility #scalability
Improved Flexibility and Scalability by Interpreting Story Diagrams (HG, SH, AS), pp. 147–158.
GT-VMTGT-VMT-2009-MazanekM #diagrams #editing #generative
Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.
GT-VMTGT-VMT-2009-MazanekM09a #diagrams #parsing #using
Contraction of Unconnected Diagrams using Least Cost Parsing (SM, MM), pp. 189–201.
CHICHI-2009-YataniCJT #comprehension #development #diagrams #how #open source #why
Understanding how and why open source contributors use diagrams in the development of Ubuntu (KY, EC, CJ, KNT), pp. 995–1004.
HCIHCI-NIMT-2009-GeigerRDKB #diagrams #scalability #user interface
A Zoomable User Interface for Presenting Hierarchical Diagrams on Large Screens (CG, HR, RD, SK, JB), pp. 791–800.
HCIHCI-NIMT-2009-MaierM #diagrams #editing #specification
Specification of a Drawing Facility for Diagram Editors (SM, MM), pp. 850–859.
HCIHCI-NIMT-2009-Whitman #diagrams #effectiveness
The Effectiveness of Interactivity in Computer-Based Instructional Diagrams (LW), pp. 899–908.
VISSOFTVISSOFT-2009-SharifM #comprehension #diagrams #empirical #layout #uml
The effect of layout on the comprehension of UML class diagrams: A controlled experiment (BS, JIM), pp. 11–18.
CAiSECAiSE-2009-SalayM #diagrams #quality #test coverage #using
Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
ICEISICEIS-AIDSS-2009-RaimbaultGL #diagrams #information management #uml #using
Using UML Class Diagram as a Knowledge Engineering Tool (TR, DG, SL), pp. 60–65.
SEKESEKE-2009-GratiTG #diagrams #interactive #quality
Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.
SEKESEKE-2009-LiangKS #approach #automation #case study #diagrams
Automatic Class Matching to Compare Extracted Class Diagrams: Approach and Case Study (YL, NAK, RKS), pp. 268–273.
SEKESEKE-2009-Nakajima #diagrams #feature model
Constructing FODA Feature Diagrams with a GUI-based Tool (SN), pp. 20–25.
MODELSMoDELS-2009-MazanekM #diagrams #editing #modelling #process
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
MODELSMoDELS-2009-MazanekM #diagrams #editing #modelling #process
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
TOOLSTOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #uml #using
Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.
POPLPOPL-2009-LublinermanST #code generation #composition #diagrams
Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
RERE-2009-GrossD #diagrams #process #requirements #uml
EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
SACSAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SACSAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
SPLCSPLC-2009-Fernandez-AmorosGS #diagrams #feature model #modelling #product line
Inferring information from feature diagrams to product line economic models (DFA, RHG, JACS), pp. 41–50.
ECSAECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #metaprogramming #ontology #using
Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
DATEDATE-2008-LublinermanT #code generation #composition #diagrams #reuse
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
DocEngDocEng-2008-McCormackMM #adaptation #authoring #diagrams
Authoring adaptive diagrams (CLM, KM, BM), pp. 154–163.
VLDBVLDB-2008-DDH #diagrams #identification #reduction #robust
Identifying robust plans through plan diagram reduction (HD, PND, JRH), pp. 1124–1140.
VLDBVLDB-2008-DeyBDH #approximate #diagrams #query
Efficiently approximating query optimizer plan diagrams (AD, SB, HD, JRH), pp. 1325–1336.
VLDBVLDB-2008-NutanongZTK #approach #query
The V*-Diagram: a query-dependent approach to moving KNN queries (SN, RZ, ET, LK), pp. 1095–1106.
CSMRCSMR-2008-LuciaGOT #diagrams #maintenance #modelling #process #uml
Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models (ADL, CG, RO, GT), pp. 173–182.
ICPCICPC-2008-LuciaGOT #comparison #comprehension #diagrams #empirical #uml
Data Model Comprehension: An Empirical Comparison of ER and UML Class Diagrams (ADL, CG, RO, GT), pp. 93–102.
WCREWCRE-2008-AlalfiCD #database #diagrams #named #relational #reverse engineering #sql #uml #xmi
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas (MHA, JRC, TRD), pp. 187–191.
WCREWCRE-2008-ByelasT #diagrams #lens #metric #visualisation
The Metric Lens: Visualizing Metrics and Structure on Software Diagrams (HB, ACT), pp. 339–340.
GT-VMTGT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
GT-VMTGT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching #syntax
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).
GT-VMTGT-VMT-2008-RensinkK #diagrams #graph #on the #semantics #uml
On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
SOFTVISSOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout #uml
Automatic layout of UML use case diagrams (HE), pp. 105–114.
SOFTVISSOFTVIS-2008-FrischDB #diagrams #semantics #towards #uml
Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.
SOFTVISSOFTVIS-2008-XieKSDF #diagrams #sequence chart
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
EDOCEDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net #sequence chart
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.
ICEISICEIS-ISAS2-2008-ShigemitsuS #diagrams
Extracting Class Structure Based on Fishbone Diagrams (MS, YS), pp. 460–465.
ICEISICEIS-ISAS2-2008-TakakiSTIT #consistency #diagrams #quality #workflow
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency (OT, TS, IT, NI, KT), pp. 351–359.
SEKESEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive #uml
Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
SEKESEKE-2008-DezhkamS #design #diagrams
Knowledge Transformation from Task Scenarios to View-based Design Diagrams (ND, KS), pp. 26–32.
SEKESEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SEKESEKE-2008-NavarroMFC #design #diagrams #web #workflow
Translating Workflow Diagrams into Web Designs (AN, JM, AFV, JC), pp. 667–672.
ECMFAECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #semantics #sequence chart
Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.
ICMTICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving
Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MODELSMoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
MODELSMoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml
X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
MODELSMoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.
MODELSMoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
MODELSMoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml
X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.
MODELSMoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.
SACSAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
SACSAC-2008-OsadaOKKK #diagrams #metric #using
Proposing metrics of difficulty of domain knowledge using usecase diagrams (AO, DO, NK, HK, KK), pp. 624–629.
SACSAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using
Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
ATEMATEM-J-2006-HeymansSTBMC #diagrams #feature model
Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
SLESLE-2008-MoodyH #analysis #diagrams #effectiveness #syntax #uml #visual notation
Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams (DLM, JvH), pp. 16–34.
SPLCSPLC-2008-HartmannT #diagrams #feature model #multi #product line #using #variability
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains (HH, TT), pp. 12–21.
CSLCSL-2008-Curien #diagrams #string
The Joy of String Diagrams (PLC), pp. 15–22.
ICSTICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
RTARTA-2008-LafontR #case study #diagrams #matrix #orthogonal
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks (YL, PR), pp. 232–245.
RTARTA-2008-Oostrom #confluence #diagrams
Confluence by Decreasing Diagrams (VvO), pp. 306–320.
ASEASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security
Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.
ASEASE-2007-SmaragdakisCS #automation #diagrams #generative #modelling #scalability #testing
Scalable automatic test data generation from modeling diagrams (YS, CC, RS), pp. 4–13.
CASECASE-2007-GuoZW #automation #design #diagrams #flexibility #named #state machine
DiagramDraw: A State Machine Diagram Designer for Flexible Automation (WG, MZ, DW), pp. 352–356.
DATEDATE-2007-CiesielskiAGGB #data flow #diagrams #using
Data-flow transformations using Taylor expansion diagrams (MJC, SA, DGP, JG, EB), pp. 455–460.
ICDARICDAR-2007-CasellaDM #diagrams #multi #recognition
A Multi-Agent System for Hand-drawn Diagram Recognition (GC, VD, VM), pp. 739–743.
ICDARICDAR-2007-HickinbothamC #knowledge-based #recognition
Knowledge-Based Recognition of Utility Map Sub-Diagrams (SJH, AGC), pp. 213–217.
ICDARICDAR-2007-MasSLL #algorithm #diagrams #incremental #online #parsing #sketching
An Incremental On-line Parsing Algorithm for Recognizing Sketching Diagrams (JM, GS, JL, BL), pp. 452–456.
VLDBVLDB-2007-DDH #diagrams #on the
On the Production of Anorexic Plan Diagrams (HD, PND, JRH), pp. 1081–1092.
ITiCSEITiCSE-2007-Dickinson07a #diagrams
“Touching the void”…: narrowing the crevasse between the tactile diagrams that tutors request and those that work in reality (AD), p. 339.
ITiCSEITiCSE-2007-ThomasSW #assessment #diagrams
Computer assisted assessment of diagrams (PGT, NS, KGW), pp. 68–72.
FASEFASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml
S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
FASEFASE-2007-KleinG #diagrams #specification #using
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.
TACASTACAS-2007-YuCL #bound #diagrams #reachability #using
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
ICPCICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
ICPCICPC-2007-YusufKM #comprehension #diagrams #eye tracking #uml
Assessing the Comprehension of UML Class Diagrams via Eye Tracking (SY, HHK, JIM), pp. 113–122.
STOCSTOC-2007-ChanP #diagrams
Voronoi diagrams in n·2osqrt(lg lg n) time (TMC, MP), pp. 31–39.
SEFMSEFM-2007-DanHC #diagrams #semantics #sequence chart #thread
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
SEFMSEFM-2007-Lano #diagrams #interactive #specification #using
Formal Specification using Interaction Diagrams (KL), pp. 293–304.
SFMSFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation
Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.
AGTIVEAGTIVE-2007-GronmoM #diagrams #modelling #process #uml
Aspect Diagrams for UML Activity Models (RG, BMP), pp. 329–344.
HCIHCI-IPT-2007-MaceA #constraints #design #diagrams #editing #multi
Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars (SM, ÉA), pp. 418–428.
VISSOFTVISSOFT-2007-KagdiM #diagrams #graph #uml
Onion Graphs for Focus+Context Views of UML Class Diagrams (HHK, JIM), pp. 80–87.
SEKESEKE-2007-LimCR #automation #case study #diagrams #documentation #generative #specification
Automatic Generation of Use Case Diagrams from English Specifications Document (NRTL, CTC, JAER), pp. 203–208.
ECMFAECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
REFSQREFSQ-2007-Sindre #diagrams #process
Mal-Activity Diagrams for Capturing Attacks on Business Processes (GS), pp. 355–366.
SACSAC-MT-J-2006-AlanenLP07 #diagrams #model transformation
Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.
SACSAC-2007-VignagaB #design #diagrams #interactive
Transforming system operations’ interactions into a design class diagram (AV, MCB), pp. 993–997.
ESEC-FSEESEC-FSE-2007-GrechanikMP #traceability #using
Recovering and using use-case-diagram-to-source-code traceability links (MG, KSM, DEP), pp. 95–104.
ICSEICSE-2007-GrundyH #diagrams #sketching #visual notation
Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.
SPLCSPLC-2007-BragancaM #automation #case study #diagrams #feature model #modelling #product line
Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines (AB, RJM), pp. 3–12.
SPLCSPLC-2007-CzarneckiW #diagrams #feature model #logic
Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.
ASEASE-2006-ReinhardSMGM #diagrams
Human-Friendly Line Routing for Hierarchical Diagrams (TR, CS, SM, MG, NMS), pp. 273–276.
ASEASE-2006-SatohKU #diagrams #uml
Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
DATEDATE-2006-AbdollahiP #analysis #diagrams #quantum #synthesis #using
Analysis and synthesis of quantum circuits by using quantum decision diagrams (AA, MP), pp. 317–322.
DATEDATE-2006-GuillotBRCGA #diagrams #performance #using
Efficient factorization of DSP transforms using taylor expansion diagrams (JG, EB, QR, MJC, DGP, SA), pp. 754–755.
ITiCSEITiCSE-2006-HigginsB #assessment #diagrams
Formative computer based assessment in diagram based domains (CAH, BB), pp. 98–102.
ITiCSEITiCSE-2006-ThomasWS #automation #using
Using patterns in the automatic marking of ER-diagrams (PGT, KGW, NS), pp. 83–87.
TACASTACAS-2006-SiminiceanuC #diagrams #metric
New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
WCREWCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
FMFM-2006-LundS #diagrams #semantics #sequence chart #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
SOFTVISSOFTVIS-2006-ByelasT #architecture #diagrams #visualisation
Visualization of areas of interest in software architecture diagrams (HB, ACT), pp. 105–114.
SOFTVISSOFTVIS-2006-GudenbergNEE #diagrams #layout #uml
Evolutionary layout of UML class diagrams (JWvG, AN, ME, HE), pp. 163–164.
SOFTVISSOFTVIS-2006-SiebenhallerK #diagrams #process
Drawing activity diagrams (MS, MK), pp. 159–160.
EDOCEDOC-2006-JohnsonLNS #analysis #architecture #diagrams #enterprise
Extended Influence Diagrams for Enterprise Architecture Analysis (PJ, RL, PN, MS), pp. 3–12.
ECIRECIR-2006-Tamine-LechaniB #diagrams #information management #information retrieval
Influence Diagrams for Contextual Information Retrieval (LTL, MB), pp. 464–467.
KDDKDD-2006-LoekitoB #diagrams #mining #performance #using
Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams (EL, JB), pp. 307–316.
SEKESEKE-2006-HoipkemierKM #3d #diagrams #open source #visualisation
3D Visualization of Class Template Diagrams for Deployed Open Source Applications (BNH, NAK, BAM), pp. 232–235.
SEKESEKE-2006-LinWCS #case study #diagrams #modelling #process #uml
UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.
SEKESEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
SEKESEKE-2006-PiaoWCC #analysis #diagrams #process #uml
An Analysis Model of Activity Diagram in UML 2.0 (WCP, CHW, WCC, LPC), pp. 562–567.
MODELSMoDELS-2006-AlanenLP #diagrams #modelling
A Mapping Language from Models to DI Diagrams (MA, TL, IP), pp. 454–468.
MODELSMoDELS-2006-HendricksonJH #design #diagrams #process
Layered Class Diagrams: Supporting the Design Process (SAH, BJ, AvdH), pp. 722–736.
MODELSMoDELS-2006-AlanenLP #diagrams #modelling
A Mapping Language from Models to DI Diagrams (MA, TL, IP), pp. 454–468.
MODELSMoDELS-2006-HendricksonJH #design #diagrams #process
Layered Class Diagrams: Supporting the Design Process (SAH, BJ, AvdH), pp. 722–736.
RERE-2006-SchobbensHT #bibliography #diagrams #feature model #semantics
Feature Diagrams: A Survey and a Formal Semantics (PYS, PH, JCT), pp. 136–145.
SACSAC-2006-AlanenLP #diagrams #model transformation
Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SACSAC-2006-FekihAM #diagrams #specification #state machine #uml
Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.
SACSAC-2006-GuelfiM #diagrams #framework #process #specification #uml
A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
ICSEICSE-2006-MandelinKY #approach #architecture #diagrams #modelling
A Bayesian approach to diagram matching with application to architectural models (DM, DK, DMY), pp. 222–231.
SPLCSPL-BOOK-2006-Engelsma #diagrams #evolution #incremental #integration #multi #product line #using
Incremental Systems Integration within Multidisciplinary Product Line Engineering Using Configuration Item Evolution Diagrams (EE), pp. 523–555.
CSLCSL-2006-Mellies #diagrams #string
Functorial Boxes in String Diagrams (PAM), pp. 1–30.
ASEASE-2005-MehraGH #approach #collaboration #design #diagrams #difference
A generic approach to supporting diagram differencing and merging for collaborative design (AM, JCG, JGH), pp. 204–213.
ASEASE-2005-Milanova #composition #diagrams #identification #precise #uml
Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
ICDARICDAR-2005-LuT #diagrams #documentation #image
Constructing Area Voronoi Diagram in Document Images (YL, CLT), pp. 342–346.
ICDARICDAR-2005-Szummer #diagrams #learning #random
Learning Diagram Parts with Hidden Random Fields (MS), pp. 1188–1193.
VLDBVLDB-2005-ReddyH #database #diagrams #query
Analyzing Plan Diagrams of Database Query Optimizers (NR, JRH), pp. 1228–1240.
CSEETCSEET-2005-Cowling #approach #diagrams #formal method
Translating Diagrams: A New Approach to Introducing Formal Methods (AJC), pp. 121–128.
ITiCSEITiCSE-2005-ThomasWS #automation
Experiments in the automatic marking of ER-diagrams (PGT, KGW, NS), pp. 158–162.
FASEFASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
CSMRCSMR-2005-BernardiL #case study #diagrams #named
UsCaAb: A Tool for Abstracting Use Case Diagrams (MLB, GADL), p. 194.
CSMRCSMR-2005-YehL #database #diagrams #legacy
Extracting Entity Relationship Diagram from a Table-Based Legacy Database (DY, YL), pp. 72–79.
ICSMEICSM-2005-OdaS #diagrams #generative #version control
Generative Technique of Version Control Systems for Software Diagrams (TO, MS), pp. 515–524.
IWPCIWPC-2005-SunW #comprehension #diagrams #layout #on the #uml
On Evaluating the Layout of UML Class Diagrams for Program Comprehension (DS, KW), pp. 317–326.
PASTEPASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml
Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.
CIAACIAA-2005-Latour #diagrams #set
Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams (LL), pp. 213–224.
FMFM-2005-CavalcantiCO #diagrams
Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.
IFMIFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
VISSOFTVISSOFT-2005-AndriyevskaDSM #architecture #diagrams #layout #uml
Evaluating UML Class Diagram Layout based on Architectural Importance (OA, ND, BS, JIM), pp. 14–19.
VISSOFTVISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml
Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
EDOCEDOC-2005-VitolinsK #diagrams #modelling #process #semantics #uml #virtual machine
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine (VV, AK), pp. 181–194.
ECIRECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict
Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.
SEKESEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
SEKESEKE-2005-OgameKH #diagrams #uml
Inspection Support System for UML Diagram (YO, TK, AH), pp. 408–411.
SEKESEKE-2005-ZhouL #approach #diagrams
Measuring Class Cohesion: A Causality Diagram Based Approach (YZ, HKNL), pp. 767–771.
ECMFAECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart #uml
Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-2005-ForsterES #constraints #diagrams #modelling #process #quality
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes (AF, GE, TS), pp. 2–16.
MODELSMoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml
Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-2005-ForsterES #constraints #diagrams #modelling #process #quality
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes (AF, GE, TS), pp. 2–16.
MODELSMoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml
Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
ECOOPECOOP-2005-LamP #consistency #diagrams #statechart
Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
SACSAC-2005-UpadhyayaK #diagrams #named #ontology
ERONTO: a tool for extracting ontologies from extended E/R diagrams (SRU, PSK), pp. 666–670.
SACSAC-2005-ZhouX #approach #complexity #diagrams
Measuring structural complexity for class diagrams: an information theory approach (YZ, BX), pp. 1679–1683.
ESEC-FSEESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart #uml
Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.
ICSEICSE-2005-RountevC #analysis #diagrams #sequence chart
Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.
LICSLICS-2005-Leroux #diagrams #polynomial #synthesis
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (JL), pp. 147–156.
ICTSSTestCom-2005-LiL #anti #diagrams #thread #uml #using
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.
ASEASE-2004-CaoGHST #architecture #generative #tool support
An Architecture for Generating Web-Based, Thin-Client Diagramming Tools (SC, JCG, JGH, HS, EDT), pp. 270–273.
ASEASE-2004-KonradCC #analysis #automation #diagrams #uml
Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.
DATEDATE-v2-2004-JabirP #diagrams #multi #named #representation
MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.
FASEFASE-2004-Egyed #adaptation #consistency #diagrams #evolution #refinement
Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.
ICSMEICSM-2004-Gueheneuc #diagrams #precise #uml
Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
IWPCIWPC-2004-HammoudaGKS #diagrams #learning #modelling #uml
Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models (IH, OG, KK, TS), pp. 24–33.
IWPCIWPC-2004-Torchiano #assessment #diagrams #empirical #uml
Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.
PLDIPLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.
IFMIFM-2004-PickinJ #diagrams #sequence chart #uml #using
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.
ICEISICEIS-v2-2004-MuesHVB #diagrams #using #visualisation
Comprehensible Credit-Scoring Knowledge Visualization Using Decision Tables and Diagrams (CM, JH, JV, BB), pp. 226–232.
ICEISICEIS-v3-2004-AliBG #dependence #diagrams #uml #verification
UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.
ICEISICEIS-v3-2004-BonacinBL #analysis #design #diagrams #ontology #semantics
From Ontology Charts to Class Diagrams: Semantic Analysis Aiding Systems Design (RB, MCCB, KL), pp. 389–395.
ICEISICEIS-v4-2004-KangT #diagrams #mobile #modelling #process #uml
Modelling Mobile Agent Applications by Extended UML Activity Diagram (MK, KT), pp. 519–522.
SEKESEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #statechart #uml #using
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.
SEKESEKE-2004-GomesPCPSFB #composition #diagrams #reuse #uml #using
Reuse of UML Class Diagrams Using Case-Based Composition (PG, FCP, PC, PP, NS, JLF, CB), pp. 258–263.
SEKESEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
UMLUML-2004-DologN #collaboration #diagrams #feature model #modelling #uml #using
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications (PD, WN), pp. 425–439.
RERE-2004-KaiyaOK #case study #diagrams #identification
Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems (HK, AO, KK), pp. 112–121.
SACSAC-J-2003-Dong04 #behaviour #diagrams
Adding pattern related information in structural and behavioral diagrams (JD), pp. 293–300.
ICSEICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #using
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
ATEMATEM-2003-MengW04 #diagrams
A GXL Schema for Story Diagrams (CM, KW), pp. 29–38.
ASEASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.
ICDARICDAR-2003-FutrelleSCG #analysis #classification #diagrams #documentation #layout
Extraction, layout analysis and classification of diagrams in PDF documents (RPF, MS, CC, AEG), pp. 1007–1014.
ICDARICDAR-2003-GribovB
Vectorization with the Voronoi L-diagram (AG, EB), pp. 1015–1019.
ICDARICDAR-2003-Lank #diagrams #framework #interactive #recognition
A Retargetable Framework for Interactive Diagram Recognition (EL), pp. 185–189.
FASEFASE-2003-AttiogbePS #data type #diagrams #integration
Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.
FASEFASE-2003-PennaMIMP #diagrams #named #towards #xml
Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.
FASEFASE-2003-TenzerS #diagrams #modelling #recursion #uml
Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
ICSMEICSM-2003-TonellaP #c++ #diagrams #interactive #reverse engineering
Reverse Engineering of the Interaction Diagrams from C++ Code (PT, AP), pp. 159–168.
WCREWCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml
Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
SEFMSEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation
Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
SEFMSEFM-2003-NgB #csp #diagrams #formal method #towards #uml
Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.
AGTIVEAGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
AGTIVEAGTIVE-2003-FishH #constraints #diagrams
Computing Reading Trees for Constraint Diagrams (AF, JH), pp. 260–274.
SOFTVISSOFTVIS-2003-Eichelberger #design #diagrams #question
Nice Class Diagrams Admit Good Design? (HE), pp. 159–167.
SOFTVISSOFTVIS-2003-EiglspergerKS #approach #automation #diagrams #layout #uml
A Topology-Shape-Metrics Approach for the Automatic Layout of UML Class Diagram (ME, MK, MS), pp. 189–198.
SOFTVISSOFTVIS-2003-GutwengerJKKLM #approach #diagrams #uml #visualisation
A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.
VISSOFTVISSOFT-2003-EichelbergerG #diagrams #layout #state of the art #uml
UML Class Diagrams – State of the Art in Layout Techniques (HE, JWvG), pp. 30–34.
VISSOFTVISSOFT-2003-EichelbergerW #diagrams #layout #uml
Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.
CAiSECAiSE-2003-GeneroP #complexity #diagrams #metric #uml
No-redundant Metrics for UML Class Diagram Structural Complexity (MEM, MG, MP), pp. 127–142.
ICEISICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #uml #validation
Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
ICEISICEIS-v3-2003-Ramos #constraints #diagrams #relational #uml
Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.
SEKESEKE-2003-DongFH #diagrams #statechart
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
SEKESEKE-2003-DongY #design pattern #diagrams #uml #visualisation
Extending UML to Visualize Design Patterns In Class Diagrams (JD, SY), pp. 124–131.
SEKESEKE-2003-GomesPPSCFB03a #diagrams #reuse #uml
Case-Based Reuse of UML Diagrams (PG, FCP, PP, NS, PC, JLF, CB), pp. 335–339.
ESEC-FSEESEC-FSE-2003-OhstWK #diagrams #difference #uml
Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
ICSEICSE-2003-RayC #architecture #diagrams #interactive #modelling
Architectural Interaction Diagrams: AIDs for System Modeling (AR, RC), pp. 396–407.
CSLCSL-2003-Aichernig
The Commuting V-Diagram (BKA), pp. 15–28.
FATESFATES-2003-BadriBN #approach #case study #collaboration #diagrams #formal method #process #testing #towards #uml
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams (MB, LB, MN), pp. 223–235.
RTARTA-2003-WellsPK #diagrams
Diagrams for Meaning Preservation (JBW, DP, FK), pp. 88–106.
ASEASE-2002-FraikinL #diagrams #named #sequence chart #testing
SeDiTeC — Testing Based on Sequence Diagrams (FF, TL), pp. 261–266.
DATEDATE-2002-CiesielskiKZR #canonical #diagrams #representation #verification
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.
CSMRCSMR-2002-KollmannG #diagrams #representation #uml
Metric-Based Selective Representation of UML Diagrams (RK, MG), pp. 89–98.
ICSMEICSM-2002-MilanovaRR #diagrams #precise
Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.
ICSMEICSM-2002-TonellaP #analysis #c++ #diagrams
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.
IWPCIWPC-2002-BurdOW #animation #comprehension #diagrams #sequence chart #using
Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
STOCSTOC-2002-AryaMM #approximate #diagrams
Space-efficient approximate Voronoi diagrams (SA, TM, DMM), pp. 721–730.
IFMIFM-2002-KuskeGKK #diagrams #graph transformation #semantics #uml
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.
ICGTICGT-2002-MinasS #diagrams
Unparsing of Diagrams with DiaGen (MM, FS), pp. 302–316.
VISSOFTVISSOFT-2002-Eichelberger #diagrams
Aesthetics of Class Diagrams (HE), pp. 23–31.
VISSOFTVISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #syntax #uml
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.
CAiSECAiSE-2002-AoumeurS #behaviour #diagrams #logic #prototype #uml #using
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic (NA, GS), pp. 296–310.
ICPRICPR-v3-2002-BlosteinCZ #compilation #diagrams #recognition
Applying Compiler Techniques to Diagram Recognition (DB, JRC, RZ), pp. 123–126.
UMLUML-2002-BogerJMF #diagrams #uml
Diagram Interchange for UML (MB, MJ, SM, JF), pp. 398–411.
ISSTAISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml
On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
ASEASE-2001-AlurG #diagrams #interactive
Shared Variables Interaction Diagrams (RA, RG), pp. 281–288.
ASEASE-2001-Egyed #approach #consistency #scalability
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach (AE), pp. 387–390.
ASEASE-2001-LedangS #behaviour #diagrams #modelling #uml
Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.
DATEDATE-2001-LiuWHL #diagrams
Binary decision diagram with minimum expected path length (YYL, KHW, TH, CLL), pp. 708–712.
DATEDATE-2001-RedaS #diagrams #equivalence #satisfiability #using
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams (SR, AS), pp. 122–126.
DATEDATE-2001-ThorntonD #diagrams #graph transformation #using
Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
DATEDATE-2001-UbarJP #diagrams #simulation
Timing simulation of digital circuits with binary decision diagrams (RU, AJ, ZP), pp. 460–466.
ICDARICDAR-2001-LankTCB #diagrams #online #recognition #uml
On-Line Recognition of UML Diagrams (EL, JST, SC, DB), pp. 356–360.
ICDARICDAR-2001-ValoisCC #diagrams #online #recognition #sketching
Online Recognition of Sketched Electrical Diagrams (JPV, MC, MC), pp. 460–464.
FASEFASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml
A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
FASEFASE-2001-FischerOW #csp #diagrams #uml
A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
FASEFASE-2001-HeckelS #collaboration #diagrams #uml
Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.
TACASTACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
TACASTACAS-2001-WilliamsAH #diagrams #satisfiability #using
Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
CSMRCSMR-2001-KollmannG #behaviour #collaboration #diagrams #uml
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams (RK, MG), pp. 58–67.
ICSMEICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
STOCSTOC-2001-IckingM #3d #bound #complexity #diagrams #distance
A tight bound for the complexity of voroni diagrams under polyhedral convex distance functions in 3D (CI, LM), pp. 316–321.
VISSOFTSVIS-2001-OechsleS #automation #debugging #diagrams #interface #java #named #sequence chart #using #visualisation
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) (RO, TS), pp. 176–190.
ICEISICEIS-v2-2001-AraujoM #diagrams #uml
Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.
ICEISICEIS-v2-2001-ShishkovD #analysis #case study #diagrams #modelling #process
Analysis of Suitability, Appropriateness and Adequacy of Use Cases Combined with Activity Diagram for Business Systems Modelling (BS, JLGD), pp. 854–858.
SEKESEKE-2001-GeneroOPR #diagrams #information management #maintenance #predict
Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability (MG, JAO, MP, FPR), pp. 203–211.
UMLUML-2001-DumasH #diagrams #process #specification #uml #workflow
UML Activity Diagrams as a Workflow Specification Language (MD, AHMtH), pp. 76–90.
UMLUML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart
Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
UMLUML-2001-XuandongMYJG #analysis #diagrams #process #uml
Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
TOOLSTOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml
Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
ICSEICSE-2001-Campbell #analysis #diagrams #uml #visualisation
Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICSEICSE-2001-Dong #diagrams #modelling
State, Event, Time and Diagram in System Modeling (JSD), pp. 733–734.
ICSEICSE-2001-MenziesPH #analysis #diagrams #formal method #performance #requirements
Fast Formal Analysis of Requirements via “Topoi Diagrams” (TM, JDP, MEH), pp. 391–400.
CAVCAV-2001-AmlaEKN #diagrams #model checking #named #performance
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (NA, EAE, RPK, KSN), pp. 387–390.
ASEASE-2000-Egyed #abstraction #diagrams #semantics
Semantic Abstraction Rules for Class Diagrams (AE), pp. 301–304.
ASEASE-2000-Li #case study #diagrams #sequence chart
Translating Use Cases to Sequence Diagrams (LL), pp. 293–296.
DACDAC-2000-GhoshF #automation #diagrams #functional #generative #using
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.
DACDAC-2000-PiS #analysis #approach #diagrams #multi
Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits (TP, CJRS), pp. 19–22.
DATEDATE-2000-MorawiecUR #algorithm #diagrams #simulation #using
Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.
ICSMEICSM-2000-LuccaFC #data-driven #diagrams #legacy
Recovering Class Diagrams from Data-Intensive Legacy Systems (GADL, ARF, UdC), pp. 52–63.
WCREWCRE-2000-HendrixCM #diagrams #validation
An Experimental Validation of Control Structure Diagrams (TDH, JHCI, SM), p. 224–?.
IFMIFM-2000-CansellMM #diagrams #verification
Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.
IFMIFM-2000-FischerC #dependence #diagrams #formal method #verification
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.
CHICHI-2000-KoikeSKTK #diagrams #interactive #interface
Interactive textbook and interactive Venn diagram: natural and intuitive interfaces on augmented desk system (HK, YS, YK, HT, MK), pp. 121–128.
ICEISICEIS-2000-Bosilj-VuksicGH #diagrams #modelling #petri net #process
IDEF Diagrams and Petri Nets for Business Process Modelling: Suitability, Efficacy, and Complementary Use (VBV, GMG, VH), pp. 242–247.
ICPRICPR-v3-2000-Rocha #composition #diagrams #performance
Efficient Polygonal Decomposition into Singular and Regular Regions via Voronoi Diagrams (JR), pp. 3770–3773.
UMLUML-2000-AbdurazikO #collaboration #diagrams #generative #static analysis #testing #uml #using
Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.
UMLUML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.
UMLUML-2000-FelfernigJZ #design #diagrams #knowledge base #uml
Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML (AF, DJ, MZ), pp. 240–254.
UMLUML-2000-GraubmannR #case study #diagrams #modelling #sequence chart #testing
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing (PG, ER), pp. 32–46.
UMLUML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving #uml
Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.
UMLUML-2000-PetriuS #behaviour #consistency #diagrams #process #representation #sequence chart
Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.
UMLUML-2000-WegmannG #case study #diagrams
The Roles of “Roles” in Use Case Diagrams (AW, GG), pp. 210–224.
TOOLSTOOLS-EUROPE-2000-KleppeW #diagrams #object-oriented #process #uml
Making UML Activity Diagrams Object-Oriented (AK, JW), pp. 288–299.
ICSEICSE-2000-GurrT #design #diagrams #re-engineering #towards
Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.
ICSEICSE-2000-KohlerNNZ #diagrams #uml
Integrating UML diagrams for production control systems (HJK, UN, JN, AZ), pp. 241–251.
ICSEICSE-2000-Rifkin #diagrams #precedence
When the project absolutely must get done: marrying the organization chart with the precedence diagram (SR), pp. 588–596.
CAVCAV-2000-Rushby #diagrams #invariant #verification
Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification (JMR), pp. 508–520.
CAVCAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.
ICLPCL-2000-HolldoblerS #calculus #diagrams #problem #using
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams (SH, HPS), pp. 747–761.
DATEDATE-1999-RaikU #diagrams #generative #modelling #testing #using
Sequential Circuit Test Generation Using Decision Diagram Models (JR, RU), pp. 736–740.
DATEDATE-1999-StrehlT #diagrams #model checking #petri net
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
DATEDATE-1999-TanS #diagrams #scalability #using
Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
DATEDATE-1999-ThorntonWDD #diagrams #order #using
Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.
DATEDATE-1999-UbarRM #diagrams #simulation
Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.
ICDARICDAR-1999-LladosML #detection #diagrams
A Hough-based Method for Hatched Pattern Detection in Maps and Diagrams (JL, EM, JLK), pp. 479–482.
ITiCSEITiCSE-1999-Power #design #diagrams #logic #named
Designer — a logic diagram design tool (CP), p. 211.
FMFM-v1-1999-MeyerS #approach #diagrams #specification
A Systematic Approach to Transform OMT Diagrams to a B Specification (EM, JS), pp. 875–895.
AGTIVEAGTIVE-1999-Hoffmann #diagrams #graph transformation #programming #rule-based
From Graph Transformation to Rule-Based Programming with Diagrams (BH), pp. 165–180.
AGTIVEAGTIVE-1999-Minas #diagrams #semantics
Creating Semantic Representations of Diagrams (MM), pp. 209–224.
AGTIVEAGTIVE-1999-MinasK #diagrams #editing #generative
Generating Diagram Editors with DiaGen (MM, OK), pp. 433–440.
HCIHCI-CCAD-1999-LinDF #comprehension #data flow #diagrams #difference
Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
HCIHCI-EI-1999-Takeda #approach #communication #diagrams
Evolutionary Approach to Revolutionary Use of Software Diagrams in Client-Designer Communication (KT), pp. 866–870.
UMLUML-1999-Clark #diagrams #type checking #uml
Type Checking UML Static Diagrams (TC), pp. 503–517.
UMLUML-1999-EngelsHSW #collaboration #diagrams #java #uml
UML Collaboration Diagrams and their Transformation to Java (GE, RH, SS, AW), pp. 473–488.
UMLUML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart
Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
UMLUML-1999-GogollaRR #3d #animation #diagrams #towards #uml
Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
UMLUML-1999-KimC #diagrams #formal method #uml #using
Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.
UMLUML-1999-LiL #analysis #diagrams #sequence chart #uml
Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
UMLUML-1999-RaczK #diagrams #uml
Tool-Supported Compressing of UML Class Diagrams (FDR, KK), pp. 172–187.
TOOLSTOOLS-EUROPE-1999-Li #approach #automation #case study #diagrams #sequence chart
A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams (LL), pp. 184–193.
TOOLSTOOLS-USA-1999-GilHK #constraints #diagrams #uml
Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.
SACSAC-1999-LeavensWB #data flow #diagrams #semantics #specification
Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.
CCCC-1999-ZhangGRG #performance #pipes and filters
Efficient State-Diagram Construction Methods for Software Pipelining (CZ, RG, SR, GRG), pp. 153–167.
CAVCAV-1999-BehrmannLPWY #analysis #diagrams #difference #performance #reachability #using
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
CAVCAV-1999-MannaS #diagrams #induction #verification
Verification of Parameterized Systems by Dynamic Induction on Diagrams (ZM, HS), pp. 25–41.
CSLCSL-1999-MollerLAH #diagrams #difference
Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
ASEASE-1998-Dimitrakos #algebra #diagrams #specification
Parameterising (Algebraic) Specifications on Diagrams (TD), pp. 221–224.
DACDAC-1998-RaviMSS #approximate #composition #diagrams
Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.
DATEDATE-1998-HorethD #diagrams
Dynamic Minimization of Word-Level Decision Diagrams (SH, RD), pp. 612–617.
ITiCSEITiCSE-1998-HoggarthL #assessment #automation #diagrams #student
An automated student diagram assessment system (GH, MAL), pp. 122–124.
ICSMEICSM-1998-Tonella #diagrams #encapsulation #memory management #using
Using the O-A Diagram to Encapsulate Dynamic Memory Access (PT), pp. 326–335.
CIAAWIA-1998-MichonC #automaton #diagrams
Automata and Binary Decision Diagrams (JFM, JMC), pp. 178–182.
ICGTTAGT-1998-FischerNTZ #diagrams #graph grammar #java #modelling
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (TF, JN, LT, AZ), pp. 296–309.
ICGTTAGT-1998-Minas #diagrams #representation
Hypergraphs as a Uniform Diagram Representation Model (MM), pp. 281–295.
ICPRICPR-1998-SanchezPF #approach #induction
A Voronoi-diagram-based approach to oblique decision tree induction (JSS, FP, FJF), pp. 542–544.
KDDKDD-1998-BerchtoldJR #data mining #diagrams #independence #mining #visual notation
Independence Diagrams: A Technique for Visual Data Mining (SB, HVJ, KAR), pp. 139–143.
UMLUML-1998-BourdeauLR #analysis #case study #diagrams #experience #uml
Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.
UMLUML-1998-GogollaR #diagrams #uml
Transformation Rules for UML Class Diagrams (MG, MR), pp. 92–106.
UMLUML-1998-KhrissEK #automation #collaboration #diagrams #multi #statechart #synthesis #uml
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.
UMLUML-1998-Ou #constraints #database #design #diagrams #object-oriented #on the #specification #uml #using
On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints (YO), pp. 173–188.
UMLUML-1998-Paech #development #diagrams #on the #process #uml
On the Role of Activity Diagrams in UML — A User Task Centered Development Process for UML (BP), pp. 267–277.
UMLUML-1998-SeemannG #diagrams #realtime #sequence chart #uml
Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
TOOLSTOOLS-USA-1998-MaY #diagrams #reduction
Practical Rules for Reduction on the Number of States of a State Diagram (JM, SY), p. 46–?.
DACDAC-1997-AmonBHL #diagrams #using #verification
Symbolic Timing Verification of Timing Diagrams using Presburger Formulas (TA, GB, TH, JL), pp. 226–231.
DACDAC-1997-MeinelST #diagrams #linear
Linear Sifting of Decision Diagrams (CM, FS, TT), pp. 202–207.
ICDARICDAR-1997-GalindoF #diagrams #network #representation
Perceptually-Based Representation of Network Diagrams (DG, CF), pp. 352–356.
FMFME-1997-AndersonT #diagrams #programmable #programming language
Diagrams and Programming Languages for Programmable Controllers (SA, KT), pp. 1–19.
FMFME-1997-Kleuker #diagrams #distributed #formal method #requirements
Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.
UMLUML-1997-WeberM #concept #diagrams #implementation #modelling #reuse #uml
Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling (WW, PM), pp. 190–203.
OOPSLAOOPSLA-1997-Kent #constraints #diagrams #modelling #object-oriented #visualisation
Constraint Diagrams: Visualizing Assertions in Object-Oriented Models (SK), pp. 327–341.
CAVCAV-1997-Fisler #decidability #diagrams #regular expression
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.
LICSLICS-1997-AndersenH #diagrams
Boolean Expression Diagrams (Extended Abstract) (HRA, HH), pp. 88–98.
DACDAC-1996-HansenS #diagrams #synthesis #using
Synthesis by Spectral Translation Using Boolean Decision Diagrams (JPH, MS), pp. 248–253.
WPCWPC-1996-DoorleyC #automation #case study #data flow #diagrams #experience
Experiences in Automatic Leveling of Data Flow Diagrams (MD, AC), pp. 218–229.
AdaTRI-Ada-1996-CrossBHT #ada #diagrams
Control Structure Diagrams for Ada 95 (JHCI, LAB, TDH, JCT), pp. 143–147.
ICPRICPR-1996-KlemencicPK #diagrams #image #modelling #segmentation #using
Segmentation of muscle fibre images using Voronoi diagrams and active contour models (AK, FP, SK), pp. 538–542.
ECOOPECOOP-1996-SilvaC #concept #database #design #diagrams #multi #object-oriented #using
Conceptual Design of Active Object-Oriented Database Applications Using Multi-level Diagrams (MJVS, CRC), pp. 366–397.
FSEFSE-1996-DamonJJ #diagrams #relational #specification
Checking Relational Specifications With Binary Decision Diagrams (CD, DJ, SJ), pp. 70–80.
ICSEICSE-1996-KoskimiesM #diagrams #named #object-oriented #source code #using
Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs (KK, HM), pp. 366–375.
CAVCAV-1996-AlfaroM #diagrams #verification
Temporal Verification by Diagram Transformations (LdA, ZM), pp. 288–299.
RTARTA-1996-Cosmo #diagrams #on the #power of
On the Power of Simple Diagrams (RDC), pp. 200–214.
DACDAC-1995-BryantC #diagrams #verification
Verification of Arithmetic Circuits with Binary Moment Diagrams (REB, YAC), pp. 535–541.
ICDARICDAR-v2-1995-ButlerGST #data flow #diagrams #documentation #logic
Analyzing the logical structure of data flow diagrams in software documents (GB, PG, RS, IAT), pp. 575–578.
ICDARICDAR-v2-1995-FutrelleN #analysis #constraints #diagrams #parsing #performance #using
Efficient analysis of complex diagrams using constraint-based parsing (RPF, NN), pp. 782–790.
ICDARICDAR-v2-1995-KiseYTF #concept #diagrams #string
Interpretation of conceptual diagrams from line segments and strings (KK, NY, ST, KF), pp. 960–963.
ICDARICDAR-v2-1995-Yu #automation #comprehension #diagrams
Automatic understanding of symbol-connected diagrams (BY), pp. 803–806.
WCREWCRE-1995-ButlerGST #data flow #diagrams
Retrieving Information from Data Flow Diagrams (GB, PG, RS, IAT), pp. 22–29.
CHICHI-1995-FurnasB #comprehension #diagrams #interface #multi
Space-Scale Diagrams: Understanding Multiscale Interfaces (GWF, BBB), pp. 234–241.
DACDAC-1994-DrechslerSTBP #diagrams #functional #order #performance #representation
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams (RD, AS, MT, BB, MAP), pp. 415–419.
DATEEDAC-1994-BeckerD #diagrams #functional #testing
Testability of Circuits Derived from Functional Decision Diagrams (BB, RD), p. 667.
SIGMODSIGMOD-1994-CatarciS #database #diagrams #query #visual notation
Query by Diagram: A Graphical Environment for Querying Databases (TC, GS), p. 515.
ASEKBSE-1993-JulligS #diagrams #synthesis
Diagrams for Software Synthesis (RJ, YS), p. 6.
ICDARICDAR-1993-Hamada #analysis #diagrams
A new system for the analysis of schematic diagrams (AHH), pp. 369–372.
ICDARICDAR-1993-KimSK #diagrams #identification #logic #recognition
Recognition of logic diagrams by identifying loops and rectilinear polylines (SHK, JWS, JHK), pp. 349–352.
ICDARICDAR-1993-NakamuraFN #comprehension #diagrams #natural language
Diagram understanding utilizing natural language text (YN, RF, MN), pp. 614–618.
WCREWCRE-1993-Cross #ada #diagrams #named #reverse engineering
GRASP/Ada: Reverse Engineering of Control Structure Diagrams (JHCI), pp. 107–116.
HCIHCI-SHI-1993-Jones #3d #diagrams #estimation #information management
3-D Diagrams for Knowledge Engineering: An Early Estimation of Utility (SJ), pp. 561–566.
HCIHCI-SHI-1993-Zhao #diagrams #editing #gesture #recognition #sketching #specification
Gesture Specification and Structure Recognition in Handsketch-Based Diagram Editors (RZ), pp. 1052–1057.
CHIINTERCHI-1993-Zhao #diagrams #editing #gesture #incremental #recognition
Incremental recognition in gesture-based and syntax-directed diagram editors (RZ), pp. 95–100.
TOOLSTOOLS-PACIFIC-1993-BarrettS #bibliography #development #object-oriented
A Review of Diagramming Notations for Object Oriented Development (MLB, GS), pp. 475–488.
SACSAC-1993-HyslopL #diagrams #fault #incremental
Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
DACDAC-1992-LaiS #diagrams #multi #verification
Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification (YTL, SS), pp. 608–613.
DACDAC-1992-PixleyJH #diagrams #sequence
Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
CAiSECAiSE-1992-IpH #diagrams #information management #knowledge base #lifecycle #modelling #process
A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram (SI, TH), pp. 164–186.
KRKR-1992-ZhangP #diagrams
Stepwise-Decomposable Influence Diagrams (NLZ, DLP), pp. 141–152.
SEKESEKE-1992-ArndtG #composition #data flow #diagrams
Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.
SEKESEKE-1992-SugiharaYM #automation #diagrams #layout #specification
Automatic Layout of Diagrams for Software Specification (KS, KY, IM), pp. 245–252.
DACDAC-1991-ButlerRKM #diagrams #heuristic #order #performance
Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
DACDAC-1990-IshiuraDY #diagrams #simulation #using
Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram (NI, YD, SY), pp. 130–135.
DACDAC-1990-MinatoIY #diagrams #performance
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation (SiM, NI, SY), pp. 52–57.
DACDAC-1990-SatoYMF #diagrams
Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams (HS, YY, YM, MF), pp. 284–289.
STOCSTOC-1990-AggarwalHL #diagrams #problem
Solving Query-Retrieval Problems by Compacting Voronoi Diagrams (Extended Abstract) (AA, MH, FTL), pp. 331–340.
STOCSTOC-1990-Mulmuley #diagrams #order
Output Sensitive Construction of Levels and Voronoi Diagrams in R^d of Order 1 to k (KM), pp. 322–330.
ICALPICALP-1990-ColeGO #diagrams #parallel #performance
Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction (Preliminary Version) (RC, MTG, ), pp. 432–445.
ICALPICALP-1990-GuibasKS #diagrams #incremental #random
Randomized Incremental Construction of Delaunay and Voronoi Diagrams (LJG, DEK, MS), pp. 414–431.
SEKESEKE-1990-MatetiD #data type #diagrams #linked data #open data
Aesthetics Rules in The Diagrams of Linked Data Structures (PM, CD), pp. 239–244.
CAVCAV-1990-CoudertMB #diagrams #verification
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.
ICLPJICSCP-1988-Steer88 #data flow #diagrams #testing
Testing Data Flow Diagrams with PARLOG (KS), pp. 96–110.
DACDAC-1987-FriedmanS #diagrams
Finding the Optimal Variable Ordering for Binary Decision Diagrams (SJF, KJS), pp. 358–356.
STOCSTOC-1987-AggarwalGSS #algorithm #diagrams #linear
A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon (AA, LJG, JBS, PWS), pp. 39–45.
CSLCSL-1987-GermanoM #category theory #diagrams
Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration (GG, SM), pp. 64–80.
ICALPICALP-1986-Aurenhammer #diagrams
A New Duality Result Concerning Voronoi Diagrams (FA), pp. 21–30.
ICGTGG-1986-Gottler #diagrams #editing #graph grammar
Graph grammars and diagram editing (HG), pp. 216–231.
OOPSLAOOPSLA-1986-CunninghamB #diagrams #object-oriented #source code
A Diagram for Object-Oriented Programs (WC, KB), pp. 361–367.
DACDAC-1985-AryaKSM #automation #diagrams #generative
Automatic generation of digital system schematic diagrams (AA, AK, VVS, AM), pp. 388–395.
VLDBVLDB-1985-RamakrishnanS #concept #database #design #diagrams
The MR Diagram — A Model for Conceptual Database Design (RR, AS), pp. 376–393.
DACDAC-1983-MetosO #diagrams #implementation #physics
Binary Decision Diagrams: From abstract representations to physical implementations (JSM, JVO), pp. 567–570.
STOCSTOC-1983-GuibasS #diagrams
Primitives for the Manipulation of General Subdivisions and the Computation of Voronoi Diagrams (LJG, JS), pp. 221–234.
ICALPICALP-1983-Dehne #algorithm #diagrams #nearest neighbour #on the
On O(N^4) Algorithm to Construct all Voronoi Diagrams for k Nearest Neighbor Searching (FKHAD), pp. 160–172.
ICSEICSE-1982-Babb #data flow #data-driven #diagrams #implementation
Data-Driven Implementation of Data Flow Diagrams (RGBI), pp. 309–318.
ICSEICSE-1982-Ling #design #diagrams #source code #using
Designing Data Entry Programs Using State Diagram as a Common Model (MML), pp. 296–308.
DACDAC-1981-IshiiIIYK #automation #diagrams #editing #interactive #logic
Automatic input and interactive editing systems of logic circuit diagrams (MI, YI, MI, MY, SK), pp. 639–645.
ICSEICSE-1981-FutamuraKHT #analysis #development #diagrams #problem #source code
Development of Computer Programs by Problem Analysis Diagram (PAD) (YF, TK, HH, MT), pp. 325–332.
DACDAC-1979-IshiiYIS #diagrams #logic
An experimental input system of hand-drawn logic circuit diagram for LSI CAD (MI, MY, MI, HS), pp. 114–120.
DACDAC-1978-Fortin #approximate #diagrams #named #using
BUBBLE: Relationship diagrams using iterative vector approximation (GF), pp. 145–151.
ICSEICSE-1978-ChungG #diagrams
Use of State Diagrams to Engineer Communications Software (PC, BG), pp. 215–221.
DACDAC-1977-JaffeY #automation #diagrams #using
Automating analog circuit diagrams using a list processing language (RCJ, JPY), pp. 391–395.
DACDAC-1976-SmithL #automation #diagrams #generative #logic
Automatic generation of logic diagrams (JAS, JGL), pp. 377–391.
ICALPICALP-1974-MichelisS #diagrams #semantics
Semantic Characterization of Flow Diagrams and Their Decomposability (GDM, CS), pp. 81–96.
DACDAC-1973-Shenkman #diagrams #functional #generative #logic
Circuit diagram generation via functional logic (SMS), pp. 267–273.
DACDAC-1973-TokunagaKMLO #assembly #diagrams #named
WIDAS — Wiring Diagram Assembly System (MT, TK, MM, CL, FO), pp. 199–204.
DACDAC-1972-SandersonM #diagrams #logic
A logic and signal flow diagram subsystem (GS, AM), pp. 250–257.
DACDAC-1968-Uhlik #automation #diagrams #logic
Graphic update of automated logic diagrams (RJU).
DACDAC-1967-Strongd #automation #diagrams
Automated diagram drafting (RMS, HGd).

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