Skip to main content
SpringerLink
Log in
Book cover

Refinement Techniques in Software Engineering

First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

  • Textbook
  • © 2006

Overview

Editors:
  1. Ana Cavalcanti

    1. Department of Computer Science, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Augusto Sampaio

    1. Centro de Informática, Universidade Federal de Pernambuco, Recife/PE, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jim Woodcock

    1. University of York,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3167)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PSSE 2004.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (8 chapters)

  1. Front Matter

    Download chapter PDF

  2. Refinement: An overview

    • Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Pages 1-17

  3. Transformation Laws for Sequential Object-Oriented Programming

    • Augusto Sampaio, Paulo Borba
    Pages 18-63

  4. Using CSP

    • Jim Davies
    Pages 64-122

  5. Developing and Reasoning About Probabilistic Programs in pGCL

    • Annabelle McIver, Carroll Morgan
    Pages 123-155

  6. Real-Time and Fault-Tolerant Systems

    • Zhiming Liu, Mathai Joseph
    Pages 156-219

  7. A Tutorial Introduction to CSP in Unifying Theories of Programming

    • Ana Cavalcanti, Jim Woodcock
    Pages 220-268

  8. Using the Compliance Notation in Industry

    • Phil Clayton, Colin O’Halloran
    Pages 269-314

  9. Techniques for Temporal Logic Model Checking

    • David Déharbe
    Pages 315-367

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer. The Summer School and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity. These proceedings record the contributions from the invited lecturers. Each chapter is the result of a thorough revision of the initial notes provided to the participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to re?nement.

Editors and Affiliations

  • Department of Computer Science, University of York, York, UK

    Ana Cavalcanti

  • Centro de Informática, Universidade Federal de Pernambuco, Recife/PE, Brazil

    Augusto Sampaio

  • University of York,  

    Jim Woodcock

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation