Meyer, Bertrand

Bertrand Meyer
fr.  Bertrand Meyer
Syntymäaika 21. marraskuuta 1950( 21.11.1950 ) (71-vuotiaana)
Syntymäpaikka
Maa
Tieteellinen ala Informatiikka
Työpaikka Innopoliksen yliopisto
Alma mater
Opiskelijat Jean-Marc Nerson [d] [1], Andreas Leitner [d] [1], Michela Pedroni [d] [1], Yi (Jason) Wei [d] [1], Marco Piccioni [d] [1], Marco Trudel [d] [1], Benjamin Morandi [d] [1]ja Nadia Polikarpova [d] [1]
Palkinnot ja palkinnot Dahl-Nyugor-palkinto ( 2005 ) ACM Software System Award [d] ( 2006 ) Hyvä ACM Harlan D. Mills Award [d]
Verkkosivusto bertrandmeyer.com
 Mediatiedostot Wikimedia Commonsissa

Bertrand Meyer (s . 21. marraskuuta 1950 , Pariisi ) on Eiffel -ohjelmointikielen luoja .

Elämäkerta

Vuonna 1974 hän valmistui ammattikorkeakoulusta (École Polytechnique) Pariisista ja valmistui insinööriksi . Samana vuonna hän suoritti tietojenkäsittelytieteen maisterin tutkinnon Stanfordin yliopistosta . Hän väitteli tohtoriksi vuonna 1985 Henri Poincarén yliopistosta ( Nancy).

Vuodesta 1974 vuoteen 1983 hän työskenteli tutkimusinsinöörinä. Sitten hän johti Électricité de Francen ohjelmistokehitysosastoa .

Vuonna 1978 julkaistiin B. Meyerin ensimmäinen kirja "Ohjelmointimenetelmät", joka käännettiin venäjäksi vuonna 1982 , toimitti ja esipuheen oli Andrei Petrovitš Ershov .

Vuodesta 1983 vuoteen 1986 _ on vieraileva professori Kalifornian yliopistossa Santa Barbarassa .

Vuodesta 2011 lähtien B. Meyer on toiminut Pietarin osavaltion tietotekniikan, mekaniikan ja optiikan yliopiston ohjelmistosuunnittelun ja ohjelmien todentamisen laitoksen johtajana . [2]

Vuodesta 2014 lähtien innopolis-yliopiston ( Tatarstanin tasavalta , Venäjä ) lehtori, ohjelmistosuunnittelun ja ohjelmien verifioinnin laboratorion johtaja [3] [4] .

Eiffel- ohjelmointikieli

Vuonna 1985 hän julkaisi raportin Eiffel- kielestä (Eiffel: A Language for Software Engineering). Tämä kieli heijasti täydellisesti olio-ohjelmoinnin käsitteitä.

Samana vuonna B. Meyer perusti ISE:n (Interactive Software Engineering), joka nimettiin myöhemmin uudelleen Eiffel Softwareksi . Vuoteen 2001 asti hän oli sen puheenjohtaja, ja vuodesta 2001 lähtien hänestä tuli sen valvoja. Bertrand Meyerin johdolla yrityksen työntekijät kehittivät Eiffel- kielikääntäjät olio- kehitysympäristön ohjelmistoprojekteille , jotka ovat saatavilla lähes kaikilla alustoilla [5] . Yhtiö harjoittaa konsultointia, koulutustoimintaa ja ohjelmistokehityksen tukea Eiffel-kielellä. Tämän kielen pääsovellus liittyy laajamittaisiin sovelluksiin luotettavuuden kannalta kriittisillä alueilla, kuten esimerkiksi talous-, sotilas- ja ilmailualalla.

Eiffel-kieli kehittyy jatkuvasti. Vuonna 2005 hyväksyttiin ja julkaistiin tämän kielen standardi "ECMA-standardi: Eiffel-analyysi-, suunnittelu- ja ohjelmointikieli" B. Meyerin toimittamana. Standardi on hyväksytty kansainväliseksi standardiksi (ECMA Internationalin kansainvälinen standardi 367).

Julkaisut

Vuonna 1988 B. Meyer julkaisi kirjan "Object-Oriented Software Construction", joka käännettiin saksaksi , ranskaksi , italiaksi , japaniksi , kiinaksi ja romaniaksi , ja jossa kuvattiin yksityiskohtaisesti luotettavien ohjelmistotuotteiden rakentamisen perusteet objektiteknologiaa käyttäen. Kirjassa esitettiin myös B. Meyerin ehdottaman "Design by contract"  -menetelmän perusteet, jota kehitettiin useissa hänen artikkeleissaan.

Tämän kirjan toinen painos ilmestyi vuonna 1997. Kirja sai Jolt-kunniapalkinnon vuonna 1998. Toisesta painoksesta ilmestyi käännös espanjaksi , ranskaksi ja serbiaksi . Sitä käännetään japaniksi ja kiinaksi .

Venäjänkielinen käännös toisesta painoksesta nimeltä "Object-Oriented Design of Software Systems" julkaistiin vuonna 2005 Vladimir Billigin toimituksella Russian Editionin ja Internet Universityn yhteisillä ponnisteluilla .

Vuonna 2003 B. Meyerista tuli Niklaus Wirthin seuraaja , joka korvasi hänet kuuluisan ohjelmistotekniikan osaston johtajana Sveitsin ETH:ssa (Eidgenoessische Technische Hochschule) - Zürichin korkeakoulussa . Hän hoitaa tällä hetkellä tätä virkaa.

Bertrand Meyer on yksi johtavista ohjelmistotekniikan alan tutkijoista . Hän on kirjoittanut yhdeksän kirjaa. Hän on julkaissut yli 250 tieteellistä artikkelia useilta eri aloilta, joita kaikkia on vaikea luetella. Vain muutamia mainitakseni: menetelmät luotettavien, uudelleenkäytettävien komponenttien ja ohjelmistotuotteiden rakentamiseen, rinnakkais- , hajautettu- ja Internet-ohjelmointi , tietokantatekniikat, muodolliset menetelmät ja ohjelman oikeellisuuden todistaminen.

Viimeisten 25 vuoden aikana B. Meyer on ollut kutsuttu puhuja useimmissa tunnetuissa kansainvälisissä ohjelmistosuunnittelun konferensseissa ( ICSE , OOPSLA , ECOOP , APSEC , TOOLS , ASWEC , ESEC ). Hän oli useiden vuosien ajan järjestäjänä yksi kuuluisimmista objektiohjelmointikonferensseista - TOOLS (Objektoitujen kielten ja järjestelmien teknologia) -konferenssi.

Hän oli JOT :n (Journal of Object Technology) julkaisija. Bertrand Meyer kirjoitti kolumneja sellaisiin aikakauslehtiin kuin IEEE Computer ( 1996-2000 ) , Journal of Object-Oriented Programming ( 1995-2001 ) , Software Development ( 1999-2001 ) . Hänen tieteellisen toimintansa aihepiiriin kuuluvat myös tietojenkäsittelytieteen ja ohjelmistotekniikan alan koulutusongelmat. Hän kehitti alkuperäisen ohjelmoinnin perusteiden opettamismenetelmän, jota kutsutaan "käänteiseksi opetussuunnitelmaksi", jonka on vahvistanut kokemus työskentelystä ETH-opiskelijoiden kanssa.

Palkinnot

Ohjelmointiyhteisön palveluista vuonna 2005 hänestä tuli Dahl-Nyugor-palkinnon ensimmäinen voittaja, joka perustettiin ensimmäisen objektiohjelmointikielen Simulan luojien kunniaksi .

Pietarin osavaltion tietotekniikan, mekaniikan ja optiikan yliopiston akateeminen neuvosto valitsi professori B. Meyerin 28. maaliskuuta 2006 yliopiston kunniatohtoriksi . Tälle tapahtumalle omistettu juhlallinen seremonia pidettiin 2. kesäkuuta 2006 [6] .

Professori B. Meyer puhuu venäjää ja hänellä on pitkät ystävyyssuhteet venäläiseen ohjelmointiyhteisöön. Aloittelevana tiedemiehenä A. P. Ershov kutsui hänet harjoittelemaan Novosibirskin Academgorodokissa . Nämä siteet ovat vahvistuneet viime vuosina. Bertrand Meyer kutsuttuna puhujana oli:

Muistiinpanot

  1. ↑ 1 2 3 4 5 6 7 8 Matemaattinen sukututkimus  (englanniksi) - 1997.
  2. ↑ Pietarin valtionyliopiston virtuaalimuseo ITMO. Meyer Bertrand . Haettu 9. kesäkuuta 2011. Arkistoitu alkuperäisestä 1. heinäkuuta 2015.
  3. ↑ Opetushenkilöstö . vanha.innopolis.yliopisto . Haettu 14. elokuuta 2020. Arkistoitu alkuperäisestä 18. huhtikuuta 2021.
  4. ↑ Ohjelmistosuunnittelun ja ohjelmien todentamisen laboratorio . vanha.innopolis.yliopisto . Haettu 14. elokuuta 2020. Arkistoitu alkuperäisestä 14. huhtikuuta 2021.
  5. ↑ Eiffel-ohjelmisto – EiffelStudion koti . Haettu 14. heinäkuuta 2022. Arkistoitu alkuperäisestä 29. kesäkuuta 2022.
  6. ↑ Bertrand Meyer . Käyttöpäivä: 29. toukokuuta 2009. Arkistoitu alkuperäisestä 8. joulukuuta 2006.

Linkit

  Siirry Wikidata-kohteeseen  Sosiaalisissa verkostoissa
Temaattiset sivustot