{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:10Z","timestamp":1725564550422},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_24","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:32:45Z","timestamp":1283686365000},"page":"341-357","source":"Crossref","is-referenced-by-count":7,"title":["View Consistency in Software Development"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Handbook of Mathematical Logic","year":"1977","unstructured":"Barwise, J. (ed.): Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics, vol.\u00a090. North-Holland, Amsterdam (1977)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/BFb0014333","volume-title":"Algebraic Methodology and Software Technology","author":"G. Bernot","year":"1996","unstructured":"Bernot, G., Coudert, S., Gall, P.L.: Towards Heterogenous Formal Specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 458\u2013472. Springer, Heidelberg (1996)"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/S1389-1286(00)00114-6","volume":"34","author":"E.A. Boiten","year":"2000","unstructured":"Boiten, E.A., Bowman, H., Derrick, J., Linington, P.F., Steen, M.: Viewpoint consistency in ODP. Computer Networks\u00a034(3), 503\u2013537 (2000)","journal-title":"Computer Networks"},{"key":"24_CR4","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design\u00a021, 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"24_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Berlin (2001)"},{"issue":"4","key":"24_CR7","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Knowl. Eng.\u00a07(4), 457\u2013477 (1997)","journal-title":"Int. J. Softw. Knowl. Eng."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: How to Combine Z with a Process Algebra. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems, vol.\u00a02, pp. 423\u2013438. Chapman & Hall, Boston (1997)"},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61\u201371. Kluwer Academic, Boston (1999)"},{"key":"24_CR11","series-title":"Studies in Logic and the Foundatons of Mathematics","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume-title":"Proc. Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General Logics. In: Ebbinghaus, H.-D., Fern\u00e1ndez-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R. (eds.) Proc. Logic Colloquium 1987. Studies in Logic and the Foundatons of Mathematics, vol.\u00a0129, pp. 275\u2013329. Elsevier, Amsterdam (1989)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theo. Comp. Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theo. Comp. Sci."},{"key":"24_CR13","unstructured":"Meseguer, J.: Formal Interoperability. In: Proc. 5th Int. Symp. Mathematics and Artificial Intelligence, Fort Laurerdale, Florida, p. 9 (1998)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45931-6_23","volume-title":"Foundations of Software Science and Computation Structures","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Heterogenous Development Graphs and Heterogeneous Borrowing. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 326\u2013341. Springer, Heidelberg (2002)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Tarlecki, A., Paw\u0142owski, W.: Combining and Representing Logical Systems Using Model-Theoretic Parchments. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 349\u2013364. Springer, Heidelberg (1998)"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45499-3_19","volume-title":"Algebraic Methodology and Software Technology","author":"G. Reggio","year":"2000","unstructured":"Reggio, G., Repetto, L.: CASL-CHART: A Combination of Statecharts and the Algebraic Specification Language CASL. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 243\u2013272. Springer, Heidelberg (2000)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML StateMachines and Collaborations. In: Stoller, S., Visser, W. (eds.) Proc. Wsh. Software Model Checking, Paris. Elect. Notes Theo. Comp. Sci., vol.\u00a055(3),13 pages (2001)","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"24_CR18","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison\u2013Wesley, Reading (1999)"},{"key":"24_CR19","unstructured":"Wehrheim, H.: Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky Universit\u00e4t Oldenburg (2002)"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T17:39:35Z","timestamp":1559583575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}