Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures: 3167 - Brossura

 
9783540462538: Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures: 3167
Brossura
ISBN 10: 3540462538 ISBN 13: 9783540462538
Casa editrice: Springer Berlin Heidelberg, 2010

Sinossi

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 seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Refinement: An overview.- Transformation Laws for Sequential Object-Oriented Programming.- Using CSP.- Developing and Reasoning About Probabilistic Programs in pGCL.- Real-Time and Fault-Tolerant Systems.- A Tutorial Introduction to CSP in Unifying Theories of Programming.- Using the Compliance Notation in Industry.- Techniques for Temporal Logic Model Checking.

Product Description

Rare Book

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Berlin Heidelberg
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
3540462538
ISBN 13 
9783540462538
Rilegatura
Copertina flessibile
Numero di pagine
408
Redattore
Cavalcanti Ana
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783540831228: Refinement Techniques in Software Engineering

Edizione in evidenza

ISBN 10:  3540831223 ISBN 13:  9783540831228
Casa editrice: Springer, 2008
Brossura