Concrete and abstract specification, modularization and program development by transformation PDF Download

Author: Bernd Brückner
Publisher:
ISBN:
Category :
Languages : de
Pages : 178

View

Book Description

Author: F.L. Bauer
Publisher: Springer
ISBN: 3540353127
Category : Computers
Languages : en
Pages : 661

View

Book Description

Author: Manfred Broy
Publisher: Springer Science & Business Media
ISBN: 9783540545767
Category : Computers
Languages : en
Pages : 292

View

Book Description
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Author: Miquel Bertran
Publisher: Springer
ISBN: 3540690581
Category : Computers
Languages : en
Pages : 442

View

Book Description
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

Author: B. Liskov
Publisher: MIT Press (MA)
ISBN:
Category : Computers
Languages : en
Pages : 496

View

Book Description
"Abstraction and Specification in Program Development" offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the linchpin of any effective approach to programming. They place particular emphasis on the use of data abstraction to produce highly modular programs.The authors focus on the process of decomposing large program projects into independent modules that can be assigned to independent working groups. They discuss methods of decomposition, the kinds of modules that are most useful in this process, and techniques to increase the likelihood that modules produced can in fact be recombined to solve the original programming problem. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises.Most of the sample implementations in the book are written in CLU, one of a growing number of languages able to support data abstraction. Sufficient material is included, however, to allow the reader to work in Pascal as well.The material in this book was developed by the authors during a decade of teaching undergraduate, graduate, and professional-level courses. Barbara Liskov, the developer of CLU, is Professor and John Guttag an Associate Professor of Computer Science at MIT. "Abstraction and Specification in Program Development" is included in the MIT Electrical Engineering and Computer Science series.

Author: Friedrich Ludwig Bauer
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 296

View

Book Description

Author: Hervé Panetto
Publisher: John Wiley & Sons
ISBN: 0470394854
Category : Computers
Languages : en
Pages : 398

View

Book Description
During the IFAC/IFIP I-ESA international conference, supported by the INTEROP NoE and the ATHENA IP, three workshops and a doctoral symposium were organized in order to strengthen some key topics related to interoperability for enterprise applications and software. The workshops were selected to complement the conference topics, providing researchers with more time to brainstorm and then to come out, at the end of the workshops, with new research directions for the future.

Author:
Publisher:
ISBN:
Category : Cybernetics
Languages : en
Pages : 832

View

Book Description

Author: Didier Bert
Publisher: Springer Science & Business Media
ISBN: 3540402535
Category : Computers
Languages : en
Pages : 559

View

Book Description
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Author: Peter Pepper
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 408

View

Book Description