{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:03Z","timestamp":1750307343243,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"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":[[2011,5,21]]},"DOI":"10.1145\/1987875.1987882","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Analyzing software process models with AVISPA"],"prefix":"10.1145","author":[{"given":"Julio A.","family":"Hurtado Alegr\u00eda","sequence":"first","affiliation":[{"name":"Universidad de Chile, Chile, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Cecilia","family":"Bastarrica","sequence":"additional","affiliation":[{"name":"Universidad de Chile, Chile, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Bergel","sequence":"additional","affiliation":[{"name":"Universidad de Chile, Chile, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_46"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2004.11.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/304399.304401"},{"key":"e_1_3_2_1_4_1","volume-title":"Morgan Kaufmann","author":"Demeyer S.","year":"2002","unstructured":"S. Demeyer , S. Ducasse , and O. Nierstrasz . Object-Oriented Reengineering Patterns . Morgan Kaufmann , 2002 . S. Demeyer, S. Ducasse, and O. Nierstrasz. Object-Oriented Reengineering Patterns. Morgan Kaufmann, 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1193212.1193811"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/111374.111393"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCCC.2010.18"},{"key":"e_1_3_2_1_10_1","first-page":"273","volume-title":"Proceedings of the International Conference on Software Process","volume":"6195","author":"Hurtado J. A.","year":"2010","unstructured":"J. A. Hurtado , A. Lagos , A. Bergel , and M. C. Bastarrica . Software Process Model Blueprints . In Proceedings of the International Conference on Software Process , volume 6195 of LNCS, pages 273 -- 284 , July 2010 . J. A. Hurtado, A. Lagos, A. Bergel, and M. C. Bastarrica. Software Process Model Blueprints. In Proceedings of the International Conference on Software Process, volume 6195 of LNCS, pages 273--284, July 2010."},{"key":"e_1_3_2_1_11_1","volume-title":"Int. Organization for Standardization","author":"ISO.","year":"1998","unstructured":"ISO. \/IEC 15504 : Information technology - software process assessment and improvement. Technical report , Int. Organization for Standardization , 1998 . ISO. \/IEC 15504 : Information technology - software process assessment and improvement. Technical report, Int. Organization for Standardization, 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1232284"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081754"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1116163.1116430"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1148493.1148513"},{"key":"e_1_3_2_1_16_1","volume-title":"Technical Report ptc\/08-04-01","author":"Software Process Engineering OMG.","year":"2008","unstructured":"OMG. Software Process Engineering Metamodel SPEM 2.0 OMG. Technical Report ptc\/08-04-01 , 2008 . Object Managemente Group . OMG. Software Process Engineering Metamodel SPEM 2.0 OMG. Technical Report ptc\/08-04-01, 2008. Object Managemente Group."},{"key":"e_1_3_2_1_17_1","first-page":"2","volume-title":"Software Processes Are Software Too. In International Conference on Software Engineering","author":"Osterweil L. J.","year":"1987","unstructured":"L. J. Osterweil . Software Processes Are Software Too. In International Conference on Software Engineering , pages 2 -- 13 , 1987 . L. J. Osterweil. Software Processes Are Software Too. In International Conference on Software Engineering, pages 2--13, 1987."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"L. J.\n      Osterweil\n     and \n      A. E.\n      Wise\n  . \n  Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements\n  . In J. M\u00fcnch Y. Yang and W. Sch\u00e4fer editors ICSP volume \n  6195\n   of \n  LNCS pages \n  2\n  --\n  13\n  . \n  Springer 2010\n  .   L. J. Osterweil and A. E. Wise. Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements. In J. M\u00fcnch Y. Yang and W. Sch\u00e4fer editors ICSP volume 6195 of LNCS pages 2--13. Springer 2010.","DOI":"10.1007\/978-3-642-14347-2_2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609572"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01680-6_31"},{"key":"e_1_3_2_1_21_1","volume-title":"Version 1.2","author":"SEI.","year":"2006","unstructured":"SEI. CMMI for Development , Version 1.2 . Technical Report Carnegie Mellon University\/SEI- 2006 -TR-008, Software Engineering Institute , 2006. SEI. CMMI for Development, Version 1.2. Technical Report Carnegie Mellon University\/SEI-2006-TR-008, Software Engineering Institute, 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01680-6_34"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15666-3_13"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.19153\/cleiej.13.1.2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985868"},{"key":"e_1_3_2_1_26_1","first-page":"202","volume-title":"Bae. Tailoring and Verifying Software Process. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001","author":"Yoon I.-C.","year":"2001","unstructured":"I.-C. Yoon , S.-Y. Min , and D.- H. Bae. Tailoring and Verifying Software Process. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001 ), pages 202 -- 209 , Macau, China , 2001 . I.-C. Yoon, S.-Y. Min, and D.-H. Bae. Tailoring and Verifying Software Process. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), pages 202--209, Macau, China, 2001."}],"event":{"name":"ICSSP '11: International Conference on Software and Systems Process","acronym":"ICSSP '11","location":"Waikiki, Honolulu HI USA"},"container-title":["Proceedings of the 2011 International Conference on Software and Systems Process"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987875.1987882","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1987875.1987882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:24Z","timestamp":1750244784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987875.1987882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":25,"alternative-id":["10.1145\/1987875.1987882","10.1145\/1987875"],"URL":"https:\/\/doi.org\/10.1145\/1987875.1987882","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}