{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:15Z","timestamp":1725488175776},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_13","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:01:06Z","timestamp":1185919266000},"page":"178-192","source":"Crossref","is-referenced-by-count":17,"title":["A Formal Approach to Heterogeneous Software Modeling"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Egyed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Medvidovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"13_CR1","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide, Addison-Wesley, 1998"},{"key":"13_CR2","unstructured":"DARPA. Evolutionary Design of Complex Software (EDCS): Demonstration Days 1999. http:\/\/www.if.afrl.af.mil\/programs\/edcs\/demo-days-99\/"},{"key":"13_CR3","unstructured":"Egyed, A.: \u201cIntegrating Architectural Views in UML,\u201d Qualifying Report, Technical Report, Center for Software Engineering, University of Southern California, USC-CSE-99-514, http:\/\/www.sunset.usc.edu\/TechRpts\/Papers\/usccse99-514\/usccse99-514.pdf , 1999"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Egyed, A. and Kruchten, P.: Rose\/Architect: a tool to visualize software architecture. Proceedings of the 32 nd Annual Hawaii Conference on Systems Sciences (1999)","DOI":"10.1109\/HICSS.1999.773098"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Koskimies, K., Syst\u00e4, T., Tuomi, J., and M\u00e4nnist\u00f6, T. (1998) \u201cAutomated Support for Modelling OO Software,\u201d IEEE Software, January, pp. 87\u201394.","DOI":"10.1109\/52.646888"},{"issue":"9","key":"13_CR6","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C. and Vera, J.: \u201cAn Event-Based Architecture Definition Language.\u201d IEEE Transactions on Software Engineering, vol. 21, no. 9, pages 717\u2013734, September 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR7","unstructured":"Medvidovic, N., Egyed, A., and Rosenblum, D.S.: Round-Trip Software Engineering Using UML: From Architecture to Design and Back. In Proceedings of the Second International Workshop on Object-Oriented Reengineering (WOOR\u201999), Toulouse, France, September 6, 1999."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Oreizy, P., Robbins, J.E., and Taylor, R.N.: Using Object-Oriented Typing to Support Architectural Design in the C2 Style. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE4), pp. 24\u201332, San Francisco, CA, October 16\u201318, 1996.","DOI":"10.1145\/239098.239106"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Oreizy, P., and Taylor, R.N.: Reuse of Off-the-Shelf Components in C2-Style Architectures. In Proceedings of the 1997 Symposium on Software Reusability (SSR\u201997), pp. 190\u2013198, Boston, MA, May 17\u201319, 1997. Also in Proceedings of the 1997 International Conference on Software Engineering (ICSE\u201997), pp. 692\u2013700, Boston, MA, May 17\u201323, 1997.","DOI":"10.1145\/258366.258421"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Medvidovic, N. and Rosenblum, D.S.: Assessing the Suitability of a Standard Design Method for Modeling Software Architectures. In Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1), pp. 161\u2013182, San Antonio, TX, February 22\u201324, 1999.","DOI":"10.1007\/978-0-387-35563-4_10"},{"key":"13_CR11","unstructured":"Medvidovic, N., Rosenblum, D.S., and Taylor, R.N.: A Type Theory for Software Architectures. Technical Report, UCI-ICS-98-14, Department of Information and Computer Science, University of California, Irvine, April 1998."},{"key":"13_CR12","unstructured":"Medvidovic, N., Rosenblum, D.S., Robbins, J.E., Redmiles, D.F.: Modeling Software Architectures in the Unified Modeling Language. In submission."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., and Taylor, R.N.: A Language and Environment for Architecture-Based Software Development and Evolution. In Proceedings of the 21st International Conference on Software Engineering (ICSE\u201999), pp. 44\u201353, Los Angeles, CA, May 16\u201322, 1999.","DOI":"10.1145\/302405.302410"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., and Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, to appear, 2000.","DOI":"10.1109\/32.825767"},{"key":"13_CR15","unstructured":"Rational Software Corporation, Rational Rose 98: Using Rational Rose"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Robbins, J.E., Medvidovic, N., Redmiles, D.F., and Rosenblum, D.S.: Integrating Architecture Description Languages with a Standard Design Method. In Proceedings of the 20th International Conference on Software Engineering (ICSE\u201998), pp. 209\u2013218, Kyoto, Japan, April 19\u201325, 1998.","DOI":"10.1109\/ICSE.1998.671120"},{"key":"13_CR17","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice Hall, New York, 1989."},{"issue":"6","key":"13_CR18","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"R.N. Taylor","year":"1996","unstructured":"Taylor, R.N., Medvidovic, N., Anderson, K.N., Whitehead, E.J., Jr., Robbins, J.E., Nies, K.A., Oreizy, P., and Dubrow, D.L.: A Component-and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering, vol. 22, no. 6, pp. 390\u2013406, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR19","unstructured":"Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With UML, Addison-Wesley, 1999"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:29:29Z","timestamp":1556713769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}