BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
sequence chart
Google sequence chart

Tag #sequence chart

95 papers:

ICPCICPC-2018-LyuNK #diagrams #named #tool support
SDexplorer: a generic toolkit for smoothly exploring massive-scale sequence diagram (KL, KN, TK), pp. 380–384.
FASEFASE-2017-AlvinPM #diagrams #generative #named #uml
StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.
CSEETCSEET-2016-SrinivasanLY #comprehension #diagrams #object-oriented #programming #using
Enhancing Object-Oriented Programming Comprehension Using Optimized Sequence Diagram (MS, YL, JY), pp. 81–85.
ICPCICPC-2016-SrinivasanYL #case study #comprehension #diagrams
Case studies of optimized sequence diagram for program comprehension (MS, JY, YL), pp. 1–4.
SACSAC-2015-KimL #diagrams #qvt #using
Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ICEISICEIS-v2-2014-MarcolinoOG #approach #diagrams #effectiveness #towards #variability
Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level (AM, EAOJ, IMdSG), pp. 249–256.
SLESLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #state machine
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
CSMRCSMR-2013-ScannielloGT #comprehension #diagrams #source code
An Early Investigation on the Contribution of Class and Sequence Diagrams in Source Code Comprehension (GS, CG, GT), pp. 367–370.
GT-VMTGT-VMT-2013-GreenyerBM #diagrams #specification
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
SEKESEKE-2013-YoonMPP #diagrams #reverse engineering
Reverse Engineering of Sequence Diagrams by Merging Call Trees (SY, SM, SP, SP), pp. 368–374.
ICTSSICTSS-2013-FariaPC #consistency #diagrams #testing #tool support #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
REFSQREFSQ-2012-RaspotnigO #analysis #case study #diagrams
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams (CR, ALO), pp. 117–131.
SACSAC-2012-Longuet #testing
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SLESLE-2012-WidlBBEHKST #diagrams
Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.
SCAMSCAM-2011-RoubtsovSMB #diagrams #enterprise #java #named #reverse engineering
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors (SAR, AS, AM, MvdB), pp. 155–164.
AGTIVEAGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #specification
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
ICMTICMT-J-2010-GronmoM11 #diagrams #graph transformation #state machine #uml
From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
ICSTICST-2011-DanH #consistency #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
WCREWCRE-2010-GratiSP #diagrams #execution #interactive #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
CAiSECAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety
Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.
SEKESEKE-2010-ParkHK #diagrams #uml #verification
Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
ECMFAECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
ICMTICMT-2010-GronmoM #diagrams #graph transformation #state machine
From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
WCREWCRE-1999-SerebrenikRRB99a #diagrams #enterprise #java #reverse engineering
Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors (AS, SAR, EER, MvdB), pp. 269–273.
ASEASE-2009-ZhangGTL #probability #syntax
A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
SACSAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #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.
TACASTACAS-2009-KuglerS #composition #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
GT-VMTGT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #syntax #uml
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
GT-VMTGT-VMT-2008-KumarM #automaton #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
SOFTVISSOFTVIS-2008-XieKSDF #diagrams
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
EDOCEDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.
ECMFAECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #semantics
Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.
ICMTICMT-2008-GronmoSMK #diagrams #semantics #uml #weaving
Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MODELSMoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #uml
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
MODELSMoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #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.
RERE-2008-Kof #generative
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
ICSEICSE-2008-SibayUB #revisited
Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.
FoSSaCSFoSSaCS-2008-DarondeauGH
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
ICPCICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #thread #uml
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
SEFMSEFM-2007-DanHC #diagrams #semantics #thread
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
ESEC-FSEESEC-FSE-2007-RoychoudhuryGS
Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
FASEFASE-2007-HarelKM #compilation #diagrams #multi #named #uml
S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
TACASTACAS-2007-ElkindGP #detection
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
FMFM-2006-LundS #diagrams #semantics #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
FASEFASE-2006-WestphalT
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
CAVCAV-2006-KloseTWW #performance #verification
Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.
PASTEPASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #uml
Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.
IFMIFM-2005-LamP #consistency #diagrams #statechart #using #π-calculus
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
VISSOFTVISSOFT-2005-SharpR #diagrams #interactive #uml
Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
SEKESEKE-2005-KrishnaG #concept #diagrams #modelling #uml
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
ECMFAECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #uml
Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
ESEC-FSEESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #uml
Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.
ICSEICSE-2005-RountevC #analysis #diagrams
Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.
FASEFASE-2005-RountevKS #diagrams #interactive #test coverage #testing
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
FoSSaCSFoSSaCS-2005-BontempsS #complexity
The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
TACASTACAS-2005-Genest #composition
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
IFMIFM-2004-PickinJ #diagrams #uml #using
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.
WCREWCRE-2003-BriandLM #diagrams #reverse engineering #towards #uml
Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
AGTIVEAGTIVE-2003-CordesHK #collaboration #diagrams #interactive #uml
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
RERE-2003-SenguptaC #modelling #requirements #using
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
CAVCAV-2003-SenguptaC #named
TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
IWPCIWPC-2002-BurdOW #animation #comprehension #diagrams #using
Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
SEKESEKE-2002-LeeKC #finite #interactive #state machine #testing
Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
OOPSLAOOPSLA-2002-MarellyHK #execution #multi
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
ASEASE-2002-FraikinL #diagrams #named #testing
SeDiTeC — Testing Based on Sequence Diagrams (FF, TL), pp. 261–266.
FSEFSE-2002-SenguptaC
Triggered message sequence charts (BS, RC), pp. 167–176.
ICSEICSE-2002-BlausteinOB #graph
Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
ICALPICALP-2001-MuschollP #communication #finite #protocol
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
GT-VMTGT-VMT-2001-Tsiolakis #diagrams #uml
Integrating Model Information in UML Sequence Diagrams (AT), pp. 266–274.
VISSOFTSVIS-2001-OechsleS #automation #debugging #diagrams #interface #java #named #using #visualisation
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) (RO, TS), pp. 176–190.
UMLUML-2001-LatronicoK #diagrams #embedded #formal method #representation
Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLSTOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #uml
Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
FSEESEC-FSE-2001-UchitelKM #detection #specification
Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
FoSSaCSFoSSaCS-2001-Morin #on the #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
TACASTACAS-2001-GunterMP #composition
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
TACASTACAS-2001-KloseW #automaton
An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
UMLUML-2000-GraubmannR #case study #diagrams #modelling #testing
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing (PG, ER), pp. 32–46.
UMLUML-2000-PetriuS #behaviour #consistency #diagrams #process #representation
Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.
ASEASE-2000-Li #case study #diagrams
Translating Use Cases to Sequence Diagrams (LL), pp. 293–296.
ICSEICSE-2000-AlurEY
Inference of message sequence charts (RA, KE, MY), pp. 304–313.
UMLUML-1999-FirleyHDGG #analysis #case study #diagrams
Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
UMLUML-1999-LiL #analysis #diagrams #uml
Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
TOOLSTOOLS-EUROPE-1999-Li #approach #automation #case study #diagrams
A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams (LL), pp. 184–193.
FoSSaCSFoSSaCS-1999-Muscholl #specification
Matching Specifications for Message Sequence Charts (AM), pp. 273–287.
UMLUML-1998-SeemannG #diagrams #realtime #uml
Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
ASEASE-1998-LeueMR #architecture #specification
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
FoSSaCSFoSSaCS-1998-MuschollPS
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
CAVCAV-1998-Peled98a #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
TACASTACAS-1997-Ben-AbdallahL #detection #process
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
TAPSOFTTAPSOFT-1997-LevinP #verification
Verification of Message Sequence Charts via Template Matching (VL, DAP), pp. 652–666.
WPCWPC-1996-EickW #interactive #visualisation
An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.
TACASTACAS-1996-AlurHP
An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
ASF+SDFASF+SDF-1995-MauwMa #specification #tool support
Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.

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