Abstract
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.
Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies hoping that TAPSOFT will be able to meet these requirements.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Agerwala, T., Arwind, C.: Data Flow Systems. Computer 15, 2 (1982)
E. Astesiano and G. Reggio: SMoLCS-driven concurrent calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, eds. Proc TAPSOFT'87, Vol 1, no 249, LNCS, 1987, pp. 169–201, Springer Verlag Berlin
Backus, J.: Can programming be liberated from the von-Neumann style?, a functional style and its algebra of programs. Communication of the ACM 21, 8 (1978)
Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2/3 (1987), 293–339
Broy, M., Jähnichen, S. (eds.): KORSO: Correct Software by Formal Methods Draft Version, Univ. Bremen 1994, to appear in Springer LNCS
Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development: A Survey and Annotated Bibliography, Springer LNCS 501, 1991
Broy, M.; Wirsing, M.: Partial abstract data types. Acta Informatica 18 (1982), 47–64
Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F.: An Event Structure Semantics for Safe Graph Grammars. Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994, 412-439
Claßen, I, Ehrig, H., Wolz, D.: Algebraic Specification Techniques and Languages for Software Development — The ACT Approach. World Scientific Pub. 1993
Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods, National Institute of Science and Technology, US Dept. of Commerce, N1ST GCR 93/626, 1993
Cornelius, F., Hußmann, H., Löwe, M.: The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. In [BJ 94]
Claßen I., Löwe, M., Waßerroth, S., Wortmann, J.: Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. Proc. GI-Fachgespräche, Hamburg 1994
Cook, S.: The complexity of theorem-proving. Proc. 3rd ACM Symposium on Theory of Computing (1971)
Colmerauer, A.: Les systems-Q on une formalisme pour analyser et synthetise des phrases sur ordinateur. Internal Report 43, Department d'Informatique, Université de Montreal, Canada (1970)
Didrich, K., Fett, A., Gerke, C., Grieskamp, W., Pepper, P.: OPAL: Design and Implementation of an Algebraic Programming Language. Proc. Conf. Progr. Lang. and Syst. Architecture 1994
Dimitrovici, C., Hummert, U., Petrucci, L.: Composition and net properties of algebraic high-level nets. In Advances of Petri Nets, vol. 483 LNCS, Springer Berlin 1991
Dahl, O.-J., Nygaard, K.: Simula — An Algol-based simulation language. Communications of the ACM 9, 9 (1966)
van Diepen, N., Partsch, H.: Some aspects of formalizing informal requirements. Proc. METEOR Workshop, Mierlo, 1989
Ehrig, H., Bardohl, R.: Specification Techniques Using Dynamic Abstract Data Types and Application to Shipping Software. Proc. Int. Workshop on Advanced in Software Technology, Shanghai Workshop 1994
Ehrig, H., Baldamus, M., Cornelius, F., Orejas, F.: Theory of Algebraic Module Specifications-Including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms. Proc. 2nd AMAST Conf., Iowa (U.S.A.) 1991
Ehrig, H., Engels, G.: Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. Proc. Graph Grammar Workshop, Mallorca 1994, to appear
Ehrig, H., Große-Rhode, M.: Functorial Theory of Parameterized Specifications in a General Specification Framework, accepted for TCS 1994
Ehrig, H., A. Habel, H.-J. Kreowski, F. Parisi-Presicce: From Graph Grammars to High-Level Replacement Systems, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532 (1991) pp. 269–291
Ehrig, H.: Introduction to the algebraic theory of graph grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, (1979), 1–69
Ehrig, H.: Introduction. Springer LNCS 185 (1985), 1–3
Ehrig, H., Löwe, M., Orejas, F.: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. Proc. ADT-COMPASS Workshop 1994, to appear in Springer LNCS 1995
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Vol. 21, Springer-Verlag (1990)
Ehrig, H., Orejas, F.: Dynamic Abstract Data Types: An Informal Proposal. Bull. EATCS 53 (1994), 162–169
Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic High-Level Nets: Petri nets revisited. Springer LNCS 785 (1994), 188–206
Fey, W.: Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language, Diss. TU Berlin, 1988
Fett, A., Gierke, C., Grieskamp, W., Pepper, P.: Algebraic Programming in OPAL, Bull. EATCS 50 (1993), 171–181
Fleck, E., Hansen, H., Mahr, B., Oswald, H.: Systementwicklung für die Integration und Kommunikation von Patientendaten und-dokumenten. Forschungsbericht 02–91, PMI am DHZB, 1991
Fleck, E.(ed.): Open Systems in Medicine, IOS Press, 1994
Floyd, Ch.: Introduction On the Relevance of Formal Methods to Software Development, Springer LNCS 186 (1986), 1–11
Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221–256
Garland, S. J., Guttag, J. V.: An overview of LP, the Larch Prover. Proc. 3d Conf. on Rewriting Techniques and Applications, Chapel Hill, North Carolina, Springer LNCS 355, 137–151 (1989)
Geser, A., Hußmann, H., Mueck, A.: A compiler for a class of conditional rewrite systems. Proc. Int. Workshop on Conditional Term Rewriting, Orsay. Springer LNCS 308, 84–90 (1987)
Goguen, J. A., Meseguer, J.: Models and Equality for Logic Programming, Springer LNCS 250 (1987), 1–22
Goldberg, A., Robson, D.: Smalltalk 80: The language and its implementation. Addison-Wesley(1983)
Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144
Hoare, C.A.R.: Proof of correctness of data representation. Acta Informatica 1 (1972)
Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21, 8 (1978)
Hodges, W.: The Meaning of Specifications I: Domains and initial models, accepted for TCS 1994
Hummert, U.: Algebraische High-Level Netze. PhD thesis, TU Berlin, Dept. of Comp. Sci., 1989
Kennaway, R.: On “on graph rewriting”, TCS 52 (1987), 37–58
Kowalski, R.: Logic for problem solving. North Holland (1979)
Krieg-Brückner, B.: PROgram development by SPECification and TRAnsformation. Technique et Science Informatiques. Special Issue on Advanced Software Engineering in ESPRIT (1990)
Kutsche, R.: An Application-Oriented Object Model and Concepts of its Formal Foundation, PhD Thesis, TU Berlin, 1994
Löwe, M., Ehrig, H., Fey, W., Jacobs, D.: On the Relationship Between Algebraic Module Specifications and Program Modules, Springer LNCS 494 (1991), 83–98
Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In M.R. Sleep et. al. eds. Term Graph Rewriting: Theory and Practice, Wiley 1993, 185–199
Brinksma, E.(ed.): Information processing systems — open systems interconnection. LOTOS: a formal description technique based on the temporal ordering of observational behaviour, International Standard, ISO 8807 (1988)
Löwe, M.: An Algebraic Approach to Single-Pushout Graph Transformations. TCS 109(1993), 181–224
Mahr, B.: Applications of Type Theory. In Proc. of TAPSOFT'93, LNCS 668, pp. 343–355, Springer Verlag, 1993
Milner, R.: A Calculus of Communicating Systems. Springer LNCS Vol. 92 (1980)
Mahr, B.; Makowski, J.A.: Characterizing specification languages which admit initial semantics. Technion Techn. Report 232, Haifa 1982, and TCS 31 (1984), 49–59
Marti-Oliet, N., Meseguer, J.: General Logics and Logical Frameworks. In: What is a Logical System? (D.M. Gabbay ed.), Oxford University Press, 1994
Mosses, P.D.: Unified Algebras and Institutions. LICS'89, Proc. 4th Ann. Symp. on Logic in Comp. Sci., IEEE, 1989, 304–312
Möller, B., Tarlecki, A., Wirsing, M.: Algebraic specifications of reachable higher-order algebras. Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland. Springer LNCS 332, 154–169 (1988)
Nickel, F.: Ablaufspezifikation durch Datenflußmodellierung und stromverarbeitende Funktionen, Techn. Report TUM-9334, TU München 1993
Parnas, D.C.: A technique for software module specification with examples. Communications of the ACM 15, 5 (1972). On the criteria to be used in decomposing systems into modules. Communications of the ACM 15, 12 (1972)
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net-transformation systems. Techn. Report No. 93–12, TU Berlin, 1993; revised version in MSCS
Padberg, J., Ribeiro, L., Cornelius, F., Ehrig, H.: Formal Requirements Analysis Using Algebraic High-Level Nets and Transformations, Techn. Report TU Berlin No. 93–34(1993)
Pepper, P., Wirsing, M. (eds.): KORSO: A Methodology for the Development of Correct Software, in [BJ 94]
Raoult, J.C.: On Graph Rewriting. TCS 32 (1984), 1–24
Reichel, H.: Behavioural equivalence — a unifying concept for initial and final specification methods. In Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, pp. 27–39, 1981
Reisig, W.: Petri nets and algebraic specifications. TCS 80:1–34, 1991
Strassen, V.: Gaussian elimination is not optimal. Numerische Mathematik 13 (1969)
Sannella, D.T.; Tarlecki, A.: Extended ML: an institution-independent framework for formal program development. Proc. Workshop on Category Theory and Comp. Programming, Guildford. LNCS 240, Springer (1986), 364–389
Sannella, D.T.; Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Extended abstract in: Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, LNCS 249, Springer (1987), 96–110; full version to appear in Acta Informatica
Vautherin, J.: Parallel specification with coloured Petri nets and algebraic data types. In Proc. of the 7th Europ. Workshop on Appl. and Theory of Petri Nets, 5–23, Oxford, 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Mahr, B. (1995). A decade of TAPSOFT. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds) TAPSOFT '95: Theory and Practice of Software Development. CAAP 1995. Lecture Notes in Computer Science, vol 915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59293-8_184
Download citation
DOI: https://doi.org/10.1007/3-540-59293-8_184
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59293-8
Online ISBN: 978-3-540-49233-7
eBook Packages: Springer Book Archive