Results 301 to 308 of about 192,615 (308)
Some of the next articles are maybe not open access.

Automated requirement contradiction detection through formal logic and LLMs

Automated Software Engineering
Dietmar Göhlich
exaly  

Contradictions

2017
Rolf Giesen, Anna Khan
openaire   +1 more source

Contradictions

1988
openaire   +1 more source

ON CONTRADICTION

1965
openaire   +1 more source

THIS CONTRADICTION

2002
openaire   +1 more source

Contradiction

2016
openaire   +1 more source

Contradictions

2019
openaire   +1 more source

Contradictions

2005
openaire   +1 more source
logic
uncertainty
structure
dialectics
language
dynamics
previous   29  30  31  

Home - About - Disclaimer - Privacy