Varför använder inte företag formella metoder i större utsträckning?
Formella metoderHalvformella metoderInformella metoderTrygghetskritiska systemVerksamhetskritiska systemUMLZ-Schema
Denna uppsats handlar om formella metoder i samband med systemutveckling. Formella metoder används främst vid utveckling av kritiska system, men de kan även tillämpas i vanlig systemutveckling. Ny teknik utvecklas ständigt och system blir alltmer komplexa och detta medför i sin tur högre krav på systemutvecklaren. Många systemutvecklingsprojekt misslyckas och en bidragande orsak har varit bristfällig analys och framtagande av kravspecifikationer. Att tillämpa formella metoder i systemutveckling medför många fördelar. Enligt experter anses utvecklingsarbete bli mer strukturerat, alla involverade i utvecklingen får ett kvalitetstänkande, och ett striktare arbetssätt med formaliserat språk bidrar till bättre kvalitet hos det slutgiltiga systemet samt dess mjukvara. Syftet med uppsatsen har varit att undersöka vilka metoder som används av företag i deras systemutveckling samt varför de inte tillämpar formella metoder i större utsträckning. Forskningsfrågan för denna uppsats är: ?Varför använder inte företag formella metoder i större utsträckning under systemutveckling??. De företag som ingår i vår undersökning är samtliga verksamma inom systemutveckling och utvecklar alltifrån standardsystem till system inom telekommunikation. De slutsatser som framkommit i den empiriska undersökningen visar att företagen har en formell arbetsgång under systemutvecklingen. Undersökningen visar även att företag inte tillämpar formella metoder såsom teorin beskriver det pga. det är dyrt att införa, svårt att beskriva vissa krav med logik, de fel som finns i ett system kan tolereras och de fel som finns uppmärksammas oftast i testningen.