Author : Ingo Classen
Publisher : World Scientific
Page : 268 pages
File Size : 28,40 MB
Release : 1993
Category : Computers
ISBN : 9789810212278
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
Author : Ingo Claben
Publisher : World Scientific Publishing Company
Page : 255 pages
File Size : 28,81 MB
Release : 1993-11-30
Category : Computers
ISBN : 9813104554
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
Author : Manfred Broy
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 36,81 MB
Release : 1995-11-08
Category : Computers
ISBN : 9783540605898
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Author : Maurice Nivat
Publisher : Springer Science & Business Media
Page : 429 pages
File Size : 38,75 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447132270
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.
Author : Francesco Parisi-Presicce
Publisher : Springer Science & Business Media
Page : 452 pages
File Size : 46,93 MB
Release : 1998-03-11
Category : Computers
ISBN : 9783540642992
Spine title: WADT '97.
Author : Hans-Jörg Kreowski
Publisher : Springer
Page : 434 pages
File Size : 39,35 MB
Release : 2005-02-04
Category : Mathematics
ISBN : 354031847X
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
Author : Martin Wirsing
Publisher : Springer Science & Business Media
Page : 660 pages
File Size : 23,40 MB
Release : 1996-06-19
Category : Computers
ISBN : 9783540614630
Content Description #Includes bibliographical references and index.
Author : Razvan Diaconescu
Publisher : World Scientific
Page : 198 pages
File Size : 43,58 MB
Release : 1998-06-30
Category : Computers
ISBN : 9814518239
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification.This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification.The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification.
Author : Gheorghe P?un
Publisher : World Scientific
Page : 881 pages
File Size : 50,34 MB
Release : 2001
Category : Computers
ISBN : 9810244738
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as theoretical computer science. This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science in the period 1995 -- 2000. The columnists themselves selected the material they wanted for the book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science.
Author : S. Abramsky
Publisher : OUP Oxford
Page : 556 pages
File Size : 37,77 MB
Release : 2001-01-25
Category : Computers
ISBN : 0191546275
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
