{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:40Z","timestamp":1725664120712},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600435"},{"type":"electronic","value":"9783540494102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60043-4_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:34:02Z","timestamp":1330277642000},"page":"446-460","source":"Crossref","is-referenced-by-count":1,"title":["An algebraic development technique for information systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"key":"28_CR1","unstructured":"R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An Object-Oriented Framework for Specifying Reactive Systems. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 18\u201330. Universit\u00e9 du Queb\u00e9c \u00e0 Montr\u00e9al, 1994."},{"key":"28_CR2","unstructured":"G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. D\u00e9partement d'Informatique et de Recherche Op\u00e9rationnelle, Publication 748, Universit\u00e9 de Montr\u00e9al, 1990."},{"key":"28_CR3","unstructured":"E. Becker. The Electronic HDMS-A Patient's Record \u2014 A TROLL light Case Study. Project Thesis, TU Braunschweig, 1993."},{"key":"28_CR4","volume-title":"LNCS 562","author":"R. Breu","year":"1991","unstructured":"R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991."},{"key":"28_CR5","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992."},{"key":"28_CR6","series-title":"LNCS 785","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-57867-6_8","volume-title":"Recent Trends in Data Type Specification (WADT'92)","author":"S. Clerici","year":"1994","unstructured":"S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 144\u2013157. Springer, Berlin, LNCS 785, 1994."},{"key":"28_CR7","unstructured":"P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Universit\u00e9 de Paris-Sud, 1994."},{"key":"28_CR8","unstructured":"O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991."},{"key":"28_CR9","unstructured":"H.-D. Ehrich, editor. Beitr\u00e4ge zu KorSo-und TROLL light-Fallstudien. Technische Universit\u00e4t Braunschweig, Informatik-Bericht, 93-11, 1993."},{"key":"28_CR10","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig and F. Orejas. Dynamic Abstract Data Types: An Informal Proposal. EATCS Bulletin, 53:162\u2013169, 1994.","journal-title":"EATCS Bulletin"},{"key":"28_CR11","volume-title":"OBLOG CASE Version 1.0","author":"ESDI","year":"1993","unstructured":"ESDI. OBLOG CASE Version 1.0. Espirito Santo Data Informatica, Lisbon, Portugal, 1993."},{"key":"28_CR12","first-page":"254","volume-title":"LNCS 655","author":"P. Gabriel","year":"1993","unstructured":"P. Gabriel. The Object-Based Specification Language \u03a0: Concepts, Syntax, and Semantics. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types (ADT'91), pages 254\u2013270. Springer, Berlin, LNCS 655, 1993."},{"key":"28_CR13","first-page":"361","volume-title":"Workshops in Computing","author":"M. Gogolla","year":"1993","unstructured":"M. Gogolla and I. Cla\u00dfen. An Object-Oriented Design for the ACT ONE Environment. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Proc. 3rd Int. Conf. on Algebraic Methodology and Software Technology (AMAST'93), pages 361\u2013368. Springer, London, Workshops in Computing, 1993."},{"key":"28_CR14","first-page":"17","volume-title":"LNCS 722","author":"M. Gogolla","year":"1993","unstructured":"M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO '93), pages 17\u201332. Springer, Berlin, LNCS 722, 1993."},{"key":"28_CR15","first-page":"1","volume-title":"LNCS 785","author":"J.A. Goguen","year":"1994","unstructured":"J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In H. Ehrig and F. Orejas, editors, Proc. 9th Workshop on Abstract Data Types (ADT'92), pages 1\u201329. Springer, Berlin, LNCS 785, 1994."},{"key":"28_CR16","first-page":"288","volume-title":"LNCS 906","author":"M. Gogolla","year":"1995","unstructured":"M. Gogolla and R. Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Proc. 10th Workshop on Abstract Data Types (ADT'94), pages 288\u2013304. Springer, Berlin, LNCS 906, 1995."},{"key":"28_CR17","first-page":"376","volume-title":"LNCS 823","author":"M. Gogolla","year":"1994","unstructured":"M. Gogolla, R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis. Integrating the ER Approach in an OO Environment. In R. Elmasri, V. Kouramajian, and B. Thalheim, editors, Proc. 12th Int. Conf. on the Entity-Relationship Approach (ER'93), pages 376\u2013389. Springer, Berlin, LNCS 823, 1994."},{"key":"28_CR18","volume-title":"Fundamentals of Software Engineering","author":"G. Ghezzi","year":"1991","unstructured":"G. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall (NJ), 1991."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and J. Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT Press, 1987.","DOI":"10.1145\/323779.323755"},{"key":"28_CR20","first-page":"20","volume-title":"LNCS 858","author":"R. Herzig","year":"1994","unstructured":"R. Herzig and M. Gogolla. A SQL-like Query Calculus for Object-Oriented Database Systems. In E. Bertino and S. Urban, editors, Proc. Int. Symp. on Object-Oriented Methodologies and Systems (ISOOMS'94), pages 20\u201339. Springer, Berlin, LNCS 858, 1994."},{"key":"28_CR21","unstructured":"J. Hackauf and N. Hartmann. Specification of an Information System for Organizing Conferences \u2014 A TROLL light Case Study. Project Thesis, TU Braunschweig, 1994."},{"key":"28_CR22","series-title":"LNCS 361","first-page":"87","volume-title":"Nested Relations and Complex Objects in Databases","author":"R. Hull","year":"1989","unstructured":"R. Hull. Four Views of Complex Objects: A Sophisticate's Introduction. In S. Abiteboul, P.C. Fischer, and H.J. Schek, editors, Nested Relations and Complex Objects in Databases, Springer, Berlin, LNCS 361, pages 87\u2013116, 1989."},{"key":"28_CR23","series-title":"FZI-Publication 1\/94","first-page":"231","volume-title":"Case Study \u201cProduction Cell\u201d: A Comparative Study in Formal Specification and Verification","author":"R. Herzig","year":"1994","unstructured":"R. Herzig and N. Vlachantonis. TROLL light \u2014 Specification with a Language for the Conceptual Modelling of Information Systems. In C. Lewerentz and T. Lindner, editors, Case Study \u201cProduction Cell\u201d: A Comparative Study in Formal Specification and Verification, pages 231\u2013239. FZI-Publication 1\/94, FZI, Karlsruhe (Germany), 1994."},{"key":"28_CR24","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"C. L\u00e9cluse and P. Richard. Modeling Complex Structures in Object-Oriented Databases. In Proc. 8th ACM Symp. Principles of Database Systems, pages 360\u2013368, 1989.","DOI":"10.1145\/73721.73756"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"J. Meseguer and X. Qian. Logic-Based Modeling of Dynamic Object Systems. In P. Bunemann and S. Jajodia, editors, Proc. of the 1993 ACM SIG-MOD Int. Conf. on Management of Data, pages 89\u201398. SIGMOD Record Vol. 22, Number 2, June 1993.","DOI":"10.1145\/170036.170057"},{"key":"28_CR27","doi-asserted-by":"crossref","first-page":"15\/1","DOI":"10.1016\/B978-0-7506-0813-8.50022-8","volume-title":"Software Engineer's Reference Book","author":"J. McDermid","year":"1991","unstructured":"J. McDermid and P. Rook. Software Development Process Models. In J. McDermid, editor, Software Engineer's Reference Book, chapter 15, pages 15\/1\u201315\/36. Butterworth-Heinemann, Oxford, 1991."},{"key":"28_CR28","unstructured":"L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361\u2013385. Academic Press, 1990."},{"key":"28_CR29","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"key":"28_CR30","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107\u2013116. VLDB Endowment Press, Saratoga (CA), 1987."},{"key":"28_CR31","first-page":"415","volume-title":"Equational Specification of Dynamic Objects","author":"R. Wieringa","year":"1991","unstructured":"R. Wieringa. Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK) 1990, pages 415\u2013438. North-Holland, 1991."},{"key":"28_CR32","first-page":"677","volume-title":"Handbook of Theoretical Computer Science, Vol. B","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677\u2013788. North-Holland, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60043-4_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:21:07Z","timestamp":1640942467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60043-4_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600435","9783540494102"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-60043-4_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}