1202 search results - page 16 / 241 » Sortings for Reactive Systems |
AMAST
2000
Springer
15 years 3 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
102
click to vote
ESOP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
109
click to vote
JOT
2008
14 years 11 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
VLSID
2003
IEEE
15 years 11 months ago
2003
IEEE
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...