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

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Cavalcanti, Ana., Sampaio, Augusto., Woodcock, Jim.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture Notes in Computer Science, 3167
Subjects:
Online Access: http://dx.doi.org/10.1007/11889229
Tags: Add Tag
No Tags, Be the first to tag this record!