Sv: UTVECKLINGSMETODER EFTERLYSES!
Formella metoder är en samling tekniker och notationer för modellering och analys av system av vad slag det vara månde. Vanligtvis innebär det ett antal på varandre följande utvecklingssteg, som är så utformade att man kan förvänta sig samma resultat vid en upprepning.
Ett syfte är bland annat att man skall uppnå en viss grad av spårbarhet bakåt som då man exempelvis använder ett recept och undrar varför maten blev för salt.
Med generella metoder menas att de inte skall vara förbehållna en viss bransch/arkitektur/ implementationsmilö, även om de vanligvis används inom någon av de nämnda som exempelvis TRIZ/TIPS (kolla på Internet).
Det kan förvissa anses som tårta på tårta att skriva "abstrakta idéer" för som din landsman Henning Sejer Jakobsen (Danmarks Tekniske Institut) påpekar i sin bok "Ideudvikling ved KREATIV innovation" är en idé alltid abstrakt medan han kallar implentationen för lösning, vilket skiljer sig markant från gängse språkbruk.
Förenklat kan man säga att en idé beskriver VAD man vill åstadkomma och lösningen HUR. Att börja med att rita/konstruera blir i detta sammanhang som att spänna vagnen framför hästen.
En undersökning för flera år sedan kom fram till att kunskapen om formella metoder inom svensk industrí var mycket låg, och användningen om möjligt ännu lägre. Detta står i bjärt kontrast till (data-) systemutveckling som vimlar av metoder, och i flera avseende ligger hästlängder före, trots att de i flera fall lånat principer från just industrin.
//Conny