24th of May, at 16h00, Chriss IT. Leong will give a presentation entitled“Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP”
Location: G4.1
Bio
Chriss IT. Leong is a Chief Information Security Officer, EHR, Department of Information Security, Health Bureau. Is is also a Phd Student at CISUC, Department of Informatics Engineering, University of Coimbra. He has a Master and Bachelor in Computer Science from National Yang Ming Chiao Tung University, Taiwan. His research interests focus on Software Engineering, Formal Specification and Software Verification.
Abstract
Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving depend upon requirements being written in formal specification languages. Automatically translating requirements into a formal specification language is a relevant and challenging research question, because developers often lack the necessary expertise. We consider the application of natural language processing (NLP) to address such research question. Two distinct approaches are proposed to formalise natural language requirements: a symbolic method and a GPT-based method. Both methods are evaluated with respect to their ability to generate accurate Java Modeling Language (JML) from textual requirements, and the results show good promise for automatic formalisation of requirements.