3765 search results - page 187 / 753 » Formal Methods for Systems Engineering Behavior Models |
170
click to vote
FASE
2004
Springer
15 years 10 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...
158
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
191
click to vote
SEFM
2008
IEEE
16 years 28 days ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
195
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
178
click to vote
RE
2005
Springer
16 years 17 hour ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...