Program Development By Refinement

Author : Emil Sekerinski,Kaisa Sere
Publisher : Springer Science & Business Media
Page : 352 pages
File Size : 45,8 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447105855

Get Book

Program Development by Refinement by Emil Sekerinski,Kaisa Sere Pdf

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,Kaisa Sere
Publisher : Springer Science & Business Media
Page : 364 pages
File Size : 43,5 Mb
Release : 1999
Category : Computers
ISBN : 1852330538

Get Book

Program Development by Refinement by Emil Sekerinski,Kaisa Sere Pdf

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 : Emil Sekerinski,Kaisa Sere
Publisher : Unknown
Page : 364 pages
File Size : 49,9 Mb
Release : 1998-10-01
Category : Electronic
ISBN : 1447105869

Get Book

Program Development by Refinement by Emil Sekerinski,Kaisa Sere Pdf

Author : John Derrick,Eerke Boiten
Publisher : Springer
Page : 269 pages
File Size : 47,9 Mb
Release : 2018-09-03
Category : Computers
ISBN : 9783319927114

Get Book

Refinement by John Derrick,Eerke Boiten Pdf

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 : Unknown
Page : 368 pages
File Size : 44,9 Mb
Release : 1984
Category : Computer programming
ISBN : CORNELL:31924004166959

Get Book

Program Development Using Refinement Logic by Peter Vanderbilt Pdf

Author : David Till
Publisher : Springer Science & Business Media
Page : 315 pages
File Size : 53,7 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9781447132400

Get Book

6th Refinement Workshop by David Till Pdf

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 : Anonim
Publisher : Industrial Info Systems
Page : 260 pages
File Size : 43,7 Mb
Release : 2005
Category : Electronic
ISBN : 9789197462013

Get Book

The grand unified theory of software engineering by Anonim Pdf

Author : John Derrick,Eerke A. Boiten
Publisher : Springer Science & Business Media
Page : 492 pages
File Size : 47,9 Mb
Release : 2013-08-30
Category : Mathematics
ISBN : 9781447153559

Get Book

Refinement in Z and Object-Z by John Derrick,Eerke A. Boiten Pdf

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research

Author : Ana Cavalcanti
Publisher : Springer Science & Business Media
Page : 402 pages
File Size : 48,5 Mb
Release : 2006-09-27
Category : Business & Economics
ISBN : 9783540462538

Get Book

Refinement Techniques in Software Engineering by Ana Cavalcanti Pdf

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.

Author : Peter Müller,Ina Schaefer
Publisher : Springer
Page : 323 pages
File Size : 48,6 Mb
Release : 2018-10-23
Category : Computers
ISBN : 9783319980478

Get Book

Principled Software Development by Peter Müller,Ina Schaefer Pdf

This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge – on the occasion of his 60th birthday – the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd’s broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career. Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.

Author : Joseph M. Morris,Roger C. Shaw
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 48,8 Mb
Release : 2013-03-14
Category : Mathematics
ISBN : 9781447137566

Get Book

4th Refinement Workshop by Joseph M. Morris,Roger C. Shaw Pdf

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.

Author : Julia Seiter,Robert Wille,Rolf Drechsler
Publisher : Springer
Page : 94 pages
File Size : 52,7 Mb
Release : 2016-07-04
Category : Technology & Engineering
ISBN : 9783319414805

Get Book

Automatic Methods for the Refinement of System Models by Julia Seiter,Robert Wille,Rolf Drechsler Pdf

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

Author : Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg
Publisher : Springer Science & Business Media
Page : 832 pages
File Size : 44,7 Mb
Release : 1990-04-25
Category : Computers
ISBN : 3540525599

Get Book

Stepwise Refinement of Distributed Systems by Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg Pdf

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Author : Siau, Keng,Erickson, John
Publisher : IGI Global
Page : 450 pages
File Size : 53,7 Mb
Release : 2008-11-30
Category : Business & Economics
ISBN : 9781605661735

Get Book

Advanced Principles for Improving Database Design, Systems Modeling, and Software Development by Siau, Keng,Erickson, John Pdf

"This book presents cutting-edge research and analysis of the most recent advancements in the fields of database systems and software development"--Provided by publisher.

Author : Manfred Broy,Ernst Denert
Publisher : Unknown
Page : 576 pages
File Size : 49,6 Mb
Release : 2001-06-25
Category : Electronic
ISBN : 3642483550

Get Book

Pioneers and Their Contributions to Software Engineering by Manfred Broy,Ernst Denert Pdf