{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:24Z","timestamp":1742598624574,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":71,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_184","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:11:47Z","timestamp":1330276307000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A decade of TAPSOFT"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Mahr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/MC.1982.1653937","volume":"15","author":"T. Agerwala","year":"1982","unstructured":"Agerwala, T., Arwind, C.: Data Flow Systems. Computer 15, 2 (1982)","journal-title":"Computer"},{"key":"1_CR2","first-page":"169","volume-title":"SMoLCS-driven concurrent calculi","author":"E. Astesiano","year":"1987","unstructured":"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\u2013201, Springer Verlag Berlin"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"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)","journal-title":"Communication of the ACM"},{"issue":"2\/3","key":"1_CR4","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2\/3 (1987), 293\u2013339","journal-title":"JCSS"},{"key":"1_CR5","unstructured":"Broy, M., J\u00e4hnichen, S. (eds.): KORSO: Correct Software by Formal Methods Draft Version, Univ. Bremen 1994, to appear in Springer LNCS"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/BFb0018512"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M.; Wirsing, M.: Partial abstract data types. Acta Informatica 18 (1982), 47\u201364","journal-title":"Acta Informatica"},{"key":"1_CR8","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, 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"},{"key":"1_CR9","unstructured":"Cla\u00dfen, I, Ehrig, H., Wolz, D.: Algebraic Specification Techniques and Languages for Software Development \u2014 The ACT Approach. World Scientific Pub. 1993"},{"key":"1_CR10","unstructured":"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"},{"key":"1_CR11","unstructured":"Cornelius, F., Hu\u00dfmann, H., L\u00f6we, M.: The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. In [BJ 94]"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Cla\u00dfen I., L\u00f6we, M., Wa\u00dferroth, S., Wortmann, J.: Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. Proc. GI-Fachgespr\u00e4che, Hamburg 1994","DOI":"10.1007\/978-3-642-51136-3_1"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Cook, S.: The complexity of theorem-proving. Proc. 3rd ACM Symposium on Theory of Computing (1971)","DOI":"10.1145\/800157.805047"},{"key":"1_CR14","volume-title":"Internal Report 43, Department d'Informatique","author":"A. Colmerauer","year":"1970","unstructured":"Colmerauer, A.: Les systems-Q on une formalisme pour analyser et synthetise des phrases sur ordinateur. Internal Report 43, Department d'Informatique, Universit\u00e9 de Montreal, Canada (1970)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-57840-4_34"},{"key":"1_CR16","volume-title":"In Advances of Petri Nets, vol. 483 LNCS","author":"C. Dimitrovici","year":"1991","unstructured":"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"},{"key":"1_CR17","first-page":"9","volume":"9","author":"O.-J. Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: Simula \u2014 An Algol-based simulation language. Communications of the ACM 9, 9 (1966)","journal-title":"Communications of the ACM"},{"key":"1_CR18","unstructured":"van Diepen, N., Partsch, H.: Some aspects of formalizing informal requirements. Proc. METEOR Workshop, Mierlo, 1989"},{"key":"1_CR19","unstructured":"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"},{"key":"1_CR20","unstructured":"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"},{"key":"1_CR21","unstructured":"Ehrig, H., Engels, G.: Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. Proc. Graph Grammar Workshop, Mallorca 1994, to appear"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Gro\u00dfe-Rhode, M.: Functorial Theory of Parameterized Specifications in a General Specification Framework, accepted for TCS 1994","DOI":"10.1016\/0304-3975(94)90110-4"},{"key":"1_CR23","first-page":"269","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"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\u2013291","journal-title":"Springer LNCS"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"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\u201369","journal-title":"Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS"},{"key":"1_CR25","first-page":"1","volume":"185","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H.: Introduction. Springer LNCS 185 (1985), 1\u20133","journal-title":"Springer LNCS"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Ehrig, H., L\u00f6we, M., Orejas, F.: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. Proc. ADT-COMPASS Workshop 1994, to appear in Springer LNCS 1995","DOI":"10.1007\/BFb0014431"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Vol. 21, Springer-Verlag (1990)","DOI":"10.1007\/978-3-642-61284-8_3"},{"key":"1_CR29","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Orejas, F.: Dynamic Abstract Data Types: An Informal Proposal. Bull. EATCS 53 (1994), 162\u2013169","journal-title":"An Informal Proposal. Bull. EATCS"},{"key":"1_CR30","first-page":"188","volume":"785","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic High-Level Nets: Petri nets revisited. Springer LNCS 785 (1994), 188\u2013206","journal-title":"Springer LNCS"},{"key":"1_CR31","unstructured":"Fey, W.: Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language, Diss. TU Berlin, 1988"},{"key":"1_CR32","first-page":"171","volume":"50","author":"A. Fett","year":"1993","unstructured":"Fett, A., Gierke, C., Grieskamp, W., Pepper, P.: Algebraic Programming in OPAL, Bull. EATCS 50 (1993), 171\u2013181","journal-title":"Bull. EATCS"},{"key":"1_CR33","unstructured":"Fleck, E., Hansen, H., Mahr, B., Oswald, H.: Systementwicklung f\u00fcr die Integration und Kommunikation von Patientendaten und-dokumenten. Forschungsbericht 02\u201391, PMI am DHZB, 1991"},{"key":"1_CR34","unstructured":"Fleck, E.(ed.): Open Systems in Medicine, IOS Press, 1994"},{"key":"1_CR35","first-page":"1","volume":"186","author":"C. Floyd","year":"1986","unstructured":"Floyd, Ch.: Introduction On the Relevance of Formal Methods to Software Development, Springer LNCS 186 (1986), 1\u201311","journal-title":"Springer LNCS"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221\u2013256","DOI":"10.1007\/3-540-12896-4_366"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"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\u2013151 (1989)","DOI":"10.1007\/3-540-51081-8_105"},{"key":"1_CR38","unstructured":"Geser, A., Hu\u00dfmann, H., Mueck, A.: A compiler for a class of conditional rewrite systems. Proc. Int. Workshop on Conditional Term Rewriting, Orsay. Springer LNCS 308, 84\u201390 (1987)"},{"key":"1_CR39","first-page":"1","volume":"250","author":"J. A. Goguen","year":"1987","unstructured":"Goguen, J. A., Meseguer, J.: Models and Equality for Logic Programming, Springer LNCS 250 (1987), 1\u201322","journal-title":"Springer LNCS"},{"key":"1_CR40","unstructured":"Goldberg, A., Robson, D.: Smalltalk 80: The language and its implementation. Addison-Wesley(1983)"},{"key":"1_CR41","unstructured":"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\u2013144"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Proof of correctness of data representation. Acta Informatica 1 (1972)","DOI":"10.1007\/BF00289507"},{"key":"1_CR43","first-page":"8","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21, 8 (1978)","journal-title":"Communications of the ACM"},{"key":"1_CR44","unstructured":"Hodges, W.: The Meaning of Specifications I: Domains and initial models, accepted for TCS 1994"},{"key":"1_CR45","unstructured":"Hummert, U.: Algebraische High-Level Netze. PhD thesis, TU Berlin, Dept. of Comp. Sci., 1989"},{"key":"1_CR46","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(87)90079-X","volume":"52","author":"R. Kennaway","year":"1987","unstructured":"Kennaway, R.: On \u201con graph rewriting\u201d, TCS 52 (1987), 37\u201358","journal-title":"TCS"},{"key":"1_CR47","unstructured":"Kowalski, R.: Logic for problem solving. North Holland (1979)"},{"key":"1_CR48","unstructured":"Krieg-Br\u00fcckner, B.: PROgram development by SPECification and TRAnsformation. Technique et Science Informatiques. Special Issue on Advanced Software Engineering in ESPRIT (1990)"},{"key":"1_CR49","unstructured":"Kutsche, R.: An Application-Oriented Object Model and Concepts of its Formal Foundation, PhD Thesis, TU Berlin, 1994"},{"key":"1_CR50","first-page":"83","volume":"494","author":"M. L\u00f6we","year":"1991","unstructured":"L\u00f6we, M., Ehrig, H., Fey, W., Jacobs, D.: On the Relationship Between Algebraic Module Specifications and Program Modules, Springer LNCS 494 (1991), 83\u201398","journal-title":"Springer LNCS"},{"key":"1_CR51","unstructured":"L\u00f6we, 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\u2013199"},{"key":"1_CR52","unstructured":"Brinksma, E.(ed.): Information processing systems \u2014 open systems interconnection. LOTOS: a formal description technique based on the temporal ordering of observational behaviour, International Standard, ISO 8807 (1988)"},{"key":"1_CR53","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: An Algebraic Approach to Single-Pushout Graph Transformations. TCS 109(1993), 181\u2013224","journal-title":"TCS"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Mahr, B.: Applications of Type Theory. In Proc. of TAPSOFT'93, LNCS 668, pp. 343\u2013355, Springer Verlag, 1993","DOI":"10.1007\/3-540-56610-4_75"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer LNCS Vol. 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR56","first-page":"49","volume":"31","author":"B. Mahr","year":"1984","unstructured":"Mahr, B.; Makowski, J.A.: Characterizing specification languages which admit initial semantics. Technion Techn. Report 232, Haifa 1982, and TCS 31 (1984), 49\u201359","journal-title":"Technion Techn. Report 232, Haifa 1982, and TCS"},{"key":"1_CR57","unstructured":"Marti-Oliet, N., Meseguer, J.: General Logics and Logical Frameworks. In: What is a Logical System? (D.M. Gabbay ed.), Oxford University Press, 1994"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified Algebras and Institutions. LICS'89, Proc. 4th Ann. Symp. on Logic in Comp. Sci., IEEE, 1989, 304\u2013312","DOI":"10.1109\/LICS.1989.39185"},{"key":"1_CR59","unstructured":"M\u00f6ller, 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\u2013169 (1988)"},{"key":"1_CR60","unstructured":"Nickel, F.: Ablaufspezifikation durch Datenflu\u00dfmodellierung und stromverarbeitende Funktionen, Techn. Report TUM-9334, TU M\u00fcnchen 1993"},{"key":"1_CR61","first-page":"5","volume":"15","author":"D.C. Parnas","year":"1972","unstructured":"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)","journal-title":"Communications of the ACM"},{"key":"1_CR62","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net-transformation systems. Techn. Report No. 93\u201312, TU Berlin, 1993; revised version in MSCS"},{"key":"1_CR63","doi-asserted-by":"crossref","unstructured":"Padberg, J., Ribeiro, L., Cornelius, F., Ehrig, H.: Formal Requirements Analysis Using Algebraic High-Level Nets and Transformations, Techn. Report TU Berlin No. 93\u201334(1993)","DOI":"10.5753\/sbes.1993.24392"},{"key":"1_CR64","unstructured":"Pepper, P., Wirsing, M. (eds.): KORSO: A Methodology for the Development of Correct Software, in [BJ 94]"},{"key":"1_CR65","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(84)90021-5","volume":"32","author":"J.C. Raoult","year":"1984","unstructured":"Raoult, J.C.: On Graph Rewriting. TCS 32 (1984), 1\u201324","journal-title":"TCS"},{"key":"1_CR66","unstructured":"Reichel, H.: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, pp. 27\u201339, 1981"},{"key":"1_CR67","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. TCS 80:1\u201334, 1991","journal-title":"TCS"},{"key":"1_CR68","doi-asserted-by":"crossref","unstructured":"Strassen, V.: Gaussian elimination is not optimal. Numerische Mathematik 13 (1969)","DOI":"10.1007\/BF02165411"},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"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\u2013389","DOI":"10.1007\/3-540-17162-2_133"},{"key":"1_CR70","doi-asserted-by":"crossref","unstructured":"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\u2013110; full version to appear in Acta Informatica","DOI":"10.1007\/BF00283329"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"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\u201323, Oxford, 1987","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:46:56Z","timestamp":1742597216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_184"}},"subtitle":["Aspects of progress and prospects in theory and practice of software development"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_184","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}