{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:15:06Z","timestamp":1743088506083,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612926"},{"type":"electronic","value":"9783540684510"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61292-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:26:53Z","timestamp":1330291613000},"page":"136-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Developing an Information System using Troll \u2014 an application field study"],"prefix":"10.1007","author":[{"given":"M.","family":"Krone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kowsari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Hartel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Denker","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,1]]},"reference":[{"key":"8_CR1","series-title":"LNCS 873","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-58555-9_91","volume-title":"FME'94: Industrial Benefit of Formal Methods","author":"J.P Bowen","year":"1994","unstructured":"J.P Bowen and M.G. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, pages 105\u2013117. LNCS 873, Springer, Berlin, 1994."},{"issue":"4","key":"8_CR2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks","year":"1987","unstructured":"F.P. Brooks. No Silver Bullet \u2014 Essence and Accidents of Software Engineering. IEEE Computer, 20(4):10\u201319, Apr. 1987.","journal-title":"IEEE Computer"},{"key":"8_CR3","series-title":"LNCS 670","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BFb0024646","volume-title":"FME'93: Industrial-Strength Formal Methods","author":"J. Bowen","year":"1993","unstructured":"J. Bowen and V. Stavridou. The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. In [WL93], pages 183\u2013195, 1993."},{"key":"8_CR4","unstructured":"D. Coleman, P. Arnold, S. Bodoff, S. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-oriented Development \u2014 The Fusion Method. Prentice-Hall, 1994."},{"key":"8_CR5","unstructured":"C. Danker. Transformation of Trollobject specifications into schema of relational databases. Diploma Thesis at Techn. Univ. Braunschweig, 1995."},{"key":"8_CR6","unstructured":"G. Denker and H.-D. Ehrich. Action Reification In Object Oriented Specification. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems \u2014 Correctness and Reusability, Selected Papers from the ISCORE Workshop, pages 103\u2013118. World Scientific, 1995."},{"key":"8_CR7","unstructured":"E.H. D\u00fcrr and J.v. Katwijk. VDM++, A formal specification language for object-oriented design. In Proceedings of TOOLS7 (Technology of objectoriented languages and systems). Prentice-Hall, 1992."},{"key":"8_CR8","series-title":"CISM Courses and Lectures","first-page":"201","volume-title":"Advances in Database Systems, Implementations and Applications","author":"H.-D. Ehrich","year":"1994","unstructured":"H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-Oriented Design of Information Systems: Theoretical Foundations. In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201\u2013218. Springer Verlag, Wien, CISM Courses and Lectures no. 347, 1994."},{"key":"8_CR9","unstructured":"VDE: EN 50014 Elektrische Betriebsmittel f\u00fcr explosionsgef\u00e4hrdete Bereiche \u2014 Allgemeine Bestimmung. VDE-Verlag, 1978."},{"key":"8_CR10","unstructured":"VDE: EN 50018 Elektrische Betriebsmittel f\u00fcr explosionsgef\u00e4hrdete Bereiche \u2014 druckfeste Kapselung\u2019 . VDE-Verlag, 1978."},{"key":"8_CR11","series-title":"LNCS 906","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BFb0014430","volume-title":"Recent Trends in Data Types Specification","author":"H.-D. Ehrich","year":"1995","unstructured":"H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994, Selected papers, pages 219\u2013235. Springer, Berlin, LNCS 906, 1995."},{"key":"8_CR12","unstructured":"Espirito Santo Data Informatica, Lisbon. OBLOG CASE V1.0 \u2014 The User's Guide, 1993."},{"key":"8_CR13","series-title":"LNCS 334","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-50345-5_10","volume-title":"Advances in Object-Oriented Database Systems","author":"H.-D. Ehrich","year":"1988","unstructured":"H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144\u2013149, Bad M\u00fcnster am Stein, 1988. LNCS 334, Springer, Berlin, 1988."},{"issue":"3","key":"8_CR14","doi-asserted-by":"crossref","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 Transactions on Database Systems, 16(3):369\u2013416, 1991.","journal-title":"ACM Transactions on Database Systems"},{"key":"8_CR15","series-title":"LNCS 670","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BFb0024656","volume-title":"FME'93: Industrial-Strength Formal Methods","author":"T. G\u00fcnther","year":"1993","unstructured":"T. G\u00fcnther, K.-D Schewe, and I. Wetzel. On the Derivation of Executable Database Programs from Formal Specifications. In [WL93], pages 351\u2013366, 1993."},{"issue":"5","key":"8_CR16","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"D. Harel. On visual formalisms. Communications of the ACM, 31(5):514\u2013530, 1988.","journal-title":"Communications of the ACM"},{"key":"8_CR17","volume-title":"Entwurf einer Sprache f\u00fcr die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen","author":"T. Hartmann","year":"1995","unstructured":"T. Hartmann. Entwurf einer Sprache f\u00fcr die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen. Reihe DISBD. infix-Verlag, Sankt Augustin, 1995. To appear."},{"key":"8_CR18","volume-title":"Fortschritt-Berichte Reihe 10, Nr. 336","author":"R. Herzig","year":"1995","unstructured":"R. Herzig. Zur Spezifikation von Objektgesellschaften mit TROLL light. Fortschritt-Berichte Reihe 10, Nr. 336. VDI-Verlag, D\u00fcsseldorf, 1995."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"P. Hartel and R. Jungclaus. Modeling Business Processes over Objects. Int. Journal of Intelligent and Cooperative Information Systems, 1995. To appear.","DOI":"10.1142\/S021884309500007X"},{"key":"8_CR20","volume-title":"Handbuch f\u00fcr den Explosionsschutz","author":"W. Wettisch","year":"1971","unstructured":"W. Wettisch, H. Olenik, H. Rentzsch. Handbuch f\u00fcr den Explosionsschutz. W.Girardet, Z\u00fcrich, 1971."},{"key":"8_CR21","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"8_CR22","unstructured":"T. Hohnsbein and H. Schafiee. Reengineering des Programms DRUCKMESS in der PTB. Doppelstudienarbeit an der Universit\u00e4t Braunschweig, Abt.Datenbanken, 1994."},{"key":"8_CR23","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobson","year":"1992","unstructured":"I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, Reading, MA, 1992."},{"key":"8_CR24","volume-title":"100 Jahre Physikalisch-Technische Reichsanstalt\/Bundesanstalt 1887\u20131987","author":"H. Rechenberg","year":"1987","unstructured":"H. Rechenberg J. Bortfeld, W. Hanser. 100 Jahre Physikalisch-Technische Reichsanstalt\/Bundesanstalt 1887\u20131987. VCH Verlagsgesllschaft, M\u00fcnchen, 1987."},{"key":"8_CR25","volume-title":"Systematic Software Development using VDM","author":"C.B. Jones","year":"1989","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll \u2014 A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 1996. To appear.","DOI":"10.1145\/226163.226166"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, R.J. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining Troll with the Object Modeling Technique. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen. GI-Fachgespr\u00e4ch FG 1: Integration von semi-formalen und formalen Methoden f\u00fcr die Spezifikation von Software, pages 35\u201342. Springer, Informatik aktuell, 1994.","DOI":"10.1007\/978-3-642-51136-3_5"},{"key":"8_CR28","unstructured":"M. Kowsari and P. Hartel. Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik. In C. Eckert, H.J. Klein, and T. Polle, editors, 7. Workshop Grundlagen von Datenbanken, pages 88\u201393. Universit\u00e4t Hildesheim Institut f\u00fcr Informatik, Juni 1995."},{"key":"8_CR29","series-title":"LNCS 978","first-page":"38","volume-title":"Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment","author":"J. Kusch","year":"1995","unstructured":"J. Kusch, P. Hartel, T Hartmann, and G. Saake. Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment. In Proc. 6th Int. Conf. on Database and Expert Systems Applications (DEXA '95), pages 38\u201347. Springer Verlag, Berlin, LNCS 978, 1995."},{"key":"8_CR30","volume-title":"Z User workshop","author":"S.L. Meira","year":"1990","unstructured":"S.L. Meira and A.L.C. Cavalcanti. Modular Object-Oriented Z Specifications. In Z User workshop, Oxford. Springer-Verlag, 1990."},{"key":"8_CR31","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"8_CR32","first-page":"228","volume-title":"Specification of Database Applications in the TROLL-Language","author":"G. Saake","year":"1992","unstructured":"G. Saake and R. Jungclaus. Specification of Database Applications in the TROLL-Language. In D. Harper and M. Norrie, editors Proc. Int. Workshop Specification of Database Systems Glasgow, July 1991, pages 228\u2013245. Springer, London, 1992."},{"issue":"4","key":"8_CR33","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1142\/S0218215793000198","volume":"2","author":"G. Saake","year":"1993","unstructured":"G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments using an Object Specification Language. Int. Journal of Intelligent and Cooperative Information Systems, 2(4):425\u2013449, 1993.","journal-title":"Int. Journal of Intelligent and Cooperative Information Systems"},{"key":"8_CR34","volume-title":"The Z notation \u2014 a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"J.M. Spivey. The Z notation \u2014 a reference manual. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"8_CR35","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":"8_CR36","series-title":"LNCS 670","volume-title":"FME'93: Industrial-Strength Formal Methods","year":"1993","unstructured":"J.C.P Woodcock and P.G. Larsen, editors. FME'93: Industrial-Strength Formal Methods. LNCS 670, Springer, Berlin, 1993."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61292-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:28:37Z","timestamp":1640946517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61292-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612926","9783540684510"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-61292-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}