Refinement Techniques in Software Engineering
Publication year: 2006
: 978-3-540-46254-5
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.
: 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
