Linked Data Explorerhttp://worldcat.org/entity/work/id/365941537
A theory and practice of program development
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/developpement_de_logiciels
- http://id.worldcat.org/fast/872390
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/vdm_sl
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/softwareentwicklung_0_gesamtdarstellung
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/developpement_logiciel
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/programmatuurtechniek
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/formale_spezifikationstechnik
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/spezifikationssprache
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/softwareentwicklung
- http://id.worldcat.org/fast/872537
- http://id.loc.gov/authorities/subjects/sh85029535
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/raffinement
- http://id.loc.gov/authorities/subjects/sh85107310
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/ateliers_de_genie_logiciel
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/ordinateurs_programmation
- http://experiment.worldcat.org/entity/work/data/365941537#Topic/vdm
http://schema.org/description
- "A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code."@en
http://schema.org/genre
- "Matériel didactique"
- "Electronic books"@en
http://schema.org/name
- "A theory and practice of program development"@en
- "A theory and practice of program development"
- "A Theory and Practice of Program Development"
http://schema.org/workExample
- http://www.worldcat.org/oclc/889734112
- http://www.worldcat.org/oclc/845416344
- http://www.worldcat.org/oclc/36767654
- http://www.worldcat.org/oclc/301571243
- http://www.worldcat.org/oclc/647958937
- http://www.worldcat.org/oclc/863758793
- http://www.worldcat.org/oclc/856782521
- http://www.worldcat.org/oclc/490599715
- http://www.worldcat.org/oclc/489063420