Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

State diagram

Known as: State transition diagram, State machine diagram, Harel statechart 
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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Abstract Thermal transitions of freeze-dried raspberry powder ( Rubus idaeus ) were analyzed by using differential scanning… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Two translations from activity diagrams to the input language of NuSMV, a symbolic model verifier, are presented. Both… Expand
  • figure 2
  • table I
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on… Expand
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • K. Jensen
  • Monographs in Theoretical Computer Science An…
  • 1997
  • Corpus ID: 39377973
Coloured Petri nets (CPN) is a formalism which extends ordinary Petri nets by adding data types and modularity. This means that… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
An empirical study was carried out at Ericsson Telecom AB to investigate the relationship between several design metrics and the… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Some observations are made concerning the process of developing complex systems. A broad class of systems, termed reactive, is… Expand
Is this relevant?
Highly Cited
1973
Highly Cited
1973
We investigate the possibility that radiative corrections may produce spontaneous symmetry breakdown in theories for which the… Expand
  • figure 4
  • figure 6
  • figure 7
Is this relevant?