Works matching DE "STATECHARTS (Computer science)"

Results: 39

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:

Ahmed, Mahmood;
Shoaib, Muhammad

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:

Yi-Sheng Huang

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:

Huszerl, Gábor;
Majzik, István;
Pataricza, András;
Kosmidis, Konstantinos;
Dal Cin, Mario

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:

Hu, Tianliang;
Zhang, Chengrui;
Liu, Riliang;
Li, Peng

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:

Pentus, A. E.;
Pentus, M. R.

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:

Vainas, Oded;
Harel, David;
Cohen, Irun R.;
Efroni, Sol

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:

LEVI, FRANCESCA

Publication type:

Article

Forthcoming Papers.

Published in:: 2001
Publication type:: Abstract

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:

Chen, Xiangxian;
He, Yulin;
Huang, Hai

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:

Ghezzi, Carlo;
Menghi, Claudio;
Molzam Sharifloo, Amir;
Spoletini, Paola

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:

Svetinovic, Davor;
Berry, Daniel;
Day, Nancy;
Godfrey, Michael

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:

M ä kinen, Erkki;
Syst ä, Tarja

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:

Nikiforova, Oksana

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:

LAM, VITUS S. W.;
PADGET, JULIAN

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:

HILAIRE, VINCENT;
GRUER, PABLO;
KOUKAM, ABDER;
SIMONIN, OLIVIER

Publication type:

Article

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:

Drusinsky, Doron;
Shing, Man-Tak

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:

Wai Yin Mok;
Paper, David

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:

Briand, Lionel C.;
di Penta, Massimiliano;
Labiche, Yvan

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:

Chan, William;
Anderson, Richard J.;
Beame, Paul;
Jones, David H.;
Notkin, David;
Warner, William E.

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:

Paulo, Fabiano Borges;
Masiero, Paulo Ceasar;
de Oliveira, Maria Cristina Ferreira

Publication type:

Article

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:

Vijaykumar, Nandamudi Lankalapalli;
Carvalho, Solon Venancio de;
Abdurahiman, Vakulathil

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:

Chhaya, Bharvi;
Jafer, Shafagh;
Durak, Umut

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:

Monteiro, Thibaud;
Portmann, Marie-Claude;
Khouider, Smail

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:

Moura, Raimundo Santos;
Guedes, Luiz Affonso

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:

Fioravanti, Fabio;
Helmer-Citterich, Manuela;
Nardelli, Enrico

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:

Sobolev, Boris;
Harel, David;
Vasilakis, Christos;
Levy, Adrian

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:

Bogdanov, K.;
Holcombe, M.

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:

Bogdanov, K.;
Holcombe, M.

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:

White, Lee J.

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:

Hyoung Seok Hong;
Young Gon Kim;
Sung Deok Cha;
Doo Hwan Bae;
Ural, Hasan

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:

Marty, J. C.;
Sahraoui, A. E. K.;
Sartor, M.

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:

Liu, Y.;
Li, W.;
Yamazaki, K.;
Fujishima, M.

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:

Sherman, Dana;
Oram, Tess;
Deutsch, Dudi;
Gordon, Goren;
Ahissar, Ehud;
Harel, David

Publication type:

Article

Generation of Custom Textual Model Editors.

Published in:

Modelling, 2021, v. 2, n. 4, p. 609, doi. 10.3390/modelling2040032

By:

Syriani, Eugene;
Riegelhaupt, Daniel;
Barroca, Bruno;
David, Istvan

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:

Beldjehem, Mokhtar

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:

Scholz, Peter

Publication type:

Article

Guest editorial to the special issue on UML2003.

Published in:

2005

By:

Stevens, Perdita;
Whittle, Jon

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:

Briand, L. C.;
Labiche, Y.;
Cui, J.

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:

Prehofer, Christian

Publication type:

Article