A Simple Case Study

Rolland, F. D.

doi:10.1007/978-1-349-12692-7_8

F. D. Rolland²

Part of the book series: Macmillan Computer Science Series ((COMPSS))

16 Accesses

Abstract

In this chapter we will describe how VDM can be used to specify a simple Electronic Mail system which can then be implemented as a simple set of objects using abstract data typing in Modula-2.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Department of Computing, Manchester Polytechnic, UK
F. D. Rolland (Senior Lecturer)

Authors

F. D. Rolland
View author publications
You can also search for this author in PubMed Google Scholar

Copyright information

About this chapter

Cite this chapter

Rolland, F.D. (1992). A Simple Case Study. In: Programming with VDM. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12692-7_8

Download citation

DOI: https://doi.org/10.1007/978-1-349-12692-7_8
Publisher Name: Palgrave, London
Print ISBN: 978-1-349-12694-1
Online ISBN: 978-1-349-12692-7
eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics