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
statechart
Google statechart

Tag #statechart

23 papers:

SANERSANER-2018-LeemansAB18a #analysis #mining #process #scalability #using
The Statechart Workbench: Enabling scalable software event log analysis using process mining (ML, WMPvdA, MGJvdB), pp. 502–506.
TACASTACAS-2013-BalasubramanianPKL #analysis #multi #named
Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
ICSTICST-2012-PasareanuB #analysis
Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
ISSTAISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named
Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
SACSAC-2008-ReynosoCGP #diagrams #metric #ocl #uml #using
Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
MODELSMoDELS-2007-ProchnowH #development
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
MODELSMoDELS-2007-ProchnowH #development
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
IFMIFM-2005-LamP #consistency #diagrams #sequence chart #using #π-calculus
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
ECOOPECOOP-2005-LamP #consistency #diagrams
Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
SEKESEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #uml #using
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.
ICSEICSE-2004-BriandLW #empirical #simulation #test coverage #using
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
ICSEICSE-2004-ZiadiHJ #algebra #approach #synthesis
Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.
ICEISICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #uml #validation
Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
SEKESEKE-2003-DongFH #diagrams
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
ISSTAISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #testing #uml
On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
WICSAWICSA-2001-EgyedW #architecture #modelling
Statechart Simulator for Modeling Architectural Dynamics (AE, DSW), p. 87–?.
UMLUML-2001-SekerinskiZ #named
iState: A Statechart Translator (ES, RZ), pp. 376–390.
FASEFASE-J-1998-Scholz01 #design #incremental #specification
Incremental design of statechart specifications (PS), pp. 119–145.
ICSEICSE-2000-WhittleS #design #generative
Generating statechart designs from scenarios (JW, JS), pp. 314–323.
UMLUML-1998-KhrissEK #automation #collaboration #diagrams #multi #synthesis #uml
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.
OOPSLAOOPSLA-1995-AllenC #scheduling
Extending the Statechart Formalism: Event Scheduling & Disposition (AA, DdC), pp. 1–16.

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.