Abstract-Early stadier av systemutveckling innebär att beskriva önskade funktioner såsom funktionalitet, tillgänglighet, eller användbarhet. Specifikationerna härleds från dessa egenskaper som konkretiserar vaga idéer som presenteras i naturliga språk. Utmaningen för verifiering och validering av specifikationer beror på den syntaxiska och semantiska klyftan mellan olika representationer och behovet av automatiska verktyg. I detta dokument lägger vi fram en ram för kravkonsekvent underhåll för att ta fram konsekventa representationer. Den första delen är den automatiska översättningen från naturliga språk som beskriver funktioner till formell logik med en abstraktion av tiden. Det utökar ren syntaktisk tolkning genom att lägga till semantiska resonemang och stöd för att partitionera in- och utdatavariabler. Den andra delen är användningen av syntestekniker för att undersöka om kraven är konsekventa i fråga om realiserbarhet. När processen misslyckas rapporteras de formler som orsakar inkonsekvensen lokalisera problemet.
Yan2015 presenterade en formell konsekvens kontroll av specifikationer skrivna på naturligt språk REF.
Formal consistency checking over specifications in natural languages
{'venue': '2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)', 'journal': '2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)', 'mag_field_of_study': ['Computer Science']}