Foundations Of Algebraic Specification And Formal Software Development
Download Foundations Of Algebraic Specification And Formal Software Development full books in PDF, epub, and Kindle. Read online free Foundations Of Algebraic Specification And Formal Software Development ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : Donald Sannella |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 594 |
| Release | : 2012-01-05 |
| Genre | : Computers |
| ISBN | : 3642173365 |
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 | : Ruth Breu |
| Publisher | : Springer Verlag |
| Total Pages | : 228 |
| Release | : 1991 |
| Genre | : Computers |
| ISBN | : 9780387549729 |
"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment."--PUBLISHER'S WEBSITE.
| Author | : Jim Woodcock |
| Publisher | : Addison Wesley Publishing Company |
| Total Pages | : 296 |
| Release | : 1989 |
| Genre | : Computers |
| ISBN | : |
| Author | : Ivo Van Horebeek |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 362 |
| Release | : 2012-12-06 |
| Genre | : Computers |
| ISBN | : 3642750303 |
"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level. Nowadays. there is general agreement that in large software projects appropriate specifications are a must in order to obtain quality software. Informal specifications alone are certainly not appropriate because they are incomplete. inconsistent. inaccurate and ambiguous and they rapidly become bulky and therefore useless. The only way to overcome this problem is to use formal specifications. An important remark here is that a specification formalism (language) alone is not sufficient. What is also needed is a design method to write specifications in that formalism.
| Author | : Vincent C. Müller |
| Publisher | : Springer |
| Total Pages | : 282 |
| Release | : 2015-12-16 |
| Genre | : Philosophy |
| ISBN | : 3319232916 |
This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. The theme of the papers is the two-way relation between computing technologies and philosophical questions: Computing technologies both raise new philosophical questions, and shed light on traditional philosophical problems. The chapters cover: 1) philosophy of computing, 2) philosophy of computer science & discovery, 3) philosophy of cognition & intelligence, 4) computing & society, and 5) ethics of computation.
| Author | : G. M. P. O'Hare |
| Publisher | : John Wiley & Sons |
| Total Pages | : 598 |
| Release | : 1996-04-05 |
| Genre | : Computers |
| ISBN | : 9780471006756 |
Distributed Artificial Intelligence (DAI) is a dynamic area of research and this book is the first comprehensive, truly integrated exposition of the discipline presenting influential contributions from leaders in the field. Commences with a solid introduction to the theoretical and practical issues of DAI, followed by a discussion of the core research topics--communication, coordination, planning--and how they are related to each other. The third section describes a number of DAI testbeds, illustrating particular strategies commissioned to provide software environments for building and experimenting with DAI systems. The final segment contains contributions which consider DAI from different perspectives.
| Author | : Martin Wirsing |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 466 |
| Release | : 2003-11-24 |
| Genre | : Computers |
| ISBN | : 3540205373 |
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
| Author | : Manfred Broy |
| Publisher | : IOS Press |
| Total Pages | : 420 |
| Release | : 2003 |
| Genre | : Computers |
| ISBN | : 9781586033422 |
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.
| Author | : Annalisa Bossi |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 322 |
| Release | : 2000-06-07 |
| Genre | : Computers |
| ISBN | : 3540676287 |
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR’99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR’s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.
| Author | : Heinrich Hußmann |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 308 |
| Release | : 1997-09-23 |
| Genre | : Computers |
| ISBN | : 9783540636137 |
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
