{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:02:37Z","timestamp":1777946557188,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540662525","type":"print"},{"value":"9783540484806","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48480-6_4","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T22:33:40Z","timestamp":1278023620000},"page":"37-48","source":"Crossref","is-referenced-by-count":3,"title":["Modeling: Is It Turning Informal into Formal?"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Morand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Structured Analysis and System Specification","author":"T. De Marco","year":"1978","unstructured":"De Marco, T.: Structured Analysis and System Specification. Yourdon Press, New York (1978)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Chen, P.P.S.: The Entity-Relationship model. Toward a unified view of data. ACM Transactions on Database Systems\u00a01(1) (March 1976)","DOI":"10.1145\/320434.320440"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Pro-gramming"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Monarchi, D.E., Puhr, G.I.: A research typology for object-oriented analysis and design. Communications of the ACM\u00a035(9)","DOI":"10.1145\/130994.130995"},{"key":"4_CR5","unstructured":"UML Summary, version 1.1, (1\/09\/1997), \nhttp:\/\/www.rational.com\/uml"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Boehm, B.W.: Software engineering. IEEE Trans. Comp.\u00a0C-25 (1995)","DOI":"10.1109\/52.506460"},{"key":"4_CR7","volume-title":"A spiral model of software development and enhancement. Reprinted in System and Software Requirements Engineering","author":"B.W. Boehm","year":"1990","unstructured":"Boehm, B.W.: A spiral model of software development and enhancement. Reprinted in System and Software Requirements Engineering. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., Edwards, J.M.: The object-oriented systems life-cycle. Communi-cations of the ACM\u00a033(9)","DOI":"10.1145\/83880.84529"},{"key":"4_CR9","unstructured":"Jarke, M., Bubenko, J., Rolland, C., Sutcliffe, A., Vassiliou, Y.: Th\u00e9ories underlying requirements engineering. An overview of NATURE at genesis. ESPRIT Project 6353. Re-port AC-92-1 (1992)"},{"key":"4_CR10","unstructured":"Peirce, C.S.: Collected papers, pp. 1931\u20131935. Harvard University Press (1958)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Houser, N., Kloesel, C.: The Essential Peirce, Selected Philosophical Writings, vol.\u00a01, pp. 1867\u20131893. Indiana University Press (1992)","DOI":"10.2307\/j.ctvpwhg1z"},{"key":"4_CR12","unstructured":"Peirce Edition Project: The Essential Peirce, Selected Philosophical Writings, vol.\u00a02, pp. 1893\u20131913. Indiana University Press (1998)"},{"key":"4_CR13","unstructured":"Houser, N., Roberts, D.D., Evra, J.V. (eds.): Studies in the Logics of C.S. Peirce. Indiana University Press (1997)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Morand, B.: Les sens de la signification. Pour une th\u00e9orie a priori du signe. Revue Intellectica\u00a02(25) (1997), \nhttp:\/\/www.iutc3.unicaen.fr\/~moranb","DOI":"10.3406\/intel.1997.1752"},{"key":"4_CR15","unstructured":"UML Semantics, version 1.1 (1\/09\/1997), \nhttp:\/\/www.rational.com\/uml"},{"issue":"5","key":"4_CR16","first-page":"665","volume":"3","author":"B. Morand","year":"1995","unstructured":"Morand, B.: Statut \u00e9pist\u00e9mologique des mod\u00e8les dans la conception des syst\u00e8mes d\u2019information. Revue Ing\u00e9nierie des Syst\u00e8mes d\u2019Information, Herm\u00e8s\u00a03(5), 665\u2013700 (1995)","journal-title":"Revue Ing\u00e9nierie des Syst\u00e8mes d\u2019Information, Herm\u00e8s"},{"key":"4_CR17","unstructured":"Morand, B.: From Data, Process and Behaviour Perspectives to Representation as a Semiotic System for IS Modeling. In: CESA 1996, IMACS Multiconference, Lille, July 9-12 (1996)"},{"key":"4_CR18","unstructured":"UML Semantics, version 1.0 (13\/01\/1997), \nhttp:\/\/www.rational.com\/uml"},{"key":"4_CR19","volume-title":"Introduction to Logic and the Methodology of Deductive Science","author":"A. Tarski","year":"1946","unstructured":"Tarski, A.: Introduction to Logic and the Methodology of Deductive Science. Oxford University Press, Oxford (1946)"},{"key":"4_CR20","unstructured":"Gochet, P., Gribomont, P.: Logique. M\u00e9thodes pour l\u2019informatique fondamentale. Herm\u00e8s\u00a01 (1990)"},{"key":"4_CR21","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"4_CR22","volume-title":"Logical Reasoning with Diagrams","year":"1996","unstructured":"Allweincud, G., Barwise, J. (eds.): Logical Reasoning with Diagrams. Oxford University Press, Oxford (1996)"},{"key":"4_CR23","volume-title":"Diagrammatic Reasoning : Cognitive and Computational Perspectives","year":"1995","unstructured":"Glasgow, J., Narayanan, N., Chandresakaran, B. (eds.): Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press, Menlo Park (1995)"},{"key":"4_CR24","unstructured":"Thinking with machines Workshop, \nhttp:\/\/www.mrc-cbu.cam.ac.uk\/projects\/twd\/workshop.html"},{"key":"4_CR25","volume-title":"Conceptual Structures. Information Processing in mind and machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual Structures. Information Processing in mind and machine. Addison-Wesley, Reading (1984)"},{"key":"4_CR26","unstructured":"Keeler, M.: The Philosophical Context of Peirce\u2019s Existential Graphs, \nhttp:\/\/accord.iupui.edu\/accord\/context.txt"}],"container-title":["Lecture Notes in Computer Science","The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48480-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T03:28:18Z","timestamp":1694662098000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-48480-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662525","9783540484806"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48480-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}