Program Specification PDF Download

Author: J. Staunstrup
Publisher: Springer Science & Business Media
ISBN: 9783540114901
Category : Computers
Languages : en
Pages : 436

View

Book Description

Author: Ph.D., John C. Munson
Publisher: CRC Press
ISBN: 0203496299
Category : Computers
Languages : en
Pages : 400

View

Book Description
The rigors of engineering must soon be applied to the software development process, or the complexities of new systems will initiate the collapse of companies that attempt to produce them. Software Specification and Design: An Engineering Approach offers a foundation for rigorously engineered software. It provides a clear vision of what occurs at e

Author: Carroll Morgan
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 360

View

Book Description
Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic.

Author: Donald Sannella
Publisher: Springer Science & Business Media
ISBN: 3642173365
Category : Computers
Languages : en
Pages : 594

View

Book Description
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

Author: United States. Air Force. Space Division
Publisher:
ISBN:
Category : Contracts
Languages : en
Pages : 32

View

Book Description

Author: Władysław Turski
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 296

View

Book Description

Author: Barbara Liskov
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 472

View

Book Description
Liskov (engineering, Massachusetts Institute of Technology) and Guttag (computer science and engineering, also at MIT) present a component- based methodology for software program development. The book focuses on modular program construction: how to get the modules right and how to organize a program as a collection of modules. It explains the key types of abstractions, demonstrates how to develop specifications that define these abstractions, and illustrates how to implement them using numerous examples. An introduction to key Java concepts is included. Annotation copyrighted by Book News, Inc., Portland, OR.

Author: Hartmut Ehrig
Publisher: Springer
ISBN: 354027863X
Category : Computers
Languages : en
Pages : 638

View

Book Description
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

Author: United States. National Aeronautics and Space Administration
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 474

View

Book Description

Author: Henri Habrias
Publisher: John Wiley & Sons
ISBN: 1118613945
Category : Computers
Languages : en
Pages : 349

View

Book Description
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.