Abstrakt. En kontroversiell fråga inom de formella metoderna är i vilken grad matematisk förfining och teorembevisning kan behövas för att tillämpa en formell metod och dess stödverktyg. Detta dokument beskriver SCR (Software Cost Reduction) verktygen, en del av en \practical" formell metod en metod med en solid matematisk grund som programvaruutvecklare kan tillämpa utan teorem bevis färdigheter, kunskap om temporal och högre ordning logiker, eller samråd med formella metoder experter. SCR-metoden ger en tabellbeskrivning för att specificera krav och en uppsättning lättviktsverktyg som automatiskt detekterar flera felklasser. Metoden ger också stöd för mer tunga verktyg, t.ex. en modellkontroll. För att göra modellkontroll möjlig kan användarna automatiskt tillämpa en eller flera abstraktionsmetoder.
SCR* verktygset REF ) är en uppsättning verktyg för att utveckla kravspecifikationer uttryckta i SCR (Software Cost Reduction) tabular notation.
SCR*: A Toolset for Specifying and Analyzing Software Requirements
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}