Abstract
A team at BT Labs has been using Z to tackle problems in telecommunications engineering for the last 3 years. We have increasingly found Z to be more satisfactory for use in some application areas than already standardised formal description techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ed Brinksma, A theory for the derivation of tests,in S Aggarwal, K Sabnani (Eds), Protocol Specification, Testing and Verification VIII,North Holland, 1989
D Carrington, D Duke, R Duke, P King, G Rose and G Smith,Object-Z: An object oriented extension to Z in S Vuong (Ed) Formal Description Techniques 1989North Holland, 1990
Elspeth Cusack, Steve Rudkin and Chris Smith,An object oriented interpretation of LOTOSin S Vuong (Ed) Formal Description Techniques 1989North Holland, 1990
Elspeth Cusack, Inheritance in object oriented Z,in P America (Ed), Proc. European Conference on Object Oriented Programming, 1991, Lecture Notes in Computer Science 512, Springer, 1991
Elspeth Cusack Object oriented modelling in Z in J de Meer (Ed) International Workshop on ODP October 1991 North Holland, 1992
Elspeth Cusack and G H B Rafsanjani, ZEST, in S S Stepney, R Barden and D Cooper (Eds), Object Orientation in Z, Workshops in Computing, Springer 1992
Elspeth Cusack and Clazien Wezeman Deriving tests for objects specified in Zthese Proceedings
Tony Jeffree,GDMO: Tools for defining OSI managed objects in Advanced Networking WeekBlenheim Online, 1992
G H B Rafsanjani and Steve Colwill, From Object-Z to C++ — a structural mappingthese Proceedings
Steve Rudkin Inheritance in LOTOSin K R Parker and G A Rose (Eds) Formal Description Techniques 1991North Holland, 1992
Steve Rudkin, Modelling information objects in Z, in J de Meer (Ed) International Workshop on ODP, October 1991, North Holland, 1992
Linda Simon and Lynn S Marshall,Using VDM to specify OSI managed objectsin K R Parker and G A Rose (Eds) Formal Description Techniques 1991 North Holland 1992
K J Turner, Using Formal Description Techniques, Macmillan 1992
Clazien D Wezeman, The CO-OP method for compositional derivation of canonical testers, in E Brinksma, G Scollo, C A Vissers (Eds), Protocol Specification, Testing and Verification, IX, North Holland, 1990
ISO IS 8807,LOTOS - a formal description technique based on the temporal ordering of observational behaviour 1989
CCITT Com X-R 17-E, Rec Z.100 Functional Specification and Description Language (SDL) 1992
CCITT Rec X.720 - X.722 — ISO/IEC IS 10165 (Parts 1-4) Management Information Services - Structure of Management Information 1992
CCITT Rec X.902 — ISO/IEC CD 10746–2.1Basic Reference Model of Open Distributed Processing - Part 2: Descriptive Model 1992
CCITT Rec X.905 — ISO/IEC SC21 WG7 N752 Basic Reference Model of Open Distributed Processing - Part 5: Architectural Semantics,November 1992
ISO/IEC SC21 WG7 N743 Working Document of the ODP Trader,November 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cusack, E. (1993). Using Z in Communications Engineering ( Invited Talk ). In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3556-2_14
Publisher Name: Springer, London
Print ISBN: 978-3-540-19818-5
Online ISBN: 978-1-4471-3556-2
eBook Packages: Springer Book Archive