{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:13Z","timestamp":1750306573226,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T00:00:00Z","timestamp":1404864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,9]]},"DOI":"10.1145\/2721956.2721977","type":"proceedings-article","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T16:31:04Z","timestamp":1431361864000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards pattern-based reuse in safety-critical systems"],"prefix":"10.1145","author":[{"given":"Nermin","family":"Kajtazovic","sequence":"first","affiliation":[{"name":"Graz University of Technology"}]},{"given":"Christopher","family":"Preschern","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}]},{"given":"Andrea","family":"H\u00f6ller","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[{"name":"Graz University of Technology"}]}],"member":"320","published-online":{"date-parts":[[2014,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"e_1_3_2_1_2_1","unstructured":"Benveniste A. Caillaud B. Nickovic D. Passerone R. Raclet J.-B. Reinkemeier P. Sangiovanni-Vincentelli A. Damm W. Henzinger T. and Larsen K. 2012. Contracts for Systems Design. Tech. rep. Research Report N\u00c2\u0159 8147 November 2012 Inria.  Benveniste A. Caillaud B. Nickovic D. Passerone R. Raclet J.-B. Reinkemeier P. Sangiovanni-Vincentelli A. Damm W. Henzinger T. and Larsen K. 2012. Contracts for Systems Design. Tech. rep. Research Report N\u00c2\u0159 8147 November 2012 Inria."},{"key":"e_1_3_2_1_3_1","unstructured":"Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-oriented Software Architecture: A System of Patterns. John Wiley & Sons Inc. New York NY USA.   Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-oriented Software Architecture: A System of Patterns . John Wiley & Sons Inc. New York NY USA."},{"key":"e_1_3_2_1_4_1","unstructured":"Butz H. 2010. Open integrated modular avionic (ima): State of the art and future development road map at airbus deutschland. Department of Avionic Systems at Airbus Deutschland GmbH Kreetslag 10 D-21129 Hamburg Germany.  Butz H. 2010. Open integrated modular avionic (ima): State of the art and future development road map at airbus deutschland. Department of Avionic Systems at Airbus Deutschland GmbH Kreetslag 10 D-21129 Hamburg Germany."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13)","author":"Clara Benac Earle","year":"2013","unstructured":"Clara Benac Earle , Elena G\u00f3mez-Mart\u00ednez, Stefano Tonetta , Stefano Puri, Silvia Mazzini , Jean Louis Gilbert, Olivier Hachet , Ram\u00f3n Serna Oliver, Cecilia Ekelin , and Katiusca Zedda. 2013 . Languages for Safety-Certification Related Properties . In Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13) . Clara Benac Earle, Elena G\u00f3mez-Mart\u00ednez, Stefano Tonetta, Stefano Puri, Silvia Mazzini, Jean Louis Gilbert, Olivier Hachet, Ram\u00f3n Serna Oliver, Cecilia Ekelin, and Katiusca Zedda. 2013. Languages for Safety-Certification Related Properties. In Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13)."},{"volume-title":"Building Reliable Component-Based Software Systems","author":"Crnkovic I.","key":"e_1_3_2_1_6_1","unstructured":"Crnkovic , I. 2002. Building Reliable Component-Based Software Systems . Artech House, Inc. , Norwood, MA, USA . Crnkovic, I. 2002. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA."},{"key":"e_1_3_2_1_7_1","unstructured":"EAST-ADL. 2010. EAST-ADL Domain Model Specification. Tech. rep. ATTEST EAST-ADL Homepage: http:\/\/www.atesst.org\/.  EAST-ADL. 2010. EAST-ADL Domain Model Specification. Tech. rep. ATTEST EAST-ADL Homepage: http:\/\/www.atesst.org\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Evans E. and Fowler M. 1997. Specifications RTE. Tech. rep. Martin Fowler Homepage: http:\/\/martinfowler.com\/.  Evans E. and Fowler M. 1997. Specifications RTE. Tech. rep. Martin Fowler Homepage: http:\/\/martinfowler.com\/."},{"key":"e_1_3_2_1_9_1","volume-title":"Case Study: Engine Control Application. Tech. rep., Ulmer Informatik-Berichte, Nr. 2010-03.","author":"Frey P.","year":"2010","unstructured":"Frey , P. 2010 . Case Study: Engine Control Application. Tech. rep., Ulmer Informatik-Berichte, Nr. 2010-03. Frey, P. 2010. Case Study: Engine Control Application. Tech. rep., Ulmer Informatik-Berichte, Nr. 2010-03."},{"key":"e_1_3_2_1_10_1","volume-title":"-S","author":"Gao J. Z.","year":"2003","unstructured":"Gao , J. Z. , Tsao , J. , Wu , Y. , and Jacob , T. H . -S . 2003 . Testing and Quality Assurance for Component-Based Software. Artech House , Inc., Norwood, MA, USA. Gao, J. Z., Tsao, J., Wu, Y., and Jacob, T. H.-S. 2003. Testing and Quality Assurance for Component-Based Software. Artech House, Inc., Norwood, MA, USA."},{"key":"e_1_3_2_1_11_1","unstructured":"Kelly T. P. 2001. Concepts and Principles of Compositional Safety Case Construction. Tech. rep. COMSA\/2001\/1\/1.  Kelly T. P. 2001. Concepts and Principles of Compositional Safety Case Construction. Tech. rep. COMSA\/2001\/1\/1."},{"key":"e_1_3_2_1_12_1","volume-title":"AUTOSAR: Grundlagen, Engineering, Management in der Praxis. dpunkt Verlag","author":"Kindel O.","year":"2009","unstructured":"Kindel , O. and Friedrich , M . 2009 . Softwareentwicklung mit AUTOSAR: Grundlagen, Engineering, Management in der Praxis. dpunkt Verlag ; Auflage: 1 (8. Juni 2009). Kindel, O. and Friedrich, M. 2009. Softwareentwicklung mit AUTOSAR: Grundlagen, Engineering, Management in der Praxis. dpunkt Verlag; Auflage: 1 (8. Juni 2009)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000242"},{"key":"e_1_3_2_1_14_1","volume-title":"Technical Committee 5, Version 1.0","author":"Copen","year":"2006","unstructured":"PL Copen . 2006. Safety Software - Technical Specification, Part 1: Concepts and Function Blocks. Tech. rep ., Technical Committee 5, Version 1.0 , Jan 2006 . PLCopen. 2006. Safety Software - Technical Specification, Part 1: Concepts and Function Blocks. Tech. rep., Technical Committee 5, Version 1.0, Jan 2006."},{"key":"e_1_3_2_1_15_1","volume-title":"v. d","author":"Pohl K.","year":"2005","unstructured":"Pohl , K. , B\u00f6ckle , G. , and Linden , F. J . v. d . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York , Inc., Secaucus, NJ, USA. Pohl, K., B\u00f6ckle, G., and Linden, F. J. v. d. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_1_16_1","unstructured":"Smith D. and Simpson K. 2010. Safety Critical Systems Handbook: A STRAIGHTFOWARD GUIDE TO FUNCTIONAL SAFETY IEC 61508 (2010 EDITION) AND RELATED STANDARDS INCLUDING PROCESS IEC 61511 AND MACHINERY IEC 62061 AND ISO 13849. Elsevier Science.  Smith D. and Simpson K. 2010. Safety Critical Systems Handbook: A STRAIGHTFOWARD GUIDE TO FUNCTIONAL SAFETY IEC 61508 (2010 EDITION) AND RELATED STANDARDS INCLUDING PROCESS IEC 61511 AND MACHINERY IEC 62061 AND ISO 13849 . Elsevier Science."},{"key":"e_1_3_2_1_17_1","unstructured":"SpecPatterns. 1998. Specification patterns. Homepage: http:\/\/patterns.projects.cis.ksu.edu\/.  SpecPatterns. 1998. Specification patterns. Homepage: http:\/\/patterns.projects.cis.ksu.edu\/."},{"key":"e_1_3_2_1_18_1","unstructured":"SPEEDS. 2010. Speculative and exploratory design in systems engineering - speeds. Homepage: http:\/\/www.speeds.eu.com\/.  SPEEDS. 2010. Speculative and exploratory design in systems engineering - speeds. Homepage: http:\/\/www.speeds.eu.com\/."}],"event":{"name":"EuroPLoP 2014: 19th European Conference on Pattern Languages of Programs","acronym":"EuroPLoP 2014","location":"Irsee Germany"},"container-title":["Proceedings of the 19th European Conference on Pattern Languages of Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2721956.2721977","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2721956.2721977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:28Z","timestamp":1750227208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2721956.2721977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,9]]},"references-count":18,"alternative-id":["10.1145\/2721956.2721977","10.1145\/2721956"],"URL":"https:\/\/doi.org\/10.1145\/2721956.2721977","relation":{},"subject":[],"published":{"date-parts":[[2014,7,9]]},"assertion":[{"value":"2014-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}