{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T19:46:24Z","timestamp":1778355984928,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:00:00Z","timestamp":1581638400000},"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":[[2020,2,14]]},"DOI":"10.1145\/3384613.3384619","type":"proceedings-article","created":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T15:27:04Z","timestamp":1590074824000},"page":"7-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements"],"prefix":"10.1145","author":[{"given":"Muhammad Waseem","family":"Anwar","sequence":"first","affiliation":[{"name":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Imran","family":"Ahsan","sequence":"additional","affiliation":[{"name":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Farooque","family":"Azam","sequence":"additional","affiliation":[{"name":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Wasi Haider","family":"Butt","sequence":"additional","affiliation":[{"name":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Muhammad","family":"Rashid","sequence":"additional","affiliation":[{"name":"Computer Engineering Department, Umm Al-Qura University, Saudi Arabia"}]}],"member":"320","published-online":{"date-parts":[[2020,5,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Journal of Design Automation for embedded systems","author":"Anwar Muhammad Waseem","year":"2019","unstructured":"Muhammad Waseem Anwar , M Rashid , F. Azam , M. Kashif and WH Butt: A model-driven framework for design and verification of embedded systems through SystemVerilog , Journal of Design Automation for embedded systems 2019 , Vol 23, Issue 3-4, Pages 179--223. Muhammad Waseem Anwar, M Rashid, F. Azam, M. Kashif and WH Butt: A model-driven framework for design and verification of embedded systems through SystemVerilog, Journal of Design Automation for embedded systems 2019, Vol 23, Issue 3-4, Pages 179--223."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.089"},{"key":"e_1_3_2_1_3_1","volume-title":"Last Accessed","author":"Model","year":"2019","unstructured":"Model based PolarSys project , Last Accessed Sep. 2019 , https:\/\/www.polarsys.org\/list-of-projects Model based PolarSys project, Last Accessed Sep. 2019, https:\/\/www.polarsys.org\/list-of-projects"},{"key":"e_1_3_2_1_4_1","volume-title":"IEEE ICICT Conference, USA","author":"Chen Long","year":"2019","unstructured":"Long Chen , \" Assertion Detection in Clinical Natural Language Processing : A Knowledge-Poor Machine Learning Approach \", IEEE ICICT Conference, USA , 2019 . Long Chen, \"Assertion Detection in Clinical Natural Language Processing: A Knowledge-Poor Machine Learning Approach\", IEEE ICICT Conference, USA, 2019."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-4154-9_56"},{"key":"e_1_3_2_1_6_1","volume-title":"The 2nd Inter. Conf. on IOT, Data and Cloud Computing (ICC 2017)","author":"Ahsan Imran","unstructured":"Imran Ahsan , Wasi Haider Butt , Mudassar Adeel Ahmed and Muhammad Waseem Anwar , \" A Comprehensive Investigation of Natural Language Processing Techniques and Tools to Generate Automated Test Cases\" , The 2nd Inter. Conf. on IOT, Data and Cloud Computing (ICC 2017) Imran Ahsan, Wasi Haider Butt, Mudassar Adeel Ahmed and Muhammad Waseem Anwar, \"A Comprehensive Investigation of Natural Language Processing Techniques and Tools to Generate Automated Test Cases\", The 2nd Inter. Conf. on IOT, Data and Cloud Computing (ICC 2017)"},{"key":"e_1_3_2_1_7_1","volume-title":"IEEE 9th International Conference on Semantic Computing, USA","author":"Christopher","year":"2015","unstructured":"Christopher B. Harris and Ian G. Harris, \"Generating formal hardware verification properties from Natural Language documentation \", IEEE 9th International Conference on Semantic Computing, USA , 2015 . Christopher B. Harris and Ian G. Harris, \"Generating formal hardware verification properties from Natural Language documentation\", IEEE 9th International Conference on Semantic Computing, USA, 2015."},{"key":"e_1_3_2_1_8_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Christopher","year":"2016","unstructured":"Christopher B. Harris and Ian G. Harris, \"GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions\", Design , Automation & Test in Europe Conference & Exhibition (DATE) , Germany , 2016 . Christopher B. Harris and Ian G. Harris, \"GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions\", Design, Automation & Test in Europe Conference & Exhibition (DATE), Germany, 2016."},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science Springer","volume-title":"Hsiao, \"EASE: Enabling Hardware Assertion Synthesis from English\", Rules and Reasoning. RuleML+RR","author":"Krishnamurthy Rahul","year":"2019","unstructured":"Rahul Krishnamurthy and Michael S . Hsiao, \"EASE: Enabling Hardware Assertion Synthesis from English\", Rules and Reasoning. RuleML+RR 2019 , Lecture Notes in Computer Science Springer , vol 11784. Rahul Krishnamurthy and Michael S. Hsiao, \"EASE: Enabling Hardware Assertion Synthesis from English\", Rules and Reasoning. RuleML+RR 2019, Lecture Notes in Computer Science Springer, vol 11784."},{"key":"e_1_3_2_1_10_1","volume-title":"IEEE 13th International Conference on Semantic Computing (ICSC), USA","author":"Krishnamurthy Rahul","year":"2019","unstructured":"Rahul Krishnamurthy and Michael S . Hsiao, \"Controlled Natural Language Framework for Generating Assertions from Hardware Specifications \", IEEE 13th International Conference on Semantic Computing (ICSC), USA , 2019 . Rahul Krishnamurthy and Michael S. Hsiao, \"Controlled Natural Language Framework for Generating Assertions from Hardware Specifications\", IEEE 13th International Conference on Semantic Computing (ICSC), USA, 2019."},{"key":"e_1_3_2_1_11_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Zhao Junchen","year":"2019","unstructured":"Junchen Zhao and Ian G . Harris, \"Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis\", Design , Automation & Test in Europe Conference & Exhibition (DATE) , Italy , 2019 . Junchen Zhao and Ian G. Harris, \"Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis\", Design, Automation & Test in Europe Conference & Exhibition (DATE), Italy, 2019."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.03.006"},{"key":"e_1_3_2_1_13_1","article-title":"A Library for Automatic Natural Language Generation of SpanishTexts","author":"Garcia-Mendez Silvia","year":"2018","unstructured":"Silvia Garcia-Mendez ., \" A Library for Automatic Natural Language Generation of SpanishTexts \" Journal of Experts Systems with Applications 2018 . Silvia Garcia-Mendez et al., \"A Library for Automatic Natural Language Generation of SpanishTexts\" Journal of Experts Systems with Applications 2018.","journal-title":"Journal of Experts Systems with Applications"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.02.011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-4154-9_55"},{"key":"e_1_3_2_1_16_1","volume-title":"ICISA Conference","author":"Maqbool Bilal","year":"2018","unstructured":"Bilal Maqbool , F Azam , MW Anwar , WH Butt and I Zafar ,\" A Comprehensive Investigation of BPMN Models Generation from Textual Requirements -- Techniques , Tools and Trends\". 9th i Catse ICISA Conference 2018 . Bilal Maqbool, F Azam, MW Anwar, WH Butt and I Zafar,\"A Comprehensive Investigation of BPMN Models Generation from Textual Requirements -- Techniques, Tools and Trends\". 9th iCatse ICISA Conference 2018."},{"key":"e_1_3_2_1_17_1","unstructured":"SharpNLP library https:\/\/archive.codeplex.com\/?p=sharpnlp  SharpNLP library https:\/\/archive.codeplex.com\/?p=sharpnlp"},{"key":"e_1_3_2_1_18_1","volume-title":"Workshop on NLP for Software Engineering (NL4SE)","author":"Natural Language Specifications Generating Regular","year":"2018","unstructured":"Zhong, Zexuan, Generating Regular Expressions from Natural Language Specifications : Are We There Yet.\" Proc . Workshop on NLP for Software Engineering (NL4SE) , 2018 Zhong, Zexuan, et al. \"Generating Regular Expressions from Natural Language Specifications: Are We There Yet.\" Proc. Workshop on NLP for Software Engineering (NL4SE), 2018"}],"event":{"name":"ICCAE 2020: 2020 12th International Conference on Computer and Automation Engineering","location":"Sydney NSW Australia","acronym":"ICCAE 2020","sponsor":["The University of Western Australia, Department of Electronic Engineering, University of Western Australia","Macquarie U., Austarlia","University of Technology Sydney"]},"container-title":["Proceedings of the 2020 12th International Conference on Computer and Automation Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384613.3384619","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384613.3384619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:13Z","timestamp":1750199593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384613.3384619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,14]]},"references-count":18,"alternative-id":["10.1145\/3384613.3384619","10.1145\/3384613"],"URL":"https:\/\/doi.org\/10.1145\/3384613.3384619","relation":{},"subject":[],"published":{"date-parts":[[2020,2,14]]},"assertion":[{"value":"2020-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}