Recent Trends In Data Type Specification

Author : Michel Bidoit,Christine Choppy
Publisher : Springer Science & Business Media
Page : 360 pages
File Size : 50,8 Mb
Release : 1993-01-29
Category : Computers
ISBN : 3540563792

Get Book

Recent Trends in Data Type Specification by Michel Bidoit,Christine Choppy Pdf

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Author : Magne Haveraaen,Olaf Owe,Ole-Johan Dahl
Publisher : Springer Science & Business Media
Page : 568 pages
File Size : 53,5 Mb
Release : 1996-09-04
Category : Computers
ISBN : 3540616292

Get Book

Recent Trends in Data Type Specification by Magne Haveraaen,Olaf Owe,Ole-Johan Dahl Pdf

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Author : Hartmut Ehrig
Publisher : Springer Science & Business Media
Page : 396 pages
File Size : 50,9 Mb
Release : 1991-09-11
Category : Computers
ISBN : 3540544968

Get Book

Recent Trends in Data Type Specification by Hartmut Ehrig Pdf

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.

Author : Donald Sannella,Andrzej Tarlecki
Publisher : Springer Science & Business Media
Page : 280 pages
File Size : 48,8 Mb
Release : 1988-10-26
Category : Computers
ISBN : 3540503250

Get Book

Recent Trends in Data Type Specification by Donald Sannella,Andrzej Tarlecki Pdf

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.

Author : Hans-Jörg Kreowski
Publisher : Springer Science & Business Media
Page : 262 pages
File Size : 43,7 Mb
Release : 2013-06-29
Category : Computers
ISBN : 9783662096918

Get Book

Recent Trends in Data Type Specification by Hans-Jörg Kreowski Pdf

Author : Magne Haveraaen,Olaf Owe,Ole-Johan Dahl
Publisher : Unknown
Page : 568 pages
File Size : 46,6 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662190249

Get Book

Recent Trends in Data Type Specification by Magne Haveraaen,Olaf Owe,Ole-Johan Dahl Pdf

Author : Jose L. Fiadeiro
Publisher : Springer
Page : 346 pages
File Size : 41,7 Mb
Release : 2003-07-31
Category : Computers
ISBN : 9783540484837

Get Book

Recent Trends in Algebraic Development Techniques by Jose L. Fiadeiro Pdf

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.

Author : Didier Bert,Christine Choppy
Publisher : Springer Science & Business Media
Page : 491 pages
File Size : 44,7 Mb
Release : 2000-09-06
Category : Computers
ISBN : 9783540678984

Get Book

Recent trends in algebraic development techniques by Didier Bert,Christine Choppy Pdf

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.

Author : Anonim
Publisher : Unknown
Page : 576 pages
File Size : 40,9 Mb
Release : 1996
Category : Abstract data types (Computer science)
ISBN : UOM:39015039839165

Get Book

Recent Trends in Data Type Specification by Anonim Pdf

Author : Francesco Parisi-Presicce
Publisher : Springer Science & Business Media
Page : 452 pages
File Size : 43,5 Mb
Release : 1998-03-11
Category : Computers
ISBN : 3540642994

Get Book

Recent Trends in Algebraic Development Techniques by Francesco Parisi-Presicce Pdf

Spine title: WADT '97.

Author : Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner
Publisher : Springer Science & Business Media
Page : 626 pages
File Size : 54,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9783642598517

Get Book

Algebraic Foundations of Systems Specification by Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner Pdf

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Author : Martin Wirsing,Dirk Pattinson
Publisher : Springer Science & Business Media
Page : 466 pages
File Size : 46,8 Mb
Release : 2003-11-24
Category : Computers
ISBN : 9783540205371

Get Book

Recent Trends in Algebraic Development Techniques by Martin Wirsing,Dirk Pattinson Pdf

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 : Donald Sannella,Andrzej Tarlecki
Publisher : Springer Science & Business Media
Page : 584 pages
File Size : 54,6 Mb
Release : 2012-01-05
Category : Computers
ISBN : 9783642173363

Get Book

Foundations of Algebraic Specification and Formal Software Development by Donald Sannella,Andrzej Tarlecki Pdf

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 : Friedhelm Meyer auf der Heide,Burkhard Monien
Publisher : Springer Science & Business Media
Page : 700 pages
File Size : 42,8 Mb
Release : 1996-06-26
Category : Computers
ISBN : 3540614400

Get Book

Automata, Languages and Programming by Friedhelm Meyer auf der Heide,Burkhard Monien Pdf

This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures...

Author : Michael Luck
Publisher : Springer Science & Business Media
Page : 1366 pages
File Size : 46,7 Mb
Release : 2001-06-20
Category : Business & Economics
ISBN : 3540423125

Get Book

Multi-Agent Systems and Applications by Michael Luck Pdf

This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2001 under the sponsorship of ECCAI and Agent Link. The 20 lectures by leading researchers in the field presented in the book give a competent state-of-the-art account of research and development in the field of multi-agent systems and advanced applications. The book offers parts on foundations of MAS; social behaviour, meta-reasoning, and learning; and applications.