ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650706, 9783540496762

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Comp.specification.z and Z FORUM Frequently Asked Questions

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_25 ◽

1998 ◽

pp. 407-416 ◽

Author(s):

Jonathan P. Bowen

Download Full-text

How to Combine Z with a Process Algebra

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_2 ◽

1998 ◽

pp. 5-23 ◽

Author(s):

Clemens Fischer

Keyword(s):

Process Algebra

Download Full-text

Translating the OMT Dynamic Model into Object-Z

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_23 ◽

1998 ◽

pp. 347-366 ◽

Author(s):

S. Dupuy ◽

Y. Ledru ◽

M. Chabre-Peccoud

Keyword(s):

Download Full-text

Industrial Requirements for the Efficient Development of Reliable Embedded Systems

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_1 ◽

1998 ◽

pp. 1-4 ◽

Author(s):

Klaus Grimm

Keyword(s):

Embedded Systems

Download Full-text

Formal Derivation of Finite State Machines for Class Testing

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_4 ◽

1998 ◽

pp. 42-59 ◽

Author(s):

Leesa Murray ◽

David Carrington ◽

Ian MacColl ◽

Jason McDonald ◽

Paul Strooper

Keyword(s):

Finite State Machines ◽

State Machines ◽

Formal Derivation ◽

Class Testing ◽

Download Full-text

Innovations in the Notation of Standard Z

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_15 ◽

1998 ◽

pp. 193-213 ◽

Author(s):

Ian Toyn

Download Full-text

Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_22 ◽

1998 ◽

pp. 328-346 ◽

Author(s):

Viktor Friesen ◽

André Nordwig ◽

Matthias Weber

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

Visualizing Z Notation in HTML Documents

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_7 ◽

1998 ◽

pp. 81-95 ◽

Author(s):

Paolo Ciancarini ◽

Cecilia Mascolo ◽

Fabio Vitali

Keyword(s):

Download Full-text

A Logic for the Schema Calculus

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_13 ◽

1998 ◽

pp. 172-191 ◽

Author(s):

Martin C. Henson ◽

Steve Reeves

Download Full-text

The Specification and Refinement of an Environmental Model

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_3 ◽

1998 ◽

pp. 24-41 ◽

Author(s):

Bill Stoddart

Keyword(s):

Environmental Model

Download Full-text