{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:49Z","timestamp":1750306129600,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T00:00:00Z","timestamp":1505088000000},"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":[[2017,9,11]]},"DOI":"10.1145\/3129790.3129823","type":"proceedings-article","created":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T13:22:27Z","timestamp":1504876947000},"page":"12-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The female contribution in architecting a set of tools for a formal method"],"prefix":"10.1145","author":[{"given":"Silvia","family":"Bonfanti","sequence":"first","affiliation":[{"name":"University of Bergamo, IT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Centurelli","sequence":"additional","affiliation":[{"name":"University of Bergamo, IT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano, IT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[{"name":"University of Bergamo, IT"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2008. The ASMETA Project website. https:\/\/sourceforge.net\/projects\/asmeta\/. (2008).  2008. The ASMETA Project website. https:\/\/sourceforge.net\/projects\/asmeta\/. (2008)."},{"key":"e_1_3_2_1_2_1","unstructured":"2017. Xtext. https:\/\/eclipse.org\/Xtext\/index.html. (2017).  2017. Xtext. https:\/\/eclipse.org\/Xtext\/index.html. (2017)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50230-4_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_6"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Second NASA Formal Methods Symposium (NFM","author":"Arcaini Paolo","year":"2010","unstructured":"Paolo Arcaini , Angelo Gargantini , and Elvinia Riccobene . 2010 . Automatic Review of Abstract State Machines by Meta Property Verification . In Proceedings of the Second NASA Formal Methods Symposium (NFM 2010). NASA, 4--13. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. 2010. Automatic Review of Abstract State Machines by Meta Property Verification. In Proceedings of the Second NASA Formal Methods Symposium (NFM 2010). NASA, 4--13."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41591-8_17"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1019"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_21"},{"key":"e_1_3_2_1_10_1","volume-title":"Stark","author":"B\u00f6rger Egon","year":"2003","unstructured":"Egon B\u00f6rger and Robert F . Stark . 2003 . Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York , Inc. Egon B\u00f6rger and Robert F. Stark. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_7"},{"key":"e_1_3_2_1_12_1","first-page":"367","article-title":"Mapping UML into Abstract State Machines: A Framework to Simulate UML Models","volume":"3","author":"Cavarra Alessandra","year":"2004","unstructured":"Alessandra Cavarra , Elvinia Riccobene , and Patrizia Scandurra . 2004 . Mapping UML into Abstract State Machines: A Framework to Simulate UML Models . Stud. Inform. Univ. 3 , 3 (2004), 367 -- 398 . Alessandra Cavarra, Elvinia Riccobene, and Patrizia Scandurra. 2004. Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3, 3 (2004), 367--398.","journal-title":"Stud. Inform. Univ."},{"key":"e_1_3_2_1_13_1","unstructured":"Valentina Centurelli. 2017. Migrazione di AsmetaL da JavaCC a Xtext. (2017).  Valentina Centurelli. 2017. Migrazione di AsmetaL da JavaCC a Xtext. (2017)."},{"volume-title":"Abstract State Machines 2003 (Lecture Notes in Computer Science)","author":"Gargantini Angelo","key":"e_1_3_2_1_14_1","unstructured":"Angelo Gargantini , Elvinia Riccobene , and Salvatore Rinzivillo . 2003. Using Spin to Generate Tests from ASM Specifications . In Abstract State Machines 2003 (Lecture Notes in Computer Science) , Vol. 2589 . Springer , 263--277. Angelo Gargantini, Elvinia Riccobene, and Salvatore Rinzivillo. 2003. Using Spin to Generate Tests from ASM Specifications. In Abstract State Machines 2003 (Lecture Notes in Computer Science), Vol. 2589. Springer, 263--277."},{"key":"e_1_3_2_1_15_1","first-page":"1949","article-title":"A Metamodel-based Language and a Simulation Engine for Abstract State Machines","volume":"14","author":"Gargantini Angelo","year":"2008","unstructured":"Angelo Gargantini , Elvinia Riccobene , and Patrizia Scandurra . 2008 . A Metamodel-based Language and a Simulation Engine for Abstract State Machines . J. UCS 14 , 12 (2008), 1949 -- 1983 . Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2008. A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. UCS 14, 12 (2008), 1949--1983.","journal-title":"J. UCS"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-009-0053-0"},{"volume-title":"Rigorous Methods for Software Construction and Analysis (Lecture Notes in Computer Science), Jean-Raymond Abrial and Uwe Gl\u00e4sser (Eds.)","author":"Gargantini Angelo","key":"e_1_3_2_1_17_1","unstructured":"Angelo Gargantini , Elvinia Riccobene , and Patrizia Scandurra . 2009. Ten Reasons to Metamodel ASMs . In Rigorous Methods for Software Construction and Analysis (Lecture Notes in Computer Science), Jean-Raymond Abrial and Uwe Gl\u00e4sser (Eds.) , Vol. 5115 . Springer , 33--49. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2009. Ten Reasons to Metamodel ASMs. In Rigorous Methods for Software Construction and Analysis (Lecture Notes in Computer Science), Jean-Raymond Abrial and Uwe Gl\u00e4sser (Eds.), Vol. 5115. Springer, 33--49."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-007-9052-8"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.84"},{"key":"e_1_3_2_1_20_1","volume-title":"11th International Workshop, ASM 2004. Proceedings (Lecture Notes in Computer Science), Wolf Zimmermann and Bernhard Thalheim (Eds.)","volume":"3052","author":"Riccobene Elvinia","year":"2004","unstructured":"Elvinia Riccobene and Patrizia Scandurra . 2004 . Towards an Interchange Language for ASMs. In Abstract State Machines 2004. Advances in Theory and Practice , 11th International Workshop, ASM 2004. Proceedings (Lecture Notes in Computer Science), Wolf Zimmermann and Bernhard Thalheim (Eds.) , Vol. 3052 . Springer, 111--126. Elvinia Riccobene and Patrizia Scandurra. 2004. Towards an Interchange Language for ASMs. In Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004. Proceedings (Lecture Notes in Computer Science), Wolf Zimmermann and Bernhard Thalheim (Eds.), Vol. 3052. Springer, 111--126."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8--11","author":"Scandurra Patrizia","year":"2005","unstructured":"Patrizia Scandurra , Angelo Gargantini , Claudia Genovese , Tiziana Genovese , and Elvinia Riccobene . 2005 . A Concrete Syntax Derived From the Abstract State Machine Metamodel . In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8--11 , 2005, Paris, France. 345--368. http:\/\/www.univ-paris12.fr\/lacl\/dima\/asm05\/scandurra.ps.gz Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, and Elvinia Riccobene. 2005. A Concrete Syntax Derived From the Abstract State Machine Metamodel. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8--11, 2005, Paris, France. 345--368. http:\/\/www.univ-paris12.fr\/lacl\/dima\/asm05\/scandurra.ps.gz"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053250"}],"event":{"name":"ECSA '17: 11th European Conference on Software Architecture","acronym":"ECSA '17","location":"Canterbury United Kingdom"},"container-title":["Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129823","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3129790.3129823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:05Z","timestamp":1750217825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129823"}},"subtitle":["role of women in software architecture (short paper)"],"short-title":[],"issued":{"date-parts":[[2017,9,11]]},"references-count":23,"alternative-id":["10.1145\/3129790.3129823","10.1145\/3129790"],"URL":"https:\/\/doi.org\/10.1145\/3129790.3129823","relation":{},"subject":[],"published":{"date-parts":[[2017,9,11]]},"assertion":[{"value":"2017-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}