The Research in Software Engineering (RiSE) group hos Microsoft Research i Redmond er igen på besøg i Danmark! Denne gang er det Nikolaj Bjorner, Senior Researcher, Microsoft Research som arbejder med software udvikling i lidt flere "dimensioner" nemlig validering og bevisførelse af software korrekthed.
For de lidt mere nørdede... Nikolaj besøger også DIKU hvor han i flere detaljer gennemgår Z3 og den seneste forskning indenfor software verifikation. Mig bekendt finder DIKU talken sted på DIKU d. 26. maj kl. 9-?, men tjek det endelig tidspunkt, når det bliver slået op, her: http://www.diku.dk/ (...)
Fra studerende til professionel udvikler. En blog for studerende som ønsker at tage aktivt stilling til mulighederne i nye teknologier. Skrives af Martin Esmann, Academic Developer Evangelist i Microsoft.
Kan gratis sikkerhedssoftware virkelig beskytte din pc? Svaret er ja, hvis du vælger det rette produkt. Læs her en test af de mest pålidelige gratis sikkerhedsprogrammer.
Næsten 200 IBM-ansatte får med få timers varsel sidste arbejdsdag i dag. Ingen var orienteret forud for dagens massefyring, som effektueres øjeblikkeligt.
Flyselskabet SAS har brugt op mod trekvart milliarder kroner og seks år på at udskifte sit bookingsystem. Undervejs har der været flere projekt-udfordringer, som kulminerede en vinternat med en big bang-migrering.
Log ind
Publiceret d. 12. maj 2011 kl. 08.53
