Works matching DE "STATECHARTS (Computer science)"
Results: 39
On Proposing Statecharts to Specify Performance Models.
- Published in:
- International Transactions in Operational Research, 2002, v. 9, n. 3, p. 321, doi. 10.1111/1475-3995.00358
- By:
- Publication type:
- Article
A Granular Hierarchical Multiview Metrics Suite for Statecharts Quality.
- Published in:
- Advances in Software Engineering, 2013, p. 1, doi. 10.1155/2013/952178
- By:
- Publication type:
- Article
Modeling gene regulatory network motifs using statecharts.
- Published in:
- BMC Bioinformatics, 2012, v. 13, n. Suppl 4, p. 1, doi. 10.1186/1471-2105-13-S4-S20
- By:
- Publication type:
- Article
On requirement verification for evolving Statecharts specifications.
- Published in:
- Requirements Engineering, 2014, v. 19, n. 3, p. 231, doi. 10.1007/s00766-013-0198-z
- By:
- Publication type:
- Article
Unified use case statecharts: case studies.
- Published in:
- Requirements Engineering, 2007, v. 12, n. 4, p. 245, doi. 10.1007/s00766-007-0053-1
- By:
- Publication type:
- Article
Reactive animation: From piecemeal experimentation to reactive biological systems.
- Published in:
- Autoimmunity, 2011, v. 44, n. 4, p. 271, doi. 10.3109/08916934.2010.523260
- By:
- Publication type:
- Article
Assessing and Improving State-Based Class Testing: A Series of Experiments.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 770, doi. 10.1109/TSE.2004.79
- By:
- Publication type:
- Article
Optimizing Symbolic Model Checking for Statecharts.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 2, p. 170, doi. 10.1109/32.908961
- By:
- Publication type:
- Article
Hypercharts: Extended Statecharts to Support Hypermedia Specification.
- Published in:
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 1, p. 33, doi. 10.1109/32.748917
- By:
- Publication type:
- Article
Design of Traffic Light Control Systems Using Statecharts.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 634, doi. 10.1093/comjnl/bxl032
- By:
- Publication type:
- Article
Quantitative Analysis of UML Statechart Models of Dependable Systems.
- Published in:
- Computer Journal, 2002, v. 45, n. 3, p. 260, doi. 10.1093/comjnl/45.3.260
- By:
- Publication type:
- Article
EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 2, p. 265, doi. 10.1142/S0218194012500076
- By:
- Publication type:
- Article
FORMAL SPECIFICATION APPROACH OF ROLE DYNAMICS IN AGENT ORGANISATIONS:: APPLICATION TO THE SATISFACTION-ALTRUISM MODEL.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2007, v. 17, n. 5, p. 615, doi. 10.1142/S0218194007003392
- By:
- Publication type:
- Article
An approach to automatic development of interlocking logic based on Statechart.
- Published in:
- Enterprise Information Systems, 2011, v. 5, n. 3, p. 273, doi. 10.1080/17517575.2011.575475
- By:
- Publication type:
- Article
Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL).
- Published in:
- Aerospace (MDPI Publishing), 2018, v. 5, n. 1, p. 10, doi. 10.3390/aerospace5010010
- By:
- Publication type:
- Article
Generation of Custom Textual Model Editors.
- Published in:
- Modelling, 2021, v. 2, n. 4, p. 609, doi. 10.3390/modelling2040032
- By:
- Publication type:
- Article
Using the Statecharts paradigm for simulation of patient flow in surgical care.
- Published in:
- Health Care Management Science, 2008, v. 11, n. 1, p. 79, doi. 10.1007/s10729-007-9026-7
- By:
- Publication type:
- Article
Statecharts to specify the control of automated manufacturing systems.
- Published in:
- International Journal of Production Research, 1998, v. 36, n. 11, p. 3183, doi. 10.1080/002075498192364
- By:
- Publication type:
- Article
Design and implementation of an open CNC core at the shop floor level.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2009, v. 40, n. 5/6, p. 541, doi. 10.1007/s00170-007-1365-5
- By:
- Publication type:
- Article
Refinement in statechart testing<FNR></FNR><FN>A version of this paper was originally presented at SoftTest II: The Second U.K. Workshop on Software Testing Research, held at the University of York, U.K., 4–5 September 2003. It is reproduced here in modified form with the permission of the Workshop organizers </FN>
- Published in:
- Software Testing: Verification & Reliability, 2004, v. 14, n. 3, p. 189, doi. 10.1002/stvr.301
- By:
- Publication type:
- Article
Editorial: Specification-based testing revisited?
- Published in:
- Software Testing: Verification & Reliability, 2001, v. 11, n. 1, p. 1, doi. 10.1002/stvr.220
- By:
- Publication type:
- Article
Statechart testing method for aircraft control systems.
- Published in:
- Software Testing: Verification & Reliability, 2001, v. 11, n. 1, p. 39, doi. 10.1002/stvr.217
- By:
- Publication type:
- Article
A test sequence selection method for statecharts.
- Published in:
- Software Testing: Verification & Reliability, 2000, v. 10, n. 4, p. 203, doi. 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2
- By:
- Publication type:
- Article
Object-oriented representation of hierarchical graphs.
- Published in:
- Journal of Mathematical Sciences, 2007, v. 140, n. 2, p. 286, doi. 10.1007/s10958-007-0423-8
- By:
- Publication type:
- Article
Compositional Verification of Quantitative Properties of Statecharts.
- Published in:
- Journal of Logic & Computation, 2001, v. 11, n. 6, p. 829, doi. 10.1093/logcom/11.6.829
- By:
- Publication type:
- Article
Forthcoming Papers.
- Published in:
- 2001
- Publication type:
- Abstract
Validating quality attribute requirements via execution-based model checking.
- Published in:
- Software: Practice & Experience, 2012, v. 42, n. 7, p. 853, doi. 10.1002/spe.1152
- By:
- Publication type:
- Article
Using Harel's Statecharts to Model Business Workflows.
- Published in:
- Journal of Database Management, 2002, v. 13, n. 3, p. 17, doi. 10.4018/jdm.2002070102
- By:
- Publication type:
- Article
Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts.
- Published in:
- Software & Systems Modeling, 2006, v. 5, n. 1, p. 13, doi. 10.1007/s10270-005-0094-1
- By:
- Publication type:
- Article
Guest editorial to the special issue on UML2003.
- Published in:
- 2005
- By:
- Publication type:
- Editorial
Automated support for deriving test requirements from UML statecharts.
- Published in:
- Software & Systems Modeling, 2005, v. 4, n. 4, p. 399, doi. 10.1007/s10270-005-0090-5
- By:
- Publication type:
- Article
Plug-and-play composition of features and feature interactions with statechart diagrams.
- Published in:
- Software & Systems Modeling, 2004, v. 3, n. 3, p. 221, doi. 10.1007/s10270-003-0040-z
- By:
- Publication type:
- Article
Minimally adequate teacher synthesizes statechart diagrams<AUG><AU>Erkki<SNM>Mäkinen<ORF RID="A1"><AU><FNMS>Tarja<SNM>Systä<ORF RID="A2"><AFF TYPE="ORG"><OID ID="A1"><OAD>Department of Computer and Information Sciences, University of Tamp...
- Published in:
- Acta Informatica, 2002, v. 38, n. 4, p. 235, doi. 10.1007/s236-002-8033-8
- By:
- Publication type:
- Article
Evaluation model framework based on simulation for enterprise network negotiation mechanisms.
- Published in:
- Production Planning & Control, 2010, v. 21, n. 6, p. 581, doi. 10.1080/09537287.2010.489252
- By:
- Publication type:
- Article
System Modeling in UML with Two-Hemisphere Model Driven Approach.
- Published in:
- Computer Science (1407-7493), 2010, v. 43, p. 37
- By:
- Publication type:
- Article
Model-driven design and implementation of discrete event control for a machine tool control system.
- Published in:
- International Journal of Computer Integrated Manufacturing, 2007, v. 20, n. 6, p. 548, doi. 10.1080/09511920600939849
- By:
- Publication type:
- Article
Basic Statechart: A Formalism to Model Industrial Applications.
- Published in:
- Journal of Modelling & Simulation of Systems, 2010, v. 1, n. 1, p. 22
- By:
- Publication type:
- Article
Tactile Modulation of Whisking via the Brainstem Loop: Statechart Modeling and Experimental Validation.
- Published in:
- PLoS ONE, 2013, v. 8, n. 11, p. 1, doi. 10.1371/journal.pone.0079831
- By:
- Publication type:
- Article
A Metrics Driven Design Approach for Real Time Environment Application.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2017, v. 14, n. 5, p. 729
- By:
- Publication type:
- Article