Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,530,397 papers from all fields of science
Search
Sign In
Create Free Account
State diagram
Known as:
State transition diagram
, State machine diagram
, Harel statechart
Expand
A state diagram is a type of diagram used in computer science and related fields to describe the behavior of systems. State diagrams require that the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
45 relations
4+1 architectural view model
Activity diagram
Adobe Source Libraries
Algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
University of Birmingham Thermoablative resistance of ZrB2-SiC-WC ceramics at 2400 °C
J. Zou
,
V. Rubio
,
J. Binner
2017
Corpus ID: 54930888
Although ZrB 2 -SiC ceramics have been extensively researched for applications at ultra-high temperatures (>2000 o C), it is well…
Expand
Highly Cited
2015
Highly Cited
2015
A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud
Nima Jafari Navimipour
Expert systems with applications
2015
Corpus ID: 35825505
2010
2010
Multiphysics Problems via the Cell Method: The Role of Tonti Diagrams
P. Alotto
,
F. Freschi
,
M. Repetto
IEEE transactions on magnetics
2010
Corpus ID: 46056035
A common structure of several physical laws emerges naturally from the Tonti diagrams of different physical theories so that…
Expand
2005
2005
Transformation of UML state machines for direct execution
Tim Schattkowsky
,
W. Müller
IEEE Symposium on Visual Languages / Human…
2005
Corpus ID: 14064822
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling…
Expand
Highly Cited
2004
Highly Cited
2004
From requirements change to design change: a formal path
Lian Wen
,
R. Dromey
Proceedings of the Second International…
2004
Corpus ID: 17734051
The ideal we seek when responding to a change in the functional requirements for a system is that we can quickly determine; (1…
Expand
2004
2004
Plug-and-play composition of features and feature interactions with statechart diagrams
C. Prehofer
Journal of Software and Systems Modeling
2004
Corpus ID: 350638
This paper presents a new approach for modular design of highly-entangled software components by statechart diagrams. We…
Expand
Review
2003
Review
2003
Real-Time Statechart Semantics
H. Giese
,
Sven Burmester
2003
Corpus ID: 59846178
Modelling complex dynamic real-time behavior is a crucial prerequisite when employing object-oriented modelling techniques…
Expand
Highly Cited
2001
Highly Cited
2001
Formalization of UML-Statecharts
M. V. D. Beeck
International Conference on the Unified Modeling…
2001
Corpus ID: 29468125
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and…
Expand
Highly Cited
2001
Highly Cited
2001
Multiframe detector/tracker: optimal performance
Marcelo G. S. Bruno
,
José M. F. Moura
2001
Corpus ID: 18163307
We develop the optimal Bayes multiframe detector/tracker for rigid extended targets that move randomly in clutter. The…
Expand
Highly Cited
1996
Highly Cited
1996
Equivalences of Statecharts
A. Maggiolo-Schettini
,
A. Peron
,
S. Tini
International Conference on Concurrency Theory
1996
Corpus ID: 13834046
We present a new semantics of Statecharts that excludes failures and a compositional formulation of this semantics based on…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE