Limit search to available items
Book Cover
E-book
Author Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)

Title Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)
Published Berlin ; New York : Springer, ©2006

Copies

Description 1 online resource (x, 391 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3167. Tutorial
Lecture notes in computer science ; 3167.
Lecture notes in computer science. Tutorial.
Contents Refinement : an overview / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock -- Transformation laws for sequential object-oriented programming / Augusto Sampaio, Paulo Borba -- Using CSP / Jim Davies -- Developing and reasoning about probabilistic programs in pGCL / Annabelle McIver, Carroll Morgan -- Real-time and fault-tolerant systems / Zhiming Liu, Mathai Joseph -- A tutorial introduction to CSP in unifying theories of programming / Ana Cavalcanti, Jim Woodcock -- Using the compliance notation in industry / Phil Clayton, Colin O'Halloran -- Techniques for temporal logic model checking / David D'eharbe -- Elementary probability theory --Proofs of lemmas and theorems in the UTP -- Library block specifications
Summary "This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004)."--Jacket
Bibliography Includes bibliographical references
Notes Print version record
In OhioLINK electronic book center
SpringerLink
Subject Software engineering -- Congresses
Software engineering.
Informatique.
Software engineering.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Cavalcanti, Ana.
Sampaio, Augusto.
Woodcock, Jim.
ISBN 9783540462545
3540462546
3540462538
9783540462538
Other Titles First Pernambuco Summer School on Software Engineering
Pernambuco Summer School on Software Engineering
PSSE 2004