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á bibliografia

Vydané v:	International Conference on Dependable Systems and Networks workshops (Online) s. 259 - 262
Hlavní autori:	Leong, Iat Tou, Barbosa, Raul
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2023
Predmet:	Conferences Costs Formal specification Formal specifications Java Java Modeling Language Natural language processing Organizations Software Software engineering Software verification
ISSN:	2325-6664
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!