Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006
    DBLP: db/conf/psse/psse2004.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 8 of 8  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.
    Refinement: An overview.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Ana Cavalcanti, Jim Woodcock.
    A Tutorial Introduction to CSP in
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Philip B. Clayton, Colin O'Halloran.
    Using the Compliance Notation in Industry.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Jim Davies.
    Using CSP.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    David Déharbe.
    Techniques for Temporal Logic Model Checking.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Zhiming Liu, Mathai Joseph.
    Real-Time and Fault-Tolerant Systems.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Developing and Reasoning About Probabilistic Programs in
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Augusto Sampaio, Paulo Borba.
    Transformation Laws for Sequential Object-Oriented Programming.
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Show item 1 to 8 of 8  

    Your query returned 8 matches in the database.