Jean-Raymond Abrial - Jean-Raymond Abrial

Jean-Raymond Abrial (narozen 1938)[1] je francouzština počítačový vědec a vynálezce Z a B formální metody.[2]

J.-R. Abrial je otcem Z notace (obvykle se používá pro formální specifikace softwaru), během svého působení v Programovací výzkumná skupina v rámci Oxford University Computing Laboratory (nyní Oxford University Department of Computer Science ) a později B-metoda (obvykle se používá pro vývoj softwaru), dva přední formální metody pro softwarové inženýrství. Je autorem knihy Kniha B: Přiřazení programů významům.[3] Po většinu své kariéry pracoval jako nezávislý konzultant,[4] stejně jako doma s průmyslem jako s akademickou obcí. Později se stal Profesor na ETH Curych v Švýcarsko.[5]

Reference

  1. ^ Bowen, Jonathan P .; Liu, Zhiming; Zhang, Zili (2019-04-17). Důvěryhodné softwarové systémy: 4. mezinárodní škola, SETSS 2018, Chongqing, Čína, 7. – 12. Dubna 2018, výukové lekce. Springer. ISBN  978-3-030-17601-3.
  2. ^ "dblp: Jean-Raymond Abrial". dblp.uni-trier.de. Citováno 2020-05-17.
  3. ^ Jean-Raymond Abrial (1996). Kniha B: Přiřazení programů významům. Cambridge: Cambridge University Press. ISBN  0-521-49619-5.
  4. ^ „Academy of Europe: Abrial Jean-Raymond“. www.ae-info.org. Citováno 2020-05-17.
  5. ^ Abrial, Jean-Raymond (22. srpna 2005). „Správa výstavby velkých počítačových systémů“. Ústav výpočetní techniky, ETH Curych, Švýcarsko. Archivovány od originál dne 26. září 2011. Citováno 26. září 2011.

externí odkazy