8627 search results - page 441 / 1726 » Software Engineering Using RATionale |
165
Voted
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
180
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
148
click to vote
APL
1995
ACM
15 years 10 months ago
1995
ACM
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
166
Voted
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
It is advocated here that integrating abstraction and modularity into the concept of point of view, and extending the view concept to the process itself (and not only to data used ...
166
Voted
PEPM
1995
ACM
15 years 10 months ago
1995
ACM
A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...