Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP

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

Celý popis

Podrobná bibliografie

Vydáno v:	International Conference on Dependable Systems and Networks workshops (Online) s. 259 - 262
Hlavní autoři:	Leong, Iat Tou, Barbosa, Raul
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2023
Témata:	Conferences Costs Formal specification Formal specifications Java Java Modeling Language Natural language processing Organizations Software Software engineering Software verification
ISSN:	2325-6664
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!