Program Development by Refinement PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Program Development by Refinement PDF full book. Access full book title Program Development by Refinement by Emil Sekerinski. Download full books in PDF and EPUB format.
Author: Emil Sekerinski
Publisher: Springer Science & Business Media
ISBN: 1447105850
Category : Computers
Languages : en
Pages : 352
Get Book
Book Description
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: Ralph-Johan Back
Publisher:
ISBN: 9789514515057
Category : Computer programs
Languages : en
Pages : 109
Get Book
Book Description
Author: Emil Sekerinski
Publisher: Springer Science & Business Media
ISBN: 1447105850
Category : Computers
Languages : en
Pages : 352
Get Book
Book Description
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: Emil Sekerinski
Publisher: Springer Science & Business Media
ISBN: 9781852330538
Category : Computers
Languages : en
Pages : 364
Get Book
Book Description
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: Manfred Broy
Publisher:
ISBN: 9783642483554
Category :
Languages : en
Pages : 576
Get Book
Book Description
Author: John Derrick
Publisher: Springer
ISBN: 3319927116
Category : Computers
Languages : en
Pages : 269
Get Book
Book Description
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
Author: Peter Vanderbilt
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 368
Get Book
Book Description
Author: Emil Sekerinski
Publisher:
ISBN: 9781447105862
Category :
Languages : en
Pages : 364
Get Book
Book Description
Author: David Till
Publisher: Springer Science & Business Media
ISBN: 1447132408
Category : Mathematics
Languages : en
Pages : 315
Get Book
Book Description
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.
Author: W.-P. de Roever
Publisher: Cambridge University Press
ISBN: 0521641705
Category : Computers
Languages : en
Pages : 439
Get Book
Book Description
Graduate text in formal methods in computer science.
Author:
Publisher: Industrial Info Systems
ISBN: 9197462012
Category :
Languages : en
Pages : 260
Get Book
Book Description
