PSSE 2004: Recife, Brazil

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167 Springer 2006, ISBN 978-3-540-46253-8

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement: An overview. 1-17
Augusto Sampaio, Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming. 18-63
Jim Davies:
Using CSP. 64-122
Annabelle McIver, Carroll Morgan:
Developing and Reasoning About Probabilistic Programs in pGCL. 123-155
Zhiming Liu, Mathai Joseph:
Real-Time and Fault-Tolerant Systems. 156-219
Ana Cavalcanti, Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming. 220-268
Phil Clayton, Colin O'Halloran:
Using the Compliance Notation in Industry. 269-314
David Déharbe:
Techniques for Temporal Logic Model Checking. 315-367