I tidigare arbete förespråkade vi en fortsatt utveckling av specifikationer i händelse av inkonsekvens. För att stödja detta använde vi klassisk logik för att representera partiella specifikationer och för att identifiera inkonsekvenser mellan dem. Vi presenterar nu en anpassning av klassisk logik, som vi kallar kvasiklassisk (QC) logik, som tillåter fortsatt resonemang i närvaro av inkonsekvens. Anpassningen är en försvagning av den klassiska logiken som förbjuder alla triviala härledningar, men ändå gör det möjligt att härleda alla resolvanter av antagandena. Dessutom beter sig bindväven på ett klassiskt sätt. Därefter presenterar vi en utveckling kallad QC-logik som registrerar och spårar antaganden som används i resonemanget. Detta underlättar en logisk analys av inkonsekvent information. Vi diskuterar tillämpningen av märkt QC-logik i analysen av multiperspektiva specifikationer. Sådana specifikationer utvecklas av flera deltagare som har överlappande, ofta inkonsekventa, åsikter om de system de utvecklar.
Andra krav tekniska metoder REF lämnar inkonsekvenser i specifikationer och använda en lämplig logik för att fortsätta resonemanget, även i närvaro av en inkonsekvens.
Managing inconsistent specifications: reasoning, analysis, and action
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}