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)

The full text of this publication is not available from this repository. (Contact us about this Publication)


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: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 12 May 2014 13:51
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):