A Theory and Practice of Program Development

A Theory and Practice of Program Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 421
Release :
ISBN-10 : 9781447109877
ISBN-13 : 1447109872
Rating : 4/5 (872 Downloads)

Book Synopsis A Theory and Practice of Program Development by : Derek J. Andrews

Download or read book A Theory and Practice of Program Development written by Derek J. Andrews and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 421 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Theory and Practice of Program Development Related Books

A Theory and Practice of Program Development
Language: en
Pages: 421
Authors: Derek J. Andrews
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri
Program Evaluation Theory and Practice
Language: en
Pages: 642
Authors: Donna M. Mertens
Categories: Social Science
Type: BOOK - Published: 2012-02-20 - Publisher: Guilford Press

DOWNLOAD EBOOK

This engaging text takes an evenhanded approach to major theoretical paradigms in evaluation and builds a bridge from them to evaluation practice. Featuring hel
Program Theory-Driven Evaluation Science
Language: en
Pages: 253
Authors: Stewart I. Donaldson
Categories: Business & Economics
Type: BOOK - Published: 2007-05-21 - Publisher: Routledge

DOWNLOAD EBOOK

Program Theory-Driven Evaluation Science fills the gap between 21st century literature on evaluation and what is happening in practice. It features detailed exa
Career Development and Counseling
Language: en
Pages: 461
Authors: Mei Tang
Categories: Education
Type: BOOK - Published: 2018-08-29 - Publisher: SAGE Publications

DOWNLOAD EBOOK

Career Development and Counseling: Theory and Practice in a Multicultural World provides a comprehensive overview of career development theories with a unique m
Health Promotion Programs
Language: en
Pages: 480
Authors: Society for Public Health Education (SOPHE)
Categories: Medical
Type: BOOK - Published: 2010-03-18 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Health Promotion Programs introduces the theory of health promotion and presents an overview of current best practices from a wide variety of settings that incl