3 search results - page 1 / 1 » Synthesizing reactive systems from LSC requirements using th... |
OOPSLA
2007
Springer
13 years 10 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 ...
TASE
2007
IEEE
13 years 10 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...