mboost-dp1
SXC - Gokoroko
- Forside
- ⟨
- Forum
- ⟨
- Nyheder
Stryder (49) skrev:
Der er jeg overbevist om at formal methods lite, ville
have hjulpet big time, hvis de havde mandskab der praktiserede
det.
http://newz.dk/4-af-5-af-skats-it-projekter-i-2008...
Det kan ikke udelukkes.
Umiddelbart ville jeg nok kun mene at formelle metoder var begrunde til nogle af kerne systemerne og brugt mere traditionelle metoder til frontends og perifere systemer.
DACCIS var nok derimod lige til højrebenet for formelle metoder.
http://newz.dk/forsvaret-dropper-svenske-saab-som-...
Opret dig som bruger i dag
Det er gratis, og du binder dig ikke til noget.
Når du er oprettet som bruger, får du adgang til en lang række af sidens andre muligheder, såsom at udforme siden efter eget ønske og deltage i diskussionerne.