{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:41Z","timestamp":1750306241068,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,14]],"date-time":"2017-01-14T00:00:00Z","timestamp":1484352000000},"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,1,14]]},"DOI":"10.1145\/3034950.3034998","type":"proceedings-article","created":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T16:24:09Z","timestamp":1490286249000},"page":"64-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Using FCA Implication to Determine the Compliance of Model Practice Implementation for Software Process"],"prefix":"10.1145","author":[{"given":"Suppasit","family":"Roongsangjan","sequence":"first","affiliation":[{"name":"Mahidol University, Salaya, Phuttamonthon, Nakhon Pathom, Thailand"}]},{"given":"Thanwadee","family":"Sunetnanta","sequence":"additional","affiliation":[{"name":"Mahidol University, Salaya, Phuttamonthon, Nakhon Pathom, Thailand"}]},{"given":"Pattanasak","family":"Mongkolwat","sequence":"additional","affiliation":[{"name":"Mahidol University, Salaya, Phuttamonthon, Nakhon Pathom, Thailand"}]}],"member":"320","published-online":{"date-parts":[[2017,1,14]]},"reference":[{"key":"e_1_3_2_1_2_1","first-page":"001","article-title":"Method Definition Document, Software Engineering Institute, Carnegie Mellon University","author":"Standard CMMI","year":"2011","journal-title":"Handbook CMU\/SEI-"},{"unstructured":"Liang F. Rout T. and Tuffley A. Appraisal Assistant Beta Available:https:\/\/www.sqi.griffith.edu.au\/AppraisalAssistant\/about.html  Liang F. Rout T. and Tuffley A. Appraisal Assistant Beta Available:https:\/\/www.sqi.griffith.edu.au\/AppraisalAssistant\/about.html","key":"e_1_3_2_1_3_1"},{"unstructured":"Appraisal Wizard. {Online}. Available: http:\/\/isd-_inc.com\/tools.appraisalWizard\/  Appraisal Wizard. {Online}. Available: http:\/\/isd-_inc.com\/tools.appraisalWizard\/","key":"e_1_3_2_1_4_1"},{"unstructured":"CMM-Quest v1.3. {Online}. Available: http:\/\/www.cmm-_quest.com\/cms\/en\/  CMM-Quest v1.3. {Online}. Available: http:\/\/www.cmm-_quest.com\/cms\/en\/","key":"e_1_3_2_1_5_1"},{"unstructured":"M. Chemuituri. CMMiPal {Online}. Available: http:\/\/chemuturi.com\/pmpal\/MSI-_CMMiPal.html  M. Chemuituri. CMMiPal {Online}. Available: http:\/\/chemuturi.com\/pmpal\/MSI-_CMMiPal.html","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.4156\/jdcta.vol6.issue21.10"},{"volume-title":"VA 20170-4227: System and Software Consortium","year":"2005","author":"Fogle S.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.protcy.2013.12.021"},{"key":"e_1_3_2_1_10_1","first-page":"309","volume-title":"An Incremental and FCA-based Ontology Construction Method for Semantics-based Component Retrieval. in QSIC'07","author":"Peng X.","year":"2007"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.knosys.2011.06.018"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/j.asoc.2010.06.007"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/978-3-540-32262-7_7"},{"doi-asserted-by":"crossref","unstructured":"E. \n      \n      Babkin\n       and \n      E.\n     \n      \n      \n      Potapova 2010\n  . Towards Ontology-Based Methodology for Requirements Formalization ser. Lecture Notes in Business Information Processing\n  . \n  Springer Berlin Heidelberg 2010 vol. \n  64 pp. \n  73\n  --\n  85\n  .  E. Babkin and E. Potapova 2010. Towards Ontology-Based Methodology for Requirements Formalization ser. Lecture Notes in Business Information Processing. Springer Berlin Heidelberg 2010 vol. 64 pp. 73--85.","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-642-16101-8_7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2480362.2480600"},{"unstructured":"Tilley T. A. \"Formal Concept Analysis Applications to Requirements Engineering and Design \" PhD Thesis School of Information Technology and Electrical Engineering The University of Queensland 2004.  Tilley T. A. \"Formal Concept Analysis Applications to Requirements Engineering and Design \" PhD Thesis School of Information Technology and Electrical Engineering The University of Queensland 2004.","key":"e_1_3_2_1_16_1"},{"unstructured":"Hesse W. and \n      \n      \n      Tilley T\n      \n  \n  . \n  2005\n  . \"Formal Concept Analysis used for software analysis and modelling \" in Formal Concept Analysis ser. Lecture Notes in Computer Science B. Ganter G. Stumme and R. Wille Eds. \n  Springer Berlin \/ Heidelberg 2005 vol. \n  3626 pp. \n  259\n  --\n  282\n  .   Hesse W. and Tilley T. 2005. \"Formal Concept Analysis used for software analysis and modelling \" in Formal Concept Analysis ser. Lecture Notes in Computer Science B. Ganter G. Stumme and R. Wille Eds. Springer Berlin \/ Heidelberg 2005 vol. 3626 pp. 259--282.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","first-page":"304","article-title":"2005. Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development. Berlin, Heidelberg","author":"Godin R.","year":"2005","journal-title":"Springer Berlin Heidelberg"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1044834.1044837"},{"unstructured":"Rungratri S. and Usanavasin S. 2008. Project Assets Ontology (PAO) to Support Gap Analysis for Organization Process Improvement Based on CMMI v.1.2. In Making Globally Distributed Software Development a Success Story.   Rungratri S. and Usanavasin S. 2008. Project Assets Ontology (PAO) to Support Gap Analysis for Organization Process Improvement Based on CMMI v.1.2. In Making Globally Distributed Software Development a Success Story.","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.4156\/jcit.vol7.issue20.16"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-642-31063-8_29"},{"key":"e_1_3_2_1_23_1","first-page":"1","volume-title":"Oct 2015","author":"Kerzazi N.","year":"2015"},{"volume-title":"First International Conference on Networks Soft Computing (ICNSC)","author":"Kumar G. N.","first-page":"334","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/DAPSE.2013.6603802"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1109\/ITNG.2013.38"},{"doi-asserted-by":"crossref","unstructured":"AL-\n      \n      Msie'deen R. Seriai A. Huchard M. Urtado C. Vauttier S. and \n      \n      \n      Salman H\n      \n  \n  . \n  2013\n  . Feature location in a collection of software product variants using Formal Concept Analysis. In Safe and Secure Software Reuse ser. Lecture Notes in Computer Science J. Favaro and M. Morisio Eds. \n  Springer Berlin Heidelberg 2013 vol. \n  7925 pp. \n  302\n  --\n  307\n  .  AL-Msie'deen R. Seriai A. Huchard M. Urtado C. Vauttier S. and Salman H. 2013. Feature location in a collection of software product variants using Formal Concept Analysis. In Safe and Secure Software Reuse ser. Lecture Notes in Computer Science J. Favaro and M. Morisio Eds. Springer Berlin Heidelberg 2013 vol. 7925 pp. 302--307.","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-642-38977-1_22"},{"volume-title":"IEEE Computer Society","year":"2014","author":"Bourque P.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","volume-title":"Secaucus, NJ, USA: Springer-Verlag New York","author":"Ganter B.","year":"1997","edition":"1"},{"unstructured":"OMG \"Software & Systems Process Engineering MetaModel Specification Version 2.0 \" Object Management Group (OMG) Tech. Rep. Document formal\/2008-04-01 Apr 2008.  OMG \"Software & Systems Process Engineering MetaModel Specification Version 2.0 \" Object Management Group (OMG) Tech. Rep. Document formal\/2008-04-01 Apr 2008.","key":"e_1_3_2_1_30_1"},{"unstructured":"Eclipse Process Framework (EPF) Practices Library. http:\/\/www.eclipse.org\/epf\/downloads\/praclib\/praclib_downloads.php  Eclipse Process Framework (EPF) Practices Library. http:\/\/www.eclipse.org\/epf\/downloads\/praclib\/praclib_downloads.php","key":"e_1_3_2_1_31_1"}],"event":{"sponsor":["Wuhan Univ. Wuhan University, China"],"acronym":"ICMSS '17","name":"ICMSS '17: 2017 International Conference on Management Engineering, Software Engineering and Service Sciences","location":"Wuhan China"},"container-title":["Proceedings of the 2017 International Conference on Management Engineering, Software Engineering and Service Sciences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3034950.3034998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3034950.3034998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:33Z","timestamp":1750220613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3034950.3034998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,14]]},"references-count":30,"alternative-id":["10.1145\/3034950.3034998","10.1145\/3034950"],"URL":"https:\/\/doi.org\/10.1145\/3034950.3034998","relation":{},"subject":[],"published":{"date-parts":[[2017,1,14]]},"assertion":[{"value":"2017-01-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}