2108 search results - page 1 / 422 » An Operational Semantics for Stateflow |
FASE
2004
Springer
13 years 8 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
EMSOFT
2004
Springer
13 years 8 months ago
2004
Springer
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
ENTCS
2002
13 years 4 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...