Abstract-Modeller är bra på att uttrycka information om programvara men inte lika bra på att uttrycka modellernas osäkerhet om det. Den mycket inkrementella och iterativa karaktären av mjukvaruutveckling kräver dock förmågan att uttrycka osäkerhet och förnuft med modeller som innehåller den. I detta dokument bygger vi på vårt tidigare arbete med att uttrycka osäkerhet med hjälp av partiella modeller, genom att utarbeta en strategi för resonemang med sådana modeller. Vi utvärderar vårt tillvägagångssätt genom att experimentellt jämföra det med traditionella strategier för att hantera osäkerhet samt genom att genomföra en fallstudie med hjälp av programvara med öppen källkod. Vi drar slutsatsen att vi kan dra nytta av den välskötta osäkerheten samtidigt som vi får en minimal extra kostnad.
Partiella modeller REF uttrycker osäkerhet om en konkret modellvariant.
Partial models: towards modeling and reasoning with uncertainty
{'venue': "ICSE '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}