000 04311nam a22005895i 4500
001 978-3-540-46254-5
003 DE-He213
005 20240730194251.0
007 cr nn 008mamaa
008 100313s2006 gw | s |||| 0|eng d
020 _a9783540462545
_9978-3-540-46254-5
024 7 _a10.1007/11889229
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aRefinement Techniques in Software Engineering
_h[electronic resource] :
_bFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
_cedited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXI, 393 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3167
505 0 _aRefinement: 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.
520 _aThe 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 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. The Summer School and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity. These proceedings record the contributions from the invited lecturers. Each chapter is the result of a thorough revision of the initial notes provided to the participants of the school. 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 editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to re?nement.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aElectronic data processing
_xManagement.
_9156396
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9156397
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aIT Operations.
_931703
700 1 _aCavalcanti, Ana.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156398
700 1 _aSampaio, Augusto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156399
700 1 _aWoodcock, Jim.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156400
710 2 _aSpringerLink (Online service)
_9156401
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540462538
776 0 8 _iPrinted edition:
_z9783540831228
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3167
_9156402
856 4 0 _uhttps://doi.org/10.1007/11889229
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95111
_d95111