Automated requirement contradiction detection through formal logic and LLMs

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
1 Online-Ressource.
Language
Englisch

Bibliographic citation
Automated requirement contradiction detection through formal logic and LLMs ; volume:31 ; number:2 ; day:6 ; month:6 ; year:2024 ; pages:1-33 ; date:11.2024
Automated software engineering ; 31, Heft 2 (6.6.2024), 1-33, 11.2024

Creator
Gärtner, Alexander Elenga
Göhlich, Dietmar
Contributor
SpringerLink (Online service)

DOI
10.1007/s10515-024-00452-x
URN
urn:nbn:de:101:1-2408132106117.681689282893
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:58 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Gärtner, Alexander Elenga
  • Göhlich, Dietmar
  • SpringerLink (Online service)

Other Objects (12)

Automated formal specification generation and refinement from requirement documents

Automated formal specification generation and refinement from requirement documents

Deduction : automated logic

Deduction : automated logic

Contradiction

Ausstellungskatalog

Contradiction

Contradiction

Abschnitt

Contradiction

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic

Lesbian contradiction

Periodikum

Lesbian contradiction

Lesbian Contradiction

Periodikum

Lesbian Contradiction

Fichte’s formal logic

Fichte’s formal logic

Contradiction.- par Honer

Grafik

Contradiction.- par Honer

Contradiction set free

Contradiction set free

REQUIREMENT ANALYSIS OF 3D ROAD SPACE MODELS FOR AUTOMATED DRIVING

REQUIREMENT ANALYSIS OF 3D ROAD SPACE MODELS FOR AUTOMATED DRIVING

CHAPTER X. - Material And Formal Logic.

Kapitel

CHAPTER X. - Material And Formal Logic.

Related objects