1# Library to Find Best eBook for Read
Author : Ralph-Johan Back
Release : 1978
Genre : Computer programs
Kind : eBook
Book Rating : 057/5 ( reviews)
Book Synopsis On the Correctness of Refinement Steps in Program Development by : Ralph-Johan Back
Download or read book On the Correctness of Refinement Steps in Program Development written by Ralph-Johan Back. This book was released on 1978. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Emil Sekerinski
Release : 1999
Genre : Computers
Kind : eBook
Book Rating : 538/5 ( reviews)
Book Synopsis Program Development by Refinement by : Emil Sekerinski
Download or read book Program Development by Refinement written by Emil Sekerinski. This book was released on 1999. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
Author : Derek J. Andrews
Release : 2012-12-06
Genre : Mathematics
Kind : eBook
Book Rating : 872/5 ( reviews)
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. This book was released on 2012-12-06. 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.
Author : Emil Sekerinski
Release : 2012-12-06
Genre : Computers
Kind : eBook
Book Rating : 850/5 ( reviews)
Book Synopsis Program Development by Refinement by : Emil Sekerinski
Download or read book Program Development by Refinement written by Emil Sekerinski. This book was released on 2012-12-06. Available in PDF, EPUB and Kindle. Book excerpt: The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development from specification to implementation can then proceed by a succession oflayers, such that each layer is a refinement of the previous one. Design decisions can be introduced in refinement steps one at a time. By this, the refinement steps can be kept small and manageable. Still, the set of all requirements can be far too large to be taken completely into account in the initial specification. Even if they could, they might obscure issues more than clarify them. For example: • An information system for stored goods needs to produce an error message on il legal input. Yet, the exact wording - and even the language - of those messages is irrelevant for an understanding of the essence of the system. • A banking application interacts with customers with a graphical interface. Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
Author : Carroll Morgan
Release : 2012-12-06
Genre : Mathematics
Kind : eBook
Book Rating : 734/5 ( reviews)
Book Synopsis On the Refinement Calculus by : Carroll Morgan
Download or read book On the Refinement Calculus written by Carroll Morgan. This book was released on 2012-12-06. Available in PDF, EPUB and Kindle. Book excerpt: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
