软件工程中的求精技术/Refinement techniques in software engineering

出版时间：2006-12  出版社：Springer-Verlag New York Inc  作者：Cavalcanti, Ana (EDT)/ Sampaio, Augusto (EDT)/ Woodcock, Jim (EDT)  页数：391  

内容概要

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).    The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. 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 courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

书籍目录

Refinement:An OverviewTransformation Laws for Sequential Object-Oriented ProgrammingUsing CSPDeveloping and Reasoning About Probabilistic Programs in pGCLReal-Time and Fault-Tolerant SystemsA Tutorial Introduction to CSP in Unifying TheoriesUsing the Compliance Notation in  Industry Techniques for Temporal Logic Model CheckingElementary Probability TheoryProofs of Lemmas and Theorems in the UTPLibrary Block SpecificationsAuthor Index