Search Results - "Statecharts (Computer science)"

The Gamma statechart composition framework.

Authors: Molnár, Vince Graics, Bence Vörös, András et al.

Source: ICSE: International Conference on Software Engineering. 5/27/2018, p113-116. 4p.

Subjects: Statecharts (Computer science), Software verification, Software architecture, Software engineering, Domain-specific programming languages

A Metrics Driven Design Approach for Real Time Environment Application.

Authors: Ahmed, Mahmood Shoaib, Muhammad

Source: International Arab Journal of Information Technology (IAJIT); Sep2017, Vol. 14 Issue 5, p729-737, 9p

Toward high-level reuse of statechart-based AI in computer games.

Authors: Dragert, Christopher Kienzle, Jörg Verbrugge, Clark

Source: ICSE: International Conference on Software Engineering; 2011, p25-28, 4p

Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite.

Authors: Henkler, Stefan Greenyer, Joel Hirsch, Martin et al.

Source: ICSE: International Conference on Software Engineering; 2009, p615-618, 4p, 3 Diagrams

On requirement verification for evolving Statecharts specifications.

Authors: Ghezzi, Carlo Menghi, Claudio Molzam Sharifloo, Amir et al.

Source: Requirements Engineering. Sep2014, Vol. 19 Issue 3, p231-255. 25p.

Subjects: Statecharts (Computer science), Computer software development, Software verification, Unified modeling language, Iterative methods (Mathematics)

Visual Formalism, Statecharts, and Statemate.

Source: Real-Time Systems (0-471-18406-3); 2002 1st Edition, p134-147, 14p

STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.

Authors: Banci, Michele Fantechi, Alessandro Gnesi, Stefania

Source: Journal of Integrated Design & Process Science. Mar2006, Vol. 10 Issue 1, p1-15. 15p. 10 Diagrams, 2 Charts.

Subjects: Statecharts (Computer science), Complexity (Philosophy), Product attributes, Industrial applications, Topology, Distributed algorithms

Compositional Verification of Quantitative Properties of Statecharts.

Authors: LEVI, FRANCESCA¹ levifran@di.unipi.it

Source: Journal of Logic & Computation. Dec2001, Vol. 11 Issue 6, p829-878. 50p. 3 Diagrams, 4 Charts.

Subjects: Statecharts (Computer science), Semantics, Charts, diagrams, etc., Parallel processing, Logic, Language & languages

Viewcharts: Syntax and Semantics.

Authors: Isazadeh, Ayaz Karimpour, Jaber

Source: Informatica. 2008, Vol. 19 Issue 3, p345-362. 18p. 13 Diagrams.

Subjects: Statecharts (Computer science), Structured techniques of electronic data processing, Machine theory, Information theory, Information science

Model-driven design and implementation of discrete event control for a machine tool control system.

Authors: Liu, Y. Li, W. Yamazaki, K. et al.

Source: International Journal of Computer Integrated Manufacturing. Sep2007, Vol. 20 Issue 6, p548-556. 9p. 1 Black and White Photograph, 10 Diagrams, 3 Charts.

Subjects: Systems design, Statecharts (Computer science), Structured techniques of electronic data processing, System analysis, Real-time control

Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts.

Authors: Scholz, Peter¹ peter.scholz@fh-landshut.de

Source: Software & Systems Modeling. Apr2006, Vol. 5 Issue 1, p13-25. 13p. 7 Diagrams, 1 Chart.

Subjects: Statecharts (Computer science), Distributed computing, Structured techniques of electronic data processing, Computer science, Computer programming

Automated support for deriving test requirements from UML statecharts.

Authors: Briand, L. C. Labiche, Y. Cui, J.

Source: Software & Systems Modeling. Nov2005, Vol. 4 Issue 4, p399-423. 25p.

Subjects: Statecharts (Computer science), Structured techniques of electronic data processing, Software engineering, Automation, Industrial engineering

Plug-and-play composition of features and feature interactions with statechart diagrams.

Authors: Prehofer, Christian¹ Prehofer@docomolab-euro.com

Source: Software & Systems Modeling. Aug2004, Vol. 3 Issue 3, p221-234. 14p.

Subjects: Statecharts (Computer science), Simulation methods & models, Plug & play (Computer architecture), Software architecture, Computer simulation, Structured techniques of electronic data processing, System analysis, Software engineering

Design and implementation of an open CNC core at the shop floor level.

Authors: Hu, Tianliang Zhang, Chengrui Liu, Riliang et al.

Source: International Journal of Advanced Manufacturing Technology. Mar2009, Vol. 40 Issue 5/6, p541-552. 12p. 1 Color Photograph, 12 Diagrams, 1 Chart.

Subjects: Programming of numerically controlled machine tools, Statecharts (Computer science), Manufacturing process automation, Interpolation, Human-machine systems, International cooperation

Refinement in statechart testingA 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

Authors: Bogdanov, K. Holcombe, M.

Source: Software Testing: Verification & Reliability. Sep2004, Vol. 14 Issue 3, p189-211. 23p.

Subjects: Statecharts (Computer science), Software engineering, Computer software development, Structured techniques of electronic data processing, Computer systems, Computer software industry

Statechart testing method for aircraft control systems.

Authors: Bogdanov, K. Holcombe, M.

Source: Software Testing: Verification & Reliability. Mar2001, Vol. 11 Issue 1, p39-54. 16p.

Subjects: Technical specifications, Statecharts (Computer science), Flight control systems, Testing, Formal methods (Computer science), Systems software

A test sequence selection method for statecharts.

Authors: Hyoung Seok Hong Young Gon Kim Sung Deok Cha et al.

Source: Software Testing: Verification & Reliability. Dec2000, Vol. 10 Issue 4, p203-227. 25p.

Subjects: Statecharts (Computer science), Structured techniques of electronic data processing, Electronic data processing, Testing equipment, Data flow computing

A Granular Hierarchical Multiview Metrics Suite for Statecharts Quality.

Authors: Beldjehem, Mokhtar¹ mbeldjeh@uottawa.ca

Source: Advances in Software Engineering. 2013, p1-13. 13p.

Subjects: Statecharts (Computer science), Computer software quality control, Topology, Fuzzy systems, Computer systems, Problem solving

On Proposing Statecharts to Specify Performance Models.

Authors: Vijaykumar, Nandamudi Lankalapalli Carvalho, Solon Venancio de Abdurahiman, Vakulathil

Source: International Transactions in Operational Research. May2002, Vol. 9 Issue 3, p321. 16p.

Subjects: Statecharts (Computer science), Computer systems, Markov processes

Semantics and Execution Time of New Timed Statecharts.

Authors: Magott, Jan Skrobanek, Paweł

Source: Fundamenta Informaticae; 2016, Vol. 147 Issue 4, p387-414, 28p