FM
1999
Springer
13 years 8 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
FM
1999
Springer
13 years 8 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
FM
1999
Springer
13 years 8 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
FM
1999
Springer
13 years 8 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
FM
1999
Springer
13 years 8 months ago
1999
Springer
FM
1999
Springer
13 years 8 months ago
1999
Springer
FM
1999
Springer
13 years 8 months ago
1999
Springer
FM
1999
Springer
13 years 8 months ago
1999
Springer
FM
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
FM
1999
Springer
13 years 8 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...