Abstrakt. Användningsfall är en populär metod för att fånga och strukturera programvarukrav. Informella användningsfall är både en välsignelse och en förbannelse. Det möjliggör enkel tillämpning och inlärning men är ett hinder för automatiserade metoder för testfallsgenerering, validering eller simulering. Detta dokument presenterar användningsfall diagram, ett exakt sätt att specificera användningsfall som syftar till att behålla fördelarna med enkel förståelse men också stöder automatiserad analys. Den grafiska och abstrakta syntaxen för användningsfallsdiagram ges tillsammans med en skiss av deras formella semantik.
I REF föreslås en grafisk notation kallad "Use Case Charts" för användningsfallsspecifikation.
Specifying precise use cases with use case charts
{'venue': 'MoDELS Satellite Events. Volume 3844 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}