Specifikationer

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Specifikationer</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id321.htm" TARGET="_top" TITLE="Simulering"><U><B><IMG SRC="004151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id199.htm" TARGET="_top" TITLE="Formalisering"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="clarke___wing__1996__formal_methods__state_of_the_art_and_future_directions.htm" TARGET="_top" TITLE="Formal Methods: State of the Art and Fut"><U><B>Clarke & Wing [1996] Formal Methods: State of the Art and Future Directions</B></U></A></div> <div> <A HREF="fraser__kumar___vaishnavi__1991__informal_and_formal_requirements_specification_.htm" TARGET="_top" TITLE="Informal and Formal Requirements Specifi"><U><B>Fraser, Kumar & Vaishnavi [1991] Informal and Formal Requirements Specification Languages: Bridging the Gap</B></U></A></div> <div> <A HREF="baresi___pezzé__1998__toward_formalizing_structured_analysis.htm" TARGET="_top" TITLE="Toward Formalizing Structured Analysis"><U><B>Baresi & Pezzé [1998] Toward Formalizing Structured Analysis</B></U></A></div> <div> <A HREF="larsen__katwijk__plat__pronk___toetenel__1992__svdm__an_integrated_combination_o.htm" TARGET="_top" TITLE="SVDM: An integrated combination of SA an"><U><B>Larsen, Katwijk, Plat, Pronk & Toetenel [1992] SVDM: An integrated combination of SA and VDM</B></U></A></div> <div> <A HREF="plat__larsen___toetenel__1993__formal_transformations__using_sa_and_vdm_as_diffe.htm" TARGET="_top" TITLE="Formal Transformations: Using SA and VDM"><U><B>Plat, Larsen & Toetenel [1993] Formal Transformations: Using SA and VDM as Different Views in Software Development</B></U></A></div> <div> <A HREF="larsen__plat___toetenel__1993__a_formal_semantics_of_data_flow_diagrams.htm" TARGET="_top" TITLE="A Formal Semantics of Data Flow Diagrams"><U><B>Larsen, Plat & Toetenel (1993) A Formal Semantics of Data Flow Diagrams</B></U></A></div> <div> <A HREF="france__1992__semantically_extended_data_flow_diagrams__a_formal_specification_t.htm" TARGET="_top" TITLE="Semantically Extended Data Flow Diagrams"><U><B>France [1992] Semantically Extended Data Flow Diagrams: A Formal Specification Tool</B></U></A></div> <div> <A HREF="agerholm___larsen__1998__a_lightweight_approach_to_formal_methods.htm" TARGET="_top" TITLE="A Lightweight Approach to Formal Methods"><U><B>Agerholm & Larsen (1998) A Lightweight Approach to Formal Methods</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> På grund af formelle specifikationers omfang og kompleksitet er de ikke umiddelbart anvendelige for almindelige systemudviklere og kunder/brugere, og de kræver derfor involvering af yderligere eksperter/ekspertice, hvilket umiddelbart komplicerer og fordyrer systemudviklingsforløbet.</div> <bR> <div> Da formelle specifikationer ikke er umiddelbart anvendelige for almindelige systemudviklere og kunder/brugere vil de desuden ikke kunne stå alene men skulle suppleres med almindelige systemudviklingsspecifikationer. Dermed bliver der endnu flere forskellige modeller som skal udarbejdes og vedligeholdes for at sikre konsistens i modellerne igennem systemudviklingsforløbet.</div> <bR> <div> Det er dermed hensigtsmæssigt at forsøge at integrere uformelle og formelle specifikationer med det formål at gøre formelle specifikationer lettere at anvende og mere udbredte, samt at styrke de uformelle specifikationers værdi ved at præcisere deres mening/betydning.</div> <bR> <div> Det er ikke umiddelbart muligt at integrere formelle og uformelle specifikationer. For at opnå dette er det nødvendigt at lave en semantisk specifikation for de uformelle specifikationer, og i den forbindelse viser der sig eventuelt mangler og uklarheder i betydningen af de uformelle specifikationer som skal udbedres/afklares.  Efter formuleringen af en entydig semantik for de uformelle specifikationer er det muligt at formulere at mapping mellem de uformelle og formelle specifikationer og derigennem automatisk konvertere mellem de forskellige specifikationer. En sådan letvægtsform for formel specifikation giver umiddelbar, let adgang til at udnytte mange af fordelene ved formel specifikation.</div> <bR> <div> Ved integration af formelle og uformelle specifikationer får systemudviklerne mulighed for at modellere systemet med forholdsvist intuitivt letforståelige og letanvendelige uformelle specifikationer som for eksempel dataflow diagrammer som samtidigt har bagvedliggende formelle specifikationer med mulighed for validering og anden matematisk/logisk analyse og bearbejdning som for eksempel simulering.</div> <bR> </td> </tr></table></body>