{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:56Z","timestamp":1750307216770,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,17]],"date-time":"2011-10-17T00:00:00Z","timestamp":1318809600000},"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,10,17]]},"DOI":"10.1145\/2095654.2095659","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving formal verification practicability through user oriented models and context-awareness"],"prefix":"10.1145","author":[{"given":"Amine","family":"Raji","sequence":"first","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, LISyC--ENSTA-Bretagne, France"}]},{"given":"Philippe","family":"Dhaussy","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, LISyC--ENSTA-Bretagne, France"}]}],"member":"320","published-online":{"date-parts":[[2011,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.708566"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"O. Grumberg and H. Veith \"25 years of model checking: history achievements perspectives \" p. 230 2008.   O. Grumberg and H. Veith \"25 years of model checking: history achievements perspectives \" p. 230 2008.","DOI":"10.1007\/978-3-540-69850-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.6"},{"key":"e_1_3_2_1_4_1","unstructured":"T. Sreemani and J. Atlee \"Feasibility of model checking software requirements: A case study \" Proceedings of COMPASS 1996.  T. Sreemani and J. Atlee \"Feasibility of model checking software requirements: A case study \" Proceedings of COMPASS 1996."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41865"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_34"},{"key":"e_1_3_2_1_7_1","unstructured":"LAAS-CNRS \"TINA - Time petri Net Analyzer \" http:\/\/www.laas.fr\/tina. Tech. Rep.  LAAS-CNRS \"TINA - Time petri Net Analyzer \" http:\/\/www.laas.fr\/tina. Tech. Rep."},{"key":"e_1_3_2_1_8_1","unstructured":"OMG \"UML 2.1.2 Superstructure \" pp. 1--738 dec 2007.  OMG \"UML 2.1.2 Superstructure \" pp. 1--738 dec 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_11_1","unstructured":"A. Raji and P. Dhaussy \"USER CONTEXT MODELS: A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS \" 2010.  A. Raji and P. Dhaussy \"USER CONTEXT MODELS: A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS \" 2010."},{"edition":"1","volume-title":"A. Cockburn, \"Writing Effective Use Cases,\"","year":"2000","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02574-7_65"},{"key":"e_1_3_2_1_14_1","unstructured":"J. Guti\u00e9rrez C. Nebut M. Escalona and M. Mej\u00edas \"Visualization of use cases through automatically generated activity diagrams \" MODELS 2008 2008.  J. Guti\u00e9rrez C. Nebut M. Escalona and M. Mej\u00edas \"Visualization of use cases through automatically generated activity diagrams \" MODELS 2008 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"B. Baudry C. Nebut and Y. Le Traon \"Model-driven Engineering for Requirement Analysis \" in Conference. Annapolis USA: Annapolis USA oct 2007.   B. Baudry C. Nebut and Y. Le Traon \"Model-driven Engineering for Requirement Analysis \" in Conference . Annapolis USA: Annapolis USA oct 2007.","DOI":"10.1109\/EDOC.2007.15"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12082-4_21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0141-4"}],"event":{"name":"MoDeVVa '11: Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '11","location":"Wellington New Zealand"},"container-title":["Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095659","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095654.2095659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:48Z","timestamp":1750241208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095659"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,17]]},"references-count":16,"alternative-id":["10.1145\/2095654.2095659","10.1145\/2095654"],"URL":"https:\/\/doi.org\/10.1145\/2095654.2095659","relation":{},"subject":[],"published":{"date-parts":[[2011,10,17]]},"assertion":[{"value":"2011-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}