Bowman, H. and Derrick, J. (2001) Issues in Formal Methods (chapter 3). In: Bowman, H. and Derrick, J., 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 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:||30 Jul 2009 11:45|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/13554 (The current URI for this page, for reference purposes)|
- Depositors only (login required):