{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:35Z","timestamp":1725455735750},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605898"},{"type":"electronic","value":"9783540478027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015463","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:32:11Z","timestamp":1131845531000},"page":"205-220","source":"Crossref","is-referenced-by-count":3,"title":["TROLL light \u2014 The language and its development environment"],"prefix":"10.1007","author":[{"given":"M.","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Conrad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Denker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Vlachantonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. -D.","family":"Ehrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","series-title":"LNCS 361","volume-title":"Nested Relations and Complex Objects in Databases","year":"1989","unstructured":"S. Abiteboul, P.C. Fischer, and H.J. Schek, editors. Nested Relations and Complex Objects in Databases, Springer, Berlin, LNCS 361, 1989."},{"key":"11_CR2","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St\u00f8len. The Requirement and Design Specification Language SPECTRUM \u2014 An Informal Introduction (Version 1.0). Technical Report TUM 19311-12, TU M\u00fcnchen, 1993."},{"key":"11_CR3","unstructured":"M.R. Cagan. The HP SoftBench Environment: An Architecture for a New Generation of Software Tools. Hewlett Packard Journal, 41, 1990."},{"key":"11_CR4","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universit\u00e4t Braunschweig, 1992."},{"key":"11_CR5","first-page":"458","volume-title":"LNCS 707","author":"E. Dubois","year":"1993","unstructured":"E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: An Agent Perspective. In O.M. Nierstrasz, editor, Proc. European Conf. on Object-Oriented Programming (ECOOP'93), pages 458\u2013481. Springer, Berlin, LNCS 707, 1993."},{"key":"11_CR6","first-page":"173","volume-title":"LNCS 785","author":"G. Denker","year":"1993","unstructured":"G. Denker and M. Gogolla. Translating TROLL light Concepts to Maude. In H. Ehrig and F. Orejas, editors, Proc. 9th Workshop on Abstract Data Types \u2014 4th Compass Workshop (ADT'92), pages 173\u2013187. Springer, Berlin, LNCS 785, 1993."},{"key":"11_CR7","volume-title":"Technical report","author":"A. Earl","year":"1990","unstructured":"A. Earl. A Reference Model for Computer Assisted Software Engineering Environment Frameworks. Technical report, Hewlett-Packard Laboratories, Bristol, England, 1990. Version 4.0 ECMA\/TC33\/TGRM\/90\/016."},{"key":"11_CR8","unstructured":"H.-D. Ehrich. KORSO Reference Languages: Concepts and Application Domains. In this volume."},{"issue":"3","key":"11_CR9","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1(3):357\u2013395, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR10","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."},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1145\/111197.111200","volume":"16","author":"M. Gogolla","year":"1991","unstructured":"M. Gogolla and U. Hohenstein. Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. on Database Systems, 16(3):369\u2013416, 1991.","journal-title":"ACM Trans. on Database Systems"},{"key":"11_CR12","first-page":"183","volume-title":"Compositional Description of Object Communities with TROLL light","author":"R. Herzig","year":"1994","unstructured":"R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT'94), pages 183\u2013194. C\u00e9padu\u00e8s-\u00c9ditions, Toulouse, 1994."},{"key":"11_CR13","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."},{"issue":"10","key":"11_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/125223.125244","volume":"34","author":"C. Lamb","year":"1991","unstructured":"C. Lamb, G. Landis, J. Orenstein, and D. Weinreib. The ObjectStore Database System. Communications of the ACM, 34(10):50\u201363, 1991.","journal-title":"Communications of the ACM"},{"key":"11_CR15","first-page":"1","volume-title":"Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development","author":"P. Loucopoulos","year":"1992","unstructured":"P. Loucopoulos. Conceptual Modeling. In P. Loucopoulos and R. Zicari, editors, Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development, pages 1\u201326. John Wiley & Sons, New York, 1992."},{"key":"11_CR16","volume-title":"Technical Report","author":"J.K. Ousterhout","year":"1990","unstructured":"J.K. Ousterhout. TK: An X11 Toolkit Based on the TCL Language. Technical Report, University of California at Berkeley, 1990."},{"key":"11_CR17","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":"11_CR18","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":"11_CR19","first-page":"463","volume-title":"LNCS 685","author":"N. Vlachantonis","year":"1993","unstructured":"N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. 5th Int. Conf. on Advanced Information Systems Engineering (CAiSE'93), pages 463\u2013482. Springer, Berlin, LNCS 685, 1993."}],"container-title":["Lecture Notes in Computer Science","KORSO: Methods, Languages, and Tools for the Construction of Correct Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T05:47:57Z","timestamp":1549259277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0015463","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}