{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:06:43Z","timestamp":1748664403770,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226880"},{"type":"electronic","value":"9783319226897"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22689-7_8","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"105-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Architectural Specification and Analysis of the Aegis Combat System"],"prefix":"10.1007","author":[{"given":"Mert","family":"Ozkaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A case study in architectural modelling: the aegis system. In: Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), pp. 6\u201315, Paderborn, Germany, March 1996","key":"8_CR1","DOI":"10.1109\/IWSSD.1996.501142"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","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 connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. Technical report, Pittsburgh, PA, USA (1994)","key":"8_CR4"},{"key":"8_CR5","volume-title":"The SPIN Model Checker - Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"doi-asserted-by":"crossref","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 99 (2012)","key":"8_CR6","DOI":"10.1109\/TSE.2012.74"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"8_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"Ozkaya, M., Kloukinas, C.: Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Demir\u00f6rs, O., T\u00fcretken, O. (eds.) EUROMICRO-SEAA, pp. 177\u2013184. IEEE (2013)","key":"8_CR9","DOI":"10.1109\/SEAA.2013.34"},{"doi-asserted-by":"crossref","unstructured":"Ozkaya, M., Kloukinas, C.: Architectural specification and analysis with XCD - the aegis combat system case study. In: Pires, L.F., Hammoudi, S., Filipe, J., das Neves, R.C. (eds.) MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 7\u20139 January 2014, Lisbon, Portugal, pp. 368\u2013375. SciTePress (2014)","key":"8_CR10","DOI":"10.5220\/0004714403680375"},{"doi-asserted-by":"crossref","unstructured":"Ozkaya,M., Kloukinas. C.: Design-by-contract for reusable components and realizable architectures. In: Seinturier, L., de Almeida, E.S., Carlson, J. (eds.) CBSE 2014, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), June 30 - July 4 2014, Marcq-en-Baroeul, Lille, France, pp. 129\u2013138. ACM (2014)","key":"8_CR11","DOI":"10.1145\/2602458.2602463"},{"unstructured":"Xcd. Website. Maintained by Mert Ozkaya (2013). http:\/\/www.staff.city.ac.uk\/c.kloukinas\/Xcd\/","key":"8_CR12"}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22689-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:22:47Z","timestamp":1748596967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}