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

scholarly journals Formal Derivation of Finite State Machines for Class Testing

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 ◽  
Finite State

Translating the OMT Dynamic Model into Object-Z

1998 ◽  
pp. 347-366 ◽  
Author(s):  
S. Dupuy ◽  
Y. Ledru ◽  
M. Chabre-Peccoud
Keyword(s):  
Dynamic Model

Network Topology and a Case Study in TCOZ

1998 ◽  
pp. 308-327 ◽  
Author(s):  
Brendan Mahony ◽  
Jin Song Dong
Keyword(s):  
Network Topology

scholarly journals Testing Refinements by Refining Tests

1998 ◽  
pp. 265-283 ◽  
Author(s):  
John Derrick ◽  
Eerke Boiten
Load More ...
Sign in / Sign up

Export Citation Format

Share Document