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.)
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