{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:07:13Z","timestamp":1725584833212},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_5","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:57:17Z","timestamp":1307717837000},"page":"52-68","source":"Crossref","is-referenced-by-count":8,"title":["Incremental Security Verification for Evolving UMLsec models"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Marchal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Ochoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming\u00a034(1), 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11880240_31","volume-title":"Model Driven Engineering Languages and Systems","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 440\u2013453. Springer, Heidelberg (2006)"},{"key":"5_CR3","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, pp. 131 \u2013140 (September 2009)","DOI":"10.1109\/WICSA.2009.5290799"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"5_CR5","first-page":"362","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE)","author":"S. Johann","year":"2004","unstructured":"Johann, S., Egyed, A.: Instant and incremental transformation of models. In: Proceedings of the International Conference on Automated Software Engineering (ASE), pp. 362\u2013365. IEEE Computer Society, Washington, DC, USA (2004)"},{"key":"5_CR6","unstructured":"J\u00fcrjens, J.: Principles for Secure Systems Design. PhD thesis, Oxford University Computing Laboratory (2002)"},{"key":"5_CR7","series-title":"LNCS","volume-title":"11th School on Formal Methods (SFM 2011)","author":"J. J\u00fcrjens","year":"2011","unstructured":"J\u00fcrjens, J., Ochoa, M., Schmidt, H., Marchal, L., Houmb, S., Islam, S.: Modelling secure systems evolution: Abstract and concrete change specifications (invited lecture). In: Bernardo, I. (ed.) 11th School on Formal Methods (SFM 2011), Bertinoro, Italy, June 13-18. LNCS. Springer, Heidelberg (2011)"},{"issue":"5-6","key":"5_CR8","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-007-0048-8","volume":"9","author":"J. J\u00fcrjens","year":"2007","unstructured":"J\u00fcrjens, J., Shabalin, P.: Tools for secure systems development with UML. Intern. Journal on Software Tools for Technology Transfer 9(5-6), 527\u2013544 (2007); Invited submission to the special issue for FASE 2004\/05","journal-title":"Intern. Journal on Software Tools for Technology Transfer"},{"issue":"9","key":"5_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.5381\/jot.2007.6.9.a3","volume":"6","author":"D.S. Kolovos","year":"2007","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology\u00a06(9), 53\u201369 (2007)","journal-title":"Journal of Object Technology"},{"key":"5_CR10","first-page":"20","volume-title":"METRICS 1997","author":"M.M. Lehman","year":"1997","unstructured":"Lehman, M.M., Ramil, J.F., Wernick, P.D., Perry, D.E., Turski, W.M.: Metrics and Laws of Software Evolution \u2013 The Nineties View. In: METRICS 1997, pp. 20\u201332. IEEE Computer Society, Washington, DC, USA (1997)"},{"key":"5_CR11","first-page":"224","volume-title":"AReS 2009","author":"D. Mellado","year":"2009","unstructured":"Mellado, D., Rodriguez, J., Fernandez-Medina, E., Piattini, M.: Automated Support for Security Requirements Engineering in Software Product Line Domain Engineering. In: AReS 2009, pp. 224\u2013231. IEEE Computer Society, Los Alamitos, CA, USA (2009)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1008765200695","volume":"7","author":"T. Mens","year":"2000","unstructured":"Mens, T., D\u2019Hondt, T.: Automating support for software evolution in UML. Automated Software Engineering Journal\u00a07(1), 39\u201359 (2000)","journal-title":"Automated Software Engineering Journal"},{"issue":"5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2010.136","volume":"43","author":"T. Mens","year":"2010","unstructured":"Mens, T., Magee, J., Rumpe, B.: Evolving Software Architecture Descriptions of Critical Systems. Computer\u00a043(5), 42\u201348 (2010)","journal-title":"Computer"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 226\u2013241. Springer, Heidelberg (2004)"},{"key":"5_CR15","unstructured":"Secure Change Project. Deliverable 4.2, http:\/\/www-jj.cs.tu-dortmund.de\/jj\/deliverable_4_2.pdf"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.scico.2006.10.009","volume":"66","author":"M.E. Shin","year":"2007","unstructured":"Shin, M.E., Gomaa, H.: Software requirements and architecture modeling for evolving non-secure applications into secure applications. Science of Computer Programming\u00a066(1), 60\u201370 (2007)","journal-title":"Science of Computer Programming"},{"key":"5_CR17","first-page":"88","volume-title":"SSIRI 2010","author":"T.T. Tun","year":"2010","unstructured":"Tun, T.T., Yu, Y., Haley, C.B., Nuseibeh, B.: Model-based argument analysis for evolving security requirements. In: SSIRI 2010, pp. 88\u201397. IEEE Computer Society, Los Alamitos (2010)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T16:33:37Z","timestamp":1560270817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}