Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Automated formalisation of informal specifications by combining LLMs and grammar-based language processing
Saved in:
| Published in: | Empirical Software Engineering (Open Access Articles) |
|---|---|
| Format: | Online Article RSS Article |
| Published: |
2026
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1870025334555934720 |
|---|---|
| collection | WordPress RSS FRELIP Feed Integration |
| container_title | Empirical Software Engineering (Open Access Articles) |
| description | |
| discipline_display | Computer Software-Systems |
| discipline_facet | Computer Software-Systems |
| format | Online Article RSS Article |
| genre | Journal Article |
| id | rss_article:100023 |
| institution | FRELIP |
| journal_source_facet | Empirical Software Engineering (Open Access Articles) |
| last_indexed | 2026-07-07T03:32:12.405Z |
| publishDate | 2026 |
| publishDateSort | 2026 |
| record_format | rss_article |
| spellingShingle | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing Computer Software-Systems General Computer Software-Systems |
| sub_discipline_display | General |
| sub_discipline_facet | General |
| subject_display | Computer Software-Systems General Computer Software-Systems |
| subject_facet | Computer Software-Systems General Computer Software-Systems |
| title | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_alt | Formalización automatizada de especificaciones informales mediante la combinación de LLM y procesamiento de lenguaje basado en gramáticas Formalisation automatisée de spécifications informelles en combinant les LLM et le traitement du langage basé sur la grammaire Formalização automatizada de especificações informais combinando LLMs e processamento de linguagem baseado em gramática |
| title_auth | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_es_txt | Formalización automatizada de especificaciones informales mediante la combinación de LLM y procesamiento de lenguaje basado en gramáticas |
| title_fr_txt | Formalisation automatisée de spécifications informelles en combinant les LLM et le traitement du langage basé sur la grammaire |
| title_full | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_fullStr | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_full_unstemmed | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_pt_txt | Formalização automatizada de especificações informais combinando LLMs e processamento de linguagem baseado em gramática |
| title_short | Automated formalisation of informal specifications by combining LLMs and grammar-based language processing |
| title_sort | automated formalisation of informal specifications by combining llms and grammar-based language processing |
| topic | Computer Software-Systems General Computer Software-Systems |
| url | https://link.springer.com/article/10.1007/s10664-026-10914-3 |