Download whitepapers, case studies
en onderzoeken over ICT-onderwerpen
Computable IT Knowledge Base

Dagelijks het laatste
ICT-nieuws in je inbox?
Computable e-mail nieuwsbrief

Artikelen
- Alle artikelen
- Nieuws
- Achtergrond
- Video
- Tags
- Zoeken
- Auteurs
ICT Topics
- Overzicht
- Beheer
- Besturingssystemen
- Business Intelligence
- CRM
- Development
- ECM
- ERP
- eHRM
- Infrastructuur
- Internet
- Mobility
- Netwerken
- Open Source
- Outsourcing
- SaaS
- Security
- SOA
- Storage
- Telecom
- Virtualisatie
- Beleid
- Loopbaan
- ICT-branche
- Overheid
- Maatschappij
ICT Banen
- Banen
Bedrijven
Producten
Opinie
Whitepapers
- Whitepapers
Events
Gidsen
Service
- Informatie
- Abonnementen
- Nieuwsbrief
- Boekwinkel
- Adreswijziging
- Bezorgklacht
- Planning
- Adverteren
- Colofon
- Vacatures plaatsen
- Newsfeed
- RSS
- Disclaimer
- Privacy
- Sitemap

Andere ICT Topics

pijltje

ICT Topics pijltje

pijltje

Development pijltje

pijltje

Development / Nieuws

04-12-2006 11:15 | Door Jolein de Rooij | Er zijn nog geen reacties op dit artikel | Permalink

Eredoctoraat voor SPIN-ontwikkelaar

Vrijdag 1 december kreeg NASA-informaticus dr. Gerard Holzmann een eredoctoraat uitgereikt door de Universiteit Twente voor zijn pioneerswerk op het gebied van betrouwbare software.

Holzmann ontwikkelde SPIN, dat wereldwijd door tienduizenden mensen wordt gebruikt om de betrouwbaarheid van hun software te controleren. “Veel kritische toepassingen – voor bijvoorbeeld de besturing van telefooncentrales en ruimtevaartuigen – bestaan tegenwoordig uit multithreaded systemen. Dat soort systemen zijn zo complex dat je hun betrouwbaarheid niet kunt garanderen door te testen of ze nauwkeurig te bestuderen. Je hebt dus een ander soort gereedschap nodig, zoals bijvoorbeeld SPIN. De grote kracht van SPIN is dat programmeurs alle theorie die erin verwerkt is niet hoeven te kennen om de tool toch te kunnen gebruiken.”

Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere het besturingssysteem Unix en de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte vijftien jaar aan de SPIN model checker, waarvoor hij in april 2002 de Software System Award ontving van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van de NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.

reageer print stuur door

Reageer

Nieuws

Meer Development

Development Whitepapers

De toekomst van Integration Technology

Naast de twee ‘volwassen’ systemen voor Integration Technology, Data Transfer en Point-2-Point Integration, zijn er nog een viertal integratiesystemen die nog min of meer in de kinderschoenen staan. Deze whitepaper gaat in op de business value van deze systemen en blikt vooruit op de...... Download nu

RUP planning becijferd: Inzetverdeling en beschikbaarheid gebruikers

Vooraf aangeven hoe lang een ontwikkeltraject gaat duren is erg lastig. In deze whitepaper wordt duidelijk hoe je door middel van bepaalde analyses vooraf een goed onderbouwde RUP-planning kan maken, inclusief verdeling per activiteit en inzet van gebruikers.... Download nu

Meer Development whitepapers

SAP-maatwerk, duur beheer

Als er veel wordt gesleuteld aan een SAP-applicatie, zorgt dat voor hogere beheerkosten na het project. Maar het is lastig aan de organisatie duidelijk te maken dat maatwerk niet altijd de beste oplossing is.

Meer maatwerk bij SAP maakt beheer duurder

Development Producten

Cadac Group Organice Solution Accelerator

20-11 13:52 De Cadac Group, een Microsoft Gold Certified Partner en ontwikkelaar van op SharePoint gebaseerde engineering document management oplossingen, komt met de Organice Solution...

Meer development producten

Development Praktijk

Booking.com zweert bij open source

10-03 14:24 De capaciteit van de infrastructuur van reserveringswebsite Booking.com is de afgelopen jaren vertienvoudigd. Dat levert niet alleen hoofdbrekens op over onder andere...

Meer development praktijk

Development Achtergrond

Oude bugs blijven bijten

12-11 10:19 Oude bugs in software hebben nog een flinke nasleep. Soms worden oude fouten simpelweg niet hersteld, soms gebeurt het afdekken van gaten niet goed, en ook blijken ze in meer...

Meer development achtergrond

Development Opinie

Antivirussoftware als bedreiging

19-11 14:05 De virusscanner van AVG is de afgelopen weken in korte tijd twee keer in de fout gegaan. Eerst werd een kritiek Windows-bestand ten onrechte aangezien voor een trojan, de tweede...

Meer development opinie

IT Directory

Bekijk de leveranciers op het gebied van Development.