1369 search results - page 7 / 274 » Graphical Design of Reactive Systems |
HCI
2007
15 years 1 months ago
2007
This paper aims at describing the architectural model of an adaptive force-feedback for a By Wire steering wheel system. This solution uses a steering wheel to replicate the reacti...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
RISE
2005
Springer
15 years 5 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
116
click to vote
ISORC
1999
IEEE
15 years 3 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...
CBSE
2009
Springer
15 years 6 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...