Tag #statechart
23 papers:
SANER-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.
TACAS-2013-BalasubramanianPKL #analysis #multi #named- Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
ICST-2012-PasareanuB #analysis- Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named- Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
SAC-2008-ReynosoCGP #diagrams #metric #ocl #uml #using- Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
MoDELS-2007-ProchnowH #development- Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
- MoDELS-2007-ProchnowH #development
- Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
IFM-2005-LamP #consistency #diagrams #sequence chart #using #π-calculus- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
- MoDELS-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.
- MoDELS-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.
ECOOP-2005-LamP #consistency #diagrams- Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
SEKE-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.
ICSE-2004-BriandLW #empirical #simulation #test coverage #using- Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
- ICSE-2004-ZiadiHJ #algebra #approach #synthesis
- Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.
ICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #uml #validation- Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
- SEKE-2003-DongFH #diagrams
- Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
- ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #testing #uml
- On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
WICSA-2001-EgyedW #architecture #modelling- Statechart Simulator for Modeling Architectural Dynamics (AE, DSW), p. 87–?.
UML-2001-SekerinskiZ #named- iState: A Statechart Translator (ES, RZ), pp. 376–390.
FASE-J-1998-Scholz01 #design #incremental #specification- Incremental design of statechart specifications (PS), pp. 119–145.
- ICSE-2000-WhittleS #design #generative
- Generating statechart designs from scenarios (JW, JS), pp. 314–323.
- UML-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.
OOPSLA-1995-AllenC #scheduling- Extending the Statechart Formalism: Event Scheduling & Disposition (AA, DdC), pp. 1–16.
