Publicações

Translating Natural Language Requirements to Formal Specifications: A Study on Gpt and Symbolic Nlp

AuthID
P-00Y-ZPV

Author(s)

Leong, IT

Barbosa, R

Document Type

Proceedings Paper

Year published

2023

Published

in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W in International Conference on Dependable Systems and Networks Workshops, ISSN: 2325-6648

Pages: 259-262 (4)

Conference

53Rd Annual Ieee/Ifip International Conference on Dependable Systems and Networks (Dsn), Date: JUN 27-30, 2023, Location: Porto, PORTUGAL

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/dsn-w58399.2023.00065

Scopus: 2-s2.0-85169457772

Wos: WOS:001050777800044

Source Identifiers

ISSN: 2325-6648

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Translating Natural Language Requirements to Formal Specifications: A Study on Gpt and Symbolic Nlp

Useful Links

Get Help

Autenticação Federada (Click on the image)

Translating Natural Language Requirements to Formal Specifications: A Study on Gpt and Symbolic Nlp

Useful Links

Get Help