Jean-Raymond Abrial
Jean-Raymond Abrial (född 1938) är en fransk datavetare och uppfinnare av de formella Z- och B -metoderna .
Abrials uppsats Data Semantics från 1974 lade grunden för ett formellt förhållningssätt till datamodeller ; även om den inte antogs direkt av utövare, påverkade den direkt alla efterföljande modeller från Entity-Relationship Model till RDF .
J.-R. Abrial är fadern till Z-notationen (som vanligtvis används för formell specifikation av mjukvara), under sin tid på Programming Research Group inom Oxford University Computing Laboratory (nuvarande Oxford University Department of Computer Science ), och senare B-metoden (normalt används för mjukvaruutveckling), två formella metoder för mjukvaruutveckling . Han är författare till The B-Book: Assigning Programs to Meanings . Under stora delar av sin karriär har han varit en oberoende konsult. Han var inbjuden professor vid ETH Zürich från 2004 till 2009.
externa länkar
- Jean-Raymond Abrial på DBLP Bibliography Server
- Recension av The B-Book at the Wayback Machine (arkiverad 2 december 2007) av Jonathan Bowen
- Hantera konstruktionen av stora datoriserade system — artikel
- Har vi lärt oss av Wasa-katastrofen (video) — föredrag av Jean-Raymond Abrial
| Allmän | |
|---|---|
| Nationalbibliotek | |
| Vetenskapliga databaser | |
| Övrig | |
- 1938 födslar
- Akademisk personal vid ETH Zürich
- Datavetenskapliga författare
- Stubbar för europeiska datorspecialister
- Formella metoder människor
- franska datavetare
- Levande människor
- Medlemmar av Institutionen för datavetenskap, University of Oxford
- Forskare inom mjukvaruteknik
- Programvaruingenjörer
- Z-notation