John Barnes (informaticien) - John Barnes (computer scientist)

John Gilbert Presslie Barnes est un informaticien britannique surtout connu pour son rôle dans le développement et la diffusion du langage de programmation Ada . Il est le principal inventeur et protagoniste du mécanisme Ada Rendezvous.

Barnes a étudié les mathématiques à l' Université de Cambridge et a ensuite travaillé à Imperial Chemical Industries (ICI). Il a été boursier industriel au Wolfson College d'Oxford à la toute fin des années 1970 ou au début des années 1980, très probablement à la suggestion du professeur Tony Hoare .

Avant de travailler dans l'équipe de conception d'Ada, alors qu'il était chez ICI, il a conçu et implémenté un dialecte du langage ALGOL , nommé Real-Time Language 2 ( RTL/2 ) pour le calcul temps réel .

Barnes a reçu un doctorat honorifique en philosophie (Ph.D.) de l' Université de York en 2006.

Publications

• Barnes, JGP (octobre 1976). RTL/2 : Conception et philosophie . Londres : Heydon. ISBN 978-0855012243.
• Barnes, John; Brosgol, Ben (janvier 1995). Ada 95 Justification : Le langage, les bibliothèques standard . Berlin; New York : Springer . ISBN 3-540-63143-7.
• Barnes, John (10 juin 1998). Programmation en Ada 95 (2e éd.). Addison-Wesley . ISBN 0-201-34293-6.
• Barnes, John (15 juin 1997). Ada à haute intégrité : l'approche SPARK . Addison-Wesley. ISBN 0-201-17517-7. Archivé de l' original le 5 avril 2005 . Récupéré le 17 novembre 2005 .
• Barnes, John (25 avril 2003). Logiciel à haute intégrité : l'approche SPARK de la sûreté et de la sécurité . Addison-Wesley. ISBN 0-321-13616-0.
• Barnes, John (30 juin 2006). Programmation en Ada 2005 . Addison Wesley. ISBN 0-321-34078-7.
• Barnes, John (11 août 2014). Programmation dans Ada 2012 . La presse de l'Universite de Cambridge. ISBN 978-1107424814.

Cet article sur un informaticien du Royaume-Uni est un bout . Vous pouvez aider Wikipedia en l' étendant .

• v
• t
• e