{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:29:22Z","timestamp":1725791362153},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642550980"},{"type":"electronic","value":"9783642550997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55099-7_6","type":"book-chapter","created":{"date-parts":[[2014,4,4]],"date-time":"2014-04-04T01:07:59Z","timestamp":1396573679000},"page":"193-226","source":"Crossref","is-referenced-by-count":0,"title":["Modular Specification and Checking of Structural Dependencies"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Mitschke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Eichberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isela","family":"Macia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Upper Saddle River (1996)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Eick, S.G., Graves, T.L., Karr, A.F., Marron, J.S., Mockus, A.: Does code decay? assessing the evidence from change management data. IEEE Trans. Softw. Eng.\u00a027(1) (2001)","DOI":"10.1109\/32.895984"},{"key":"6_CR3","unstructured":"Godfrey, M.W., Lee, E.H.S.: Secrets from the monster: Extracting mozilla\u2019s software architecture. In: COSET (2000)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"MacCormack, A., Rusnak, J., Baldwin, C.Y.: Exploring the structure of complex software designs: An empirical study of open source and proprietary code. Manage. Sci.\u00a052 (2006)","DOI":"10.1287\/mnsc.1060.0552"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes\u00a017(4) (1992)","DOI":"10.1145\/141874.141884"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Eichberg, M., Kloppenburg, S., Klose, K., Mezini, M.: Defining and continuous checking of structural program dependencies. In: ICSE (2008)","DOI":"10.1145\/1368088.1368142"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Murphy, G.C., Notkin, D., Sullivan, K.: Software reflexion models: bridging the gap between source and high-level models. SIGSOFT Softw. Eng. Notes\u00a020 (1995)","DOI":"10.1145\/222132.222136"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Sangal, N., Jordan, E., Sinha, V., Jackson, D.: Using dependency models to manage complex software architecture. In: OOPSLA (2005)","DOI":"10.1145\/1094811.1094824"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Terra, R., Valente, M.T.: A dependency constraint language to manage object-oriented software architectures. Softw.: Practice and Experience\u00a039(12) (2009)","DOI":"10.1002\/spe.931"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Herold, S.: Checking architectural compliance in component-based systems. In: SAC (2010)","DOI":"10.1145\/1774088.1774558"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Knodel, J., Muthig, D., Haury, U., Meier, G.: Architecture compliance checking - experiences from successful technology transfer to industry. In: CSMR (2008)","DOI":"10.1109\/CSMR.2008.4493299"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Knodel, J., Muthig, D., Naab, M., Lindvall, M.: Static evaluation of software architectures. In: CSMR (2006)","DOI":"10.1109\/CSMR.2006.53"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Rosik, J., Le Gear, A., Buckley, J., Ali Babar, M.: An industrial case study of architecture conformance. In: ESEM (2008)","DOI":"10.1145\/1414004.1414019"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Wong, S., Cai, Y., Kim, M., Dalton, M.: Detecting software modularity violations. In: ICSE (2011)","DOI":"10.1145\/1985793.1985850"},{"key":"6_CR15","unstructured":"Bauer, C., King, G.: Hibernate in Action. Manning Publications Co. (2004)"},{"key":"6_CR16","unstructured":"Vespucci, \n                    \n                      http:\/\/www.opal-project.de\/vespucci_project"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-69611-7_7","volume-title":"Practical Aspects of Declarative Languages","author":"M. Eichberg","year":"2007","unstructured":"Eichberg, M., Kahl, M., Saha, D., Mezini, M., Ostermann, K.: Automatic incrementalization of prolog based static analyses. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 109\u2013123. Springer, Heidelberg (2007)"},{"key":"6_CR18","unstructured":"Simon, H.A.: The architecture of complexity. In: Proceedings of the APS (1962)"},{"key":"6_CR19","unstructured":"Koschke, R., Simon, D.: Hierarchical reflexion models. In: WCRE (2003)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J.: Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640113"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"de Silva, L., Balasubramaniam, D.: Controlling software architecture erosion: A survey. Journal of Systems and Software\u00a085(1) (2012)","DOI":"10.1016\/j.jss.2011.07.036"},{"key":"6_CR22","unstructured":"Hello2Morrow Sotograph, \n                    \n                      http:\/\/www.hello2morrow.com\/products\/sotograph\n                    \n                    \n                   (accessed October 2012)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Hou, D., Hoover, H.J.: Using scl to specify and check design intent in source code. IEEE Trans. Softw. Eng.\u00a032(6) (2006)","DOI":"10.1109\/TSE.2006.60"},{"key":"6_CR24","unstructured":"Gasparis, E., Nicholson, J., Eden, A.H.: Lepus3: An object-oriented design description language. Diagrams (2008)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Mens, K., Kellens, A., Pluquet, F., Wuyts, R.: Co-evolving code and design with intensional views. Comput. Lang. Syst. Struct. 32(2-3) (2006)","DOI":"10.1016\/j.cl.2005.09.002"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Morgan, C., De Volder, K., Wohlstadter, E.: A static aspect language for checking design rules. In: AOSD (2007)","DOI":"10.1145\/1218563.1218571"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"de Moor, O., Sereni, D., Verbaere, M., Hajiyev, E., Avgustinov, P., Ekman, T., Ongkingco, N., Tibble, J.: .QL: Object-Oriented Queries Made Easy. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 78\u2013133. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-88643-3_3"},{"key":"6_CR28","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Siff, M., Reps, T.: Identifying modules via concept analysis. 25(6), 749\u2013768 (1999)","DOI":"10.1109\/32.824377"},{"key":"6_CR30","unstructured":"Jacobson, I., Ng, P.W.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley (2004)"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Garlan, D., Barnes, J., Schmerl, B., Celiku, O.: Evolution styles: Foundations and tool support for software architecture evolution. In: WICSA\/ECSA (2009)","DOI":"10.1109\/WICSA.2009.5290799"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Breivold, H., Crnkovic, I., Eriksson, P.: Analyzing software evolvability. In: COMPSAC (2008)","DOI":"10.1109\/COMPSAC.2008.50"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Aoyama, M.: Metrics and analysis of software architecture evolution with discontinuity. In: IWPSE (2002)","DOI":"10.1145\/512035.512059"}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55099-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:33:50Z","timestamp":1558881230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-55099-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642550980","9783642550997"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55099-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}