Issues in Formal Methods (chapter 3)

Bowman, Howard and Derrick, John (2001) Issues in Formal Methods (chapter 3). In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13554)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.

Abstract

The previous two chapters of this book discuss the construction of distributed systems and highlight some of the challenges that they pose. The central problem that these chapters leave is, of course, how to enhance reliability in the context of distribution. For those interested in a formal approach, this gives rise to a number of requirements on both the theoretical framework and particular engineering approaches. In this chapter we draw on some of the themes introduced in Chapters 1 and 2 to discuss implications on the use of formal methods for the specification of distributed systems.

Item Type:	Book section
Uncontrolled keywords:	Formal Methods, Object-oriented Systems, Distributed Systesm
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Mark Wheadon
Date Deposited:	24 Nov 2008 17:58 UTC
Last Modified:	05 Nov 2024 09:47 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/13554 (The current URI for this page, for reference purposes)

University of Kent Author Information

Bowman, Howard.

Creator's ORCID:	https://orcid.org/0000-0003-4736-1869
CReDIT Contributor Roles:

Derrick, John.

Creator's ORCID:
CReDIT Contributor Roles:

Depositors only (login required):

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.