BibSLEIGH — diagram stem

Used together with:

uml (174)
use (96)
class (90)
model (80)
base (67)

Stem diagram$ (all stems)

595 papers:

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