A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development

The relationship between theory and practice of software development on the background of the driving forces in the 70'ies and 80'ies was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985.

[1]  Hartmut Ehrig,et al.  Dynamic Abstract Data Types: An informal Proposal , 1994, Bull. EATCS.

[2]  Gianna Reggio,et al.  SMoLCS-Driven Concurrent Calculi , 1987, TAPSOFT, Vol.1.

[3]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[4]  Hartmut Ehrig,et al.  Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..

[5]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[6]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[7]  José Meseguer,et al.  Models and Equality for Logical Programming , 1987, TAPSOFT, Vol.1.

[8]  C. A. R. Hoare,et al.  Proof of correctness of data representation , 1975, Language Hierarchies and Interfaces.

[9]  Hartmut Ehrig,et al.  From Graph Grammars to High Level Replacement Systems , 1990, Graph-Grammars and Their Application to Computer Science.

[10]  Hartmut Ehrig,et al.  Algebraic High-Level Nets: Petri Nets Revisited , 1992, COMPASS/ADT.

[11]  Helmuth Partsch,et al.  Formalizing Informal Reuqirments. Some Aspects , 1989, Algebraic Methods.

[12]  V. Strassen.  Gaussian elimination is not optimal , 1969 .

[13]  Bernd Mahr,et al.  Applications of Type Theory , 1993, TAPSOFT.

[14]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[15]  Richard Kennaway.  On "On Graph Rewritings" , 1987, Theor. Comput. Sci..

[16]  Donald Sannella,et al.  Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) , 1987, TAPSOFT, Vol.1.

[17]  Hartmut Ehrig,et al.  An Event Structure Semantics for Safe Graph Grammars , 1994, PROCOMET.

[18]  Berthold Hoffmann,et al.  Program Development by Specification and Transformation , 1993, Lecture Notes in Computer Science.

[19]  Johann A. Makowsky,et al.  Characterizing Specification Languages which Admit Initial Semantics , 1984, Theor. Comput. Sci..

[20]  Josef Stoer,et al.  Numerische Mathematik 1 , 1989 .

[21]  Wolfgang Grieskamp,et al.  OPAL: Design and Implementation of an Algebraic Programming Language , 1994, Programming Languages and System Architectures.

[22]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[23]  Tilak Agerwala,et al.  Data Flow Systems: Guest Editors' Introduction , 1982, Computer.

[24]  Michael Löwe,et al.  An algebraic framework for the transformation of attributed graphs , 1993 .

[25]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[26]  Hartmut Ehrig,et al.  Functorial Theory of Parameterized Specifications in a General Specification Framework , 1994, Theor. Comput. Sci..

[27]  Jacques Vautherin,et al.  Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.

[28]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[29]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[30]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[31]  Martin Wirsing,et al.  Algebraic Specifications of Reachable Higher-Order Algebras , 1987, ADT.

[32]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[33]  Hartmut Ehrig,et al.  Algebraic high-level net transformation systems , 1995, Mathematical Structures in Computer Science.

[34]  Jean-Claude Raoult,et al.  On graph rewritings , 1984, Bull. EATCS.

[35]  Hartmut Ehrig,et al.  Equations and initial semantics , 1985 .

[36]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[37]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[38]  Stephen J. Garland,et al.  An Overview of LP, The Larch Power , 1989, RTA.

[39]  Hartmut Ehrig,et al.  Module specifications and constraints , 1990 .

[40]  Peter D. Mosses,et al.  Unified algebras and institutions , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[41]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[42]  Hans-Jörg Kreowski,et al.  Algebraic system specification and development , 1991, Lecture Notes in Computer Science.

[43]  Ingo Claßen,et al.  Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods , 1994, GI Jahrestagung.

[44]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[45]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[46]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[47]  Laure Petrucci,et al.  Semantics, composition and net properties of algebraic high-level nets , 1990, Applications and Theory of Petri Nets.

[48]  Hartmut Ehrig,et al.  On the Relationship Between Algebraic Module Specifications and Program Modules , 1991, TAPSOFT, Vol.2.

[49]  José Meseguer,et al.  General logics and logical frameworks , 1994 .

[50]  Hartmut Ehrig,et al.  Dynamic Abstract Data Types Based on Algebraic Graph Transformations , 1994, COMPASS/ADT.

[51]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[52]  Donald Sannella,et al.  Extended ML: An Institution-Independent Framework for Formal Program Development , 1985, ADT.

[53]  Wolfgang Grieskamp,et al.  Algebreic Programming in Opal , 1993, Bull. EATCS.

[54]  Heinrich Hußmann,et al.  The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System , 1995, KORSO Book.