Spanish
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Refinement: An overview
-
Altmetric BadgeChapter 2 Transformation Laws for Sequential Object-Oriented Programming
-
Altmetric BadgeChapter 3 Using CSP
-
Altmetric BadgeChapter 4 Developing and Reasoning About Probabilistic Programs in pGCL
-
Altmetric BadgeChapter 5 Real-Time and Fault-Tolerant Systems
-
Altmetric BadgeChapter 6 A Tutorial Introduction to CSP in Unifying Theories of Programming
-
Altmetric BadgeChapter 7 Using the Compliance Notation in Industry
-
Altmetric BadgeChapter 8 Techniques for Temporal Logic Model Checking