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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cavalcanti, Ana (Επιμελητής έκδοσης), Sampaio, Augusto (Επιμελητής έκδοσης), Woodcock, Jim (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3167
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Management of Computing and Information Systems.

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

Πίνακας περιεχομένων:

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