{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T04:37:02Z","timestamp":1714624622057},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T00:00:00Z","timestamp":1137628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10270-005-0103-4","type":"journal-article","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T09:40:44Z","timestamp":1138009244000},"page":"136-169","source":"Crossref","is-referenced-by-count":8,"title":["Separation of non-orthogonal concerns in software architecture and design"],"prefix":"10.1007","volume":"5","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Vilbig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,1,19]]},"reference":[{"issue":"12","key":"103_CR1","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"key":"103_CR2","unstructured":"Szyperski, C.: Component software, beyond object-oriented programming. Addison-Wesley (1998)"},{"key":"103_CR3","unstructured":"Shaw, M., Garlan, D.: Software architecture: perspectives on an emerging discipline. Prentice Hall (1996)"},{"key":"103_CR4","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns, elements of reusable object-oriented software. Addison-Wesley (1994)"},{"issue":"8","key":"103_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MC.1997.607062","volume":"30","author":"A.D. Stoyen","year":"1997","unstructured":"Stoyen, A.D.: Fighting complexity in computer science. IEEE Computer 30(8), 47\u201348 (1997)","journal-title":"IEEE Computer"},{"key":"103_CR6","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A discipline of programming. Prentice Hall, Englewood Cliffs, N.J. (1976)"},{"key":"103_CR7","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP), number 1241 in LNCS. Springer Verlag (1997)","DOI":"10.1007\/BFb0053381"},{"issue":"10","key":"103_CR8","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/167962.165932","volume":"28","author":"W. Harrison","year":"1993","unstructured":"Harrison, W., Ossher, H.: Subject-oriented programming (a critique of pure objects). ACM SIGPLAN Notices 28(10), 411\u2013428 (1993)","journal-title":"ACM SIGPLAN Notices"},{"issue":"8","key":"103_CR9","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering 20(8), 569\u2013578 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"103_CR10","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented modeling and design. Prentice Hall (1991)"},{"key":"103_CR11","doi-asserted-by":"crossref","unstructured":"Deutsch, P.: Design reuse and frameworks in the Smalltalk-80 system. Software Reusability 2 (1989)","DOI":"10.1145\/75722.75725"},{"key":"103_CR12","doi-asserted-by":"crossref","unstructured":"Garlan, D., Perry, D.: Special issue on software architecture. IEEE Transactions on Software Engineering 21 (1995)","DOI":"10.1109\/TSE.1995.489077"},{"key":"103_CR13","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern oriented software architecture. John Wiley & Sons, Inc. (1996)"},{"key":"103_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"Gruber, T.: A translation approach to portable ontology specifications. Knowledge Aquisition 5, 199\u2013220 (1993)","journal-title":"Knowledge Aquisition"},{"key":"103_CR15","unstructured":"Vilbig, A.: Komponentenbasiertes Rapid Prototyping am Beispiel der Biomolekularen Sequenzanalyse. PhD thesis, Technische Universit\u00e4t M\u00fcnchen, Department of Computer Science (2001)"},{"key":"103_CR16","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall International (1989)"},{"key":"103_CR17","unstructured":"ISO: Gen\u00e8ve. LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO\/IS 8807 (1989)"},{"key":"103_CR18","unstructured":"Vanhaute, B., Truyen, E., Joosen, W., Verbaeten, P.: Composing Non-orthogonal Meta-programs. In: First Workshop on Multi-Dimensional Separation of Concerns in Object-oriented Systems (at OOPSLA '99) (1999)"},{"key":"103_CR19","unstructured":"Meyer, B.: Object-Oriented Software Construction. 2nd edition. Prentice Hall (1997)"},{"issue":"3","key":"103_CR20","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connections. ACM Transactions on Software Engineering and Methodology 6(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"103_CR21","doi-asserted-by":"crossref","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. Form. Methods Syst. Des. 21(2), 111\u2013166 (2002)","journal-title":"Form. Methods Syst. Des."},{"key":"103_CR22","first-page":"189","volume-title":"Foundations of Component-Based Systems, chapter 9","author":"K. Bergner","year":"2000","unstructured":"Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, chapter 9, pp. 189\u2013210. Cambridge University Press, New York, NY (2000)"},{"key":"103_CR23","volume-title":"Java 2 Platform, Enterprise Edition: Platform and Component Specifications","author":"B. Shannon","year":"2000","unstructured":"Shannon, B., Hapner, M., Matena, V., Davidson, J., Cable, L., Pelegri-Llopart, E.: Java 2 Platform, Enterprise Edition: Platform and Component Specifications. Addison-Wesley, Reading, MA (2000)"},{"key":"103_CR24","unstructured":"Microsoft Corporation.: The Microsoft .NET Framework. Microsoft Press (2001)"},{"key":"103_CR25","unstructured":"Object Management Group.: OMG Unified Modeling Language Specification, Version 1.5, (September 2001). OMG document formal\/03-03-01"},{"issue":"7","key":"103_CR26","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., Jezequel, J.-M., Watkins, D.: Making Components Contract Aware. IEEE Computer 32(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"issue":"1","key":"103_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356901.356903","volume":"15","author":"G.R. Andrews","year":"1983","unstructured":"Andrews, G.R., Schneider, F.B.: Concepts and notations for concurrent programming. ACM Computing Surveys (CSUR) 15(1), 3\u201343 (1983)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"8","key":"103_CR28","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"3","author":"D. Harel","year":"1987","unstructured":"Harel, D.: STATECHARTS: A Visual Formalism for complex systems. Science of Computer Programming 3(8), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"103_CR29","unstructured":"Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall (1994)"},{"key":"103_CR30","doi-asserted-by":"crossref","unstructured":"Campbell, R.H., Habermann, A.N.: The Specification of Process Synchronization by Path Expressions. In: Gelenbe, E., Kaiser, C. (eds.) International Symposium on Operating Systems, Berlin, volume 16 of Lecture Notes in Computer Science, pp. 89\u2013102, Springer Verlag (1974)","DOI":"10.1007\/BFb0029355"},{"key":"103_CR31","unstructured":"Wirfs-Brock, R., Wilkerson, B., Wiener, L.: Designing Object-Oriented Software. Prentice Hall (1990)"},{"key":"103_CR32","unstructured":"Reenskaug, T., Wold, P., Lehene, O.A.: Working with Objects: The OOram Software Engineering Method. Addison-Wesley\/Manning (1996)"},{"key":"103_CR33","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc. (1994)"},{"key":"103_CR34","doi-asserted-by":"crossref","unstructured":"Giese, H., Graf, J., Wirtz, G.: Modeling Distributed Software Systems with Object Coordination Nets. In: Kr\u00e4mer, B., Uchihira, N., Croll, P., Russo, S. (eds.) Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan, pp. 107\u2013116. IEEE Press (1998)","DOI":"10.1109\/PDSE.1998.668154"},{"key":"103_CR35","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(1) (2002)","DOI":"10.1145\/504087.504088"},{"key":"103_CR36","unstructured":"Taft, S.T., Duff, R.A. (eds.): Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO\/IEC 8652:1995(E). Springer Verlag (1997)"},{"key":"103_CR37","unstructured":"Selic, B.: An Architectural Pattern for Real-Time Control Software. In: Workshop on Frameworks and Architectures, Pattern Languages of Programs Conference (PLoP '96), Allerton Park, Illinois, Sept. 4\u20136, 1996, Addison-Wesley (1996)"},{"key":"103_CR38","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming 2, 241\u2013266 (1982)","journal-title":"Science of Computer Programming"},{"issue":"7","key":"103_CR39","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Communications of the ACM 19(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"103_CR40","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","volume":"28","author":"R.D. Nicola","year":"1987","unstructured":"Nicola, R.D.: Extensional equivalences for transition systems. Acta Informatica 28, 211\u2013237 (1987)","journal-title":"Acta Informatica"},{"key":"103_CR41","doi-asserted-by":"crossref","unstructured":"Uselton, A.C., Smolka, S.A.: A Compositional Semantics for Statecharts using Labeled Transition Systems. In: Proceedings of CONCUR '94 \u2013 Fifth International Conference on Concurrency Theory, Uppsala, Sweden, volume 836 of Lecture Notes in Computer Science, pp. 2\u201317 (1994)","DOI":"10.1007\/978-3-540-48654-1_2"},{"issue":"1","key":"103_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/504077.504078","volume":"3","author":"G. L\u00fcttgen","year":"2002","unstructured":"L\u00fcttgen, G., Mendler, M.: The intuitionism behind Statecharts steps. ACM Transactions on Computational Logic (TOCL) 3(1), 1\u201341 (2002)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"1","key":"103_CR43","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/248621.248623","volume":"29","author":"M. Walicki","year":"1997","unstructured":"Walicki, M., Meldal, S.: Algebraic Approaches to Nondeterminism \u2013 an Overview. ACM Computing Surveys 29(1), 30\u201381 (1997)","journal-title":"ACM Computing Surveys"},{"key":"103_CR44","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Series in Computer Science. Addison-Wesley, Reading, MA, USA (1979)"},{"key":"103_CR45","doi-asserted-by":"crossref","unstructured":"Drusinsky, D., Harel, D.: On the Power of Bounded Concurrency I: Finite Automata. Journal of the ACM 41(3) (1994)","DOI":"10.1145\/176584.176587"},{"key":"103_CR46","doi-asserted-by":"crossref","unstructured":"Broy, M.: A theory of nondeterminism, parallelism, communication and concurrency. Theoretical Computer Science 45 (1986)","DOI":"10.1016\/0304-3975(86)90040-X"},{"key":"103_CR47","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proceedings of the 2nd International Joint Conference on Artifical Intelligence, The British Computer Society, pp. 481\u2013189 (1971)"},{"issue":"2","key":"103_CR48","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer Science 82(2), 253\u2013284 (1991)","journal-title":"Theoretical Computer Science"},{"key":"103_CR49","doi-asserted-by":"crossref","unstructured":"Giese, H., Vilbig, A.: Separation of non-orthogonal concerns in software architecture and design. Technical Report tr-ri-05-254, Department of Computer Science, University of Paderborn, Germany (2005) (Version 2)","DOI":"10.1007\/s10270-005-0103-4"},{"issue":"3","key":"103_CR50","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"103_CR51","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman and Company (1979)"},{"key":"103_CR52","doi-asserted-by":"crossref","unstructured":"Coudert, O., Berthet, C., Madre, J.C.: Verification of Synchronous Sequential Machines Based on Symbolic Execution. In: Sifakis, J. (ed.) Proceedings of the International Workshop on Automatic Verification Methods for Finite State Machines, Grenoble, France, volume 407 of Lecture Notes in Computer Science, pp. 365\u2013373 (1989)","DOI":"10.1007\/3-540-52148-8_30"},{"key":"103_CR53","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"103_CR54","unstructured":"Lind-Nielsen, J., Andersen, H.R., Behrmann, G., Hulgaard, H., Kristoffersen, K., Larsen, K.G.: Verification of Large State\/Event Systems using Compositionality and Dependency Analysis. In: Steffen, B. (ed.) Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98). Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28\u2013April 4, volume 1384 of Lecture Notes in Computer Science (1998)"},{"key":"103_CR55","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, H., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241\u2013251. ACM Press (2000)","DOI":"10.1145\/337180.337207"},{"key":"103_CR56","unstructured":"Artwork.: Project ARTWORK Homepage. http:\/\/artwork.in.tum.de\/ (2001)"},{"key":"103_CR57","unstructured":"Kruchten, P.: The Rational Unified Process \u2014 an Introduction. Addison Wesley (1999)"},{"issue":"6","key":"103_CR58","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P. Kruchten","year":"1995","unstructured":"Kruchten, P.: The 4+1 View Model of Architecture. IEEE Software 12(6), 42\u201350 (1995)","journal-title":"IEEE Software"},{"key":"103_CR59","unstructured":"Abd-Allah, A., Boehm, B.: Models for composing heterogenous software architectures. Technical Report USC-CSE-96-505, University of Southern California (1996)"},{"key":"103_CR60","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International (1985)"},{"key":"103_CR61","doi-asserted-by":"crossref","unstructured":"Clarke, S., Harrison, W., Ossher, H., Tarr, P.: Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code. In: Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 1\u20135, 1999, Denver, Colerado, USA, pp. 325\u2013339 (1999)","DOI":"10.1145\/320384.320420"},{"key":"103_CR62","doi-asserted-by":"crossref","unstructured":"Kendall, E.A.: Role Model Designs and Implementations with Aspect-oriented Programming. In: Confernece on Object-Oriented Programming, Systems, Languages, and Applications, November 1\u20135, 1999, Denver, Colerado, USA, pp. 353\u2013369 (1999)","DOI":"10.1145\/320384.320423"},{"key":"103_CR63","doi-asserted-by":"crossref","unstructured":"Mekerke, F., Georg, G., Franc, R.: Tool Support for Aspect-Oriented Design. In: Proceedings of the Workshops on Advances in Object-Oriented Information Systems (OOIS 2002), Montpellier, France, volume 2426 of Lecture Notes in Computer Science, pp. 280\u2013289. Springer Verlag (2002)","DOI":"10.1007\/3-540-46105-1_32"},{"key":"103_CR64","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M. N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of the 1999 international conference on Software engineering May 16\u201322, 1999, Los Angeles, CA USA, pp. 107\u2013119 (1999)"},{"key":"103_CR65","doi-asserted-by":"crossref","unstructured":"Fradet, P., Metayer, D.L., Perin, M.: Consistency Checking for Multiple View Softeware Architecture. In: Nierstrasz, O., Lemoine, M. (eds.) 7th European Software Engineering Conference, Toulouse, France, volume 1687 of Lecture Notes in Computer Science, pp. 410\u2013428 (1999)","DOI":"10.1007\/3-540-48166-4_25"},{"issue":"1","key":"103_CR66","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M. Ainsworth","year":"1994","unstructured":"Ainsworth, M., Cruickshank, A.H., Wallis, P.J.L., Groves, L.J.: Viewpoint specification and z. Information and Software Technology 36(1), 43\u201351 (1994)","journal-title":"Information and Software Technology"},{"key":"103_CR67","doi-asserted-by":"crossref","unstructured":"Derrick, J., Bowman, H., Steen, M.W.A.: Maintaining cross-viewpoint consistency using z. In: In the IFIP International Conference on Open Distributed Processing, pp. 395\u2013406. Chapman and Hall (1995)","DOI":"10.1007\/978-0-387-34882-7_32"},{"issue":"4","key":"103_CR68","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Structuring z specifications with views. ACM Trans. Softw. Eng. Methodol. 4(4), 365\u2013389 (1995)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"103_CR69","unstructured":"ISO.: Open Distributed Processing Reference Model \u2013 parts 1,2,3,4, 1995. ISO 10746-1,2,3,4 or ITU-T X.901,2,3,4"},{"key":"103_CR70","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press (1988)"},{"key":"103_CR71","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","volume":"51","author":"J.C.M. Baeten","year":"1987","unstructured":"Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science 51, 129\u2013176 (1987)","journal-title":"Theoretical Computer Science"},{"key":"103_CR72","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Gruhn, V. (ed.) Proceedings of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE-9), Vienna, Austria, September 10\u201314, pp. 186\u2013195. ACM Press (2001)","DOI":"10.1145\/503209.503235"},{"key":"103_CR73","unstructured":"Giese, H., Vilbig, A.: Towards Aspect-oriented Design and Architecture. In: Tarr, P., Bergmans, L., Griss, M., Ossher, H. (eds.) 15th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications October 15\u201319, 2000, Minneapolis, Minnesota, USA. Workshop: Advanced Separation of Concerns, Monday, 16 October, 2000 (2000)"},{"issue":"11","key":"103_CR74","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/581571.581595","volume":"45","author":"B. Selic","year":"2002","unstructured":"Selic, B., Ramackers, G., Kobryn, C.: Evolution, not revolution. Communications of the ACM 45(11), 70\u201372 (2002)","journal-title":"Communications of the ACM"},{"key":"103_CR75","unstructured":"Object Management Group.: UML 2.0 Superstructure Specification, 2003. Document ptc\/03-08-02"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0103-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0103-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0103-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T06:54:07Z","timestamp":1586674447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0103-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,19]]},"references-count":75,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["103"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0103-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,19]]}}}