Skip to main content
SpringerLink
Log in
Book cover

Formal Methods and Object Technology

  • Book
  • © 1996

Overview

Editors:
  1. S. J. Goldsack

    1. Department of Computing, Technology and Medicine, Imperial College of Science, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. S. J. H. Kent

    1. Department of Computing, University of Brighton, Brighton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Object Paradigm

      • S. J. Goldsack, S. J. H. Kent
      Pages 3-16

    3. Formality in Object Technology

      • S. J. Goldsack, S. J. H. Kent
      Pages 17-29

  3. Formal Methods in Object Technology

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. LOTOS in the Object-Oriented Analysis Process

      • S. J. Goldsack, S. J. H. Kent
      Pages 33-46

    3. The Impact of Inheritance on Software Structure

      • S. J. Goldsack, S. J. H. Kent
      Pages 47-59

  4. Object Technology in Formal Methods

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. D_Parlog++: Object-Oriented Logic Programming with Distributed Active Classes

      • S. J. Goldsack, S. J. H. Kent
      Pages 63-85

    3. Concurrency and Real-timein VDM++

      • S. J. Goldsack, S. J. H. Kent
      Pages 86-112

    4. Integrating Formal and Structured Methods in Object-Oriented System Development

      • S. J. Goldsack, S. J. H. Kent
      Pages 113-157

    5. Introducing Object-Oriented Concepts into a Net-Based Hierarchical Software Development Process

      • S. J. Goldsack, S. J. H. Kent
      Pages 158-179

  5. Formal Foundations of Object Technology

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Design Structures for Object-Based Systems

      • S. J. Goldsack, S. J. H. Kent
      Pages 183-204

    3. Interconnection of Object Specifications

      • S. J. Goldsack, S. J. H. Kent
      Pages 205-226

    4. Refinement of Concurrent Object-Oriented Programs

      • S. J. Goldsack, S. J. H. Kent
      Pages 227-261

    5. Static Typing for Object-Oriented Languages

      • S. J. Goldsack, S. J. H. Kent
      Pages 262-286

    6. A Note on the Semantics of Inclusion Polymorphism

      • S. J. Goldsack, S. J. H. Kent
      Pages 287-301

    7. Categorical Semantics for Object-Oriented Data-Specifications

      • S. J. Goldsack, S. J. H. Kent
      Pages 302-316

    8. A Type-Theoretic Basis for an Object-Oriented Refinement Calculus

      • S. J. Goldsack, S. J. H. Kent
      Pages 317-335
Back to top

Keywords

About this book

Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program­ ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: • Object Technology • Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com­ ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com­ ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

Editors and Affiliations

  • Department of Computing, Technology and Medicine, Imperial College of Science, London, UK

    S. J. Goldsack

  • Department of Computing, University of Brighton, Brighton, UK

    S. J. H. Kent

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation