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

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relati...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Cavalcanti, Ana (Editor ), Sampaio, Augusto (Editor ), Woodcock, Jim (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3167
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Electronic data processing-Management.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares