Book Details

978-3-540-46254-5

Refinement Techniques in Software Engineering

Publication year: 2006

ISBN: 978-3-540-46254-5

Internet Resource: Please Login to download book


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 main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer.


Subject: Computer Science, concurrency, formal method, logic, model checking, object, object-oriented programming, program generation, program optimization, programming, real time systems, real-time refinement, temporal logic, transformation of models, transformation of programs