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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer-Verlag

3540650709

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Object-oriented specification of hybrid systems using UMLh and ZimOO

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

10.1007/bfb0056042 ◽

2006 ◽

pp. 328-346 ◽

Author(s):

Viktor Friesen ◽

André Nordwig ◽

Matthias Weber

Keyword(s):

Hybrid Systems ◽

Object Oriented

Download Full-text

On the semantic relation of Z and HOL

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

10.1007/bfb0056028 ◽

2006 ◽

pp. 96-115 ◽

Author(s):

Thomas Santen

Keyword(s):

Semantic Relation

Download Full-text

The specification and refinement of an environmental model

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

10.1007/bfb0056023 ◽

2006 ◽

pp. 24-41

Author(s):

Bill Stoddart

Keyword(s):

Environmental Model

Download Full-text

Visualizing Z notation in HTML documents

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

10.1007/bfb0056027 ◽

2006 ◽

pp. 81-95 ◽

Author(s):

Paolo Ciancarini ◽

Cecilia Mascolo ◽

Fabio Vitali

Keyword(s):

Download Full-text

Combining specification techniques for processes, data and time

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

10.1007/bfb0056034 ◽

2006 ◽

pp. 192-192

Author(s):

Ernst-Rüdiger Olderog

Keyword(s):

Specification Techniques

Download Full-text

Translating the OMT dynamic model into Object-Z

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

10.1007/bfb0056043 ◽

2006 ◽

pp. 347-366 ◽

Author(s):

S. Dupuy ◽

Y. Ledru ◽

M. Chabre-Peccoud

Keyword(s):

Download Full-text

More powerful Z data refinement: Pushing the state of the art in industrial refinement

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

10.1007/bfb0056040 ◽

2006 ◽

pp. 284-307 ◽

Author(s):

Susan Stepney ◽

David Cooper ◽

Jim Woodcock

Keyword(s):

State Of The Art ◽

The State ◽

Data Refinement

Download Full-text

HOL-Z in the UniForM-Workbench — A case study in tool integration for Z

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

10.1007/bfb0056029 ◽

2006 ◽

pp. 116-134 ◽

Author(s):

C. Lüth ◽

E. W. Karlsen ◽

Kolyang ◽

S. Westmeier ◽

B. Wolff

Keyword(s):

Tool Integration

Download Full-text

Compositional specification of controllers for batch process operations

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

10.1007/bfb0056038 ◽

2006 ◽

pp. 250-264

Author(s):

K. Lano ◽

P. Kan ◽

A. Sanchez

Keyword(s):

Batch Process ◽

Process Operations

Download Full-text

Analyzing a real-time program with Z

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

10.1007/bfb0056031 ◽

2006 ◽

pp. 136-153 ◽

Author(s):

Jonathan Jacky

Keyword(s):

Download Full-text