24th May 23

Talk Ideas with Chriss IT. Leong

Speaker: Chriss IT. Leong

Date: 24th of May, 2023

Time: 4:00 pm

Place: Room G4.1

Presentation title: “Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP”

Short 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.


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.

This website uses cookies to improve your experience. Read More