Abstrakt. I detta dokument överväger vi ett sätt att överbrygga informella och formella specifikationer. De flesta projekt har behov av en informell beskrivning av kraven i systemet som alla inblandade kan förstå. Samtidigt finns det ett behov av att göra vissa av kraven mer formella. Vi presenterar ett sätt att relatera informella krav, i form av användningsfall, till mer formella specifikationer, skrivna i OCL. Vårt tillvägagångssätt ger programvarusystemens kunder ett sätt att vägleda utvecklingen av formella specifikationer. Omvänt kan den formella specifikationen förbättra den informella förståelsen av systemet genom att avslöja luckor och tvetydigheter i den informella specifikationen.
Giese och Heldal REF är ett sätt att relatera informella krav i form av användningsfall till mer formella specifikationer skrivna i OCL.
From informal to formal specifications in UML
{'venue': 'Proc. of UML2004, Lisbon, volume 3273 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}