Refinement techniques in software engineering first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004: revised lectures /

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

Descrición completa

Gardado en:
Detalles Bibliográficos
Main Authors: Pernambuco Summer School on Software Engineering, Cavalcanti, Ana., Sampaio, Augusto., Woodcock, Jim.
Formato: Livro
Idioma:Inglês
Publicado: Springer, 2006
Series:Lecture notes in computer science ;
Assuntos:
Engenharia de software Congressos.
Acceso en liña:https://minerva.ufrj.br/F/?func=direct&doc_number=000908368&local_base=UFR01
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares