Koha online

Your cart is empty.
Normal view MARC view ISBD view

Refinement Techniques in Software Engineering [electronic resource] :First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.

by Cavalcanti, Ana [editor.]; Sampaio, Augusto [editor.]; Woodcock, Jim [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 3167Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: XI, 393 p. Also available online. online resource.ISBN: 9783540462545.Subject(s): Computer science | Software engineering | Information Systems | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)

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.

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha