E-LOTOS - E-LOTOS

Informatika fanida E-LOTOS (Kengaytirilgan LOTOS) a rasmiy spetsifikatsiya tili 1993 yildan 1999 yilgacha ishlab chiqilgan va standartlashtirilgan ISO 2001 yilda.[1]

E-LOTOS dastlab qayta ko'rib chiqilishi kerak edi Lotuslar 1989 yilda ISO 8807 tomonidan standartlashtirilgan til, ammo qayta ko'rib chiqilishi chuqur bo'lib, yangi spetsifikatsiya tiliga olib keldi.

LOTOSni qayta ko'rib chiqish uchun boshlang'ich nuqta doktorlik dissertatsiyasi edi[2] LOTOS standartining ISO bo'yicha ma'ruzachisi bo'lgan Ed Brinksma.

1993 yilda E-LOTOS ta'rifining dastlabki maqsadlari ISO / IEC JTC1 / N2802 e'lonida ko'rsatilgan.[3]

1997 yilda, tilning ta'rifi ISO qo'mitasi loyihasining etuklik darajasiga etganida, E-LOTOS-ning asosiy xususiyatlarini tavsiflovchi e'lon joylashtirildi.[4]

Quyidagi hujjat[5] E-LOTOS ta'rifi loyihasining muhim bosqichlarini eslaydi.

E-LOTOS avlod tillarini ilhomlantirdi,[6] ular orasida LOTOS NT[7] va LNT.[8]

Shuningdek qarang

Adabiyotlar

  1. ^ ISO / IEC xalqaro standarti 15437: 2001. Axborot texnologiyalari - LOTOS (E-LOTOS) jihozlari. Jeneva, 2001 yil sentyabr.
  2. ^ Ed Brinksma. Kengaytirilgan LOTOS dizayni bo'yicha - Ochiq tarqatilgan tizimlar uchun spetsifikatsiya tili, Doktorlik dissertatsiyasi, Tvente universiteti, 1988 yil noyabr.
  3. ^ ISO / IEC JTC1 / N2802, "LOTOS-ga qo'shimchalar" mavzusidagi yangi ish uchun taklif. 1993 yil 16 dekabr. ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. ^ Xuan Kemada. E-LOTOS tug'ilgan, 1997 yil 18-fevral ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. ^ Xuan Kemada. E-LOTOS yangi ishchi elementining tavsifi. 16 iyun 1998 yil ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. ^ Lotereyadan LNTgacha Gyubert Garvel, Frederik Lang va Vendelin Serve. Joost-Pieter Katoen, Rom Langerak va Arend Rensink, muharrirlari, ModelEd, TestEd, TrustEd - Ed Brinksmaning 60 yoshi munosabati bilan bag'ishlangan insholar, jild. 10500 kompyuter fanidan ma'ruza eslatmalari, 3-26 betlar, Springer International Publishing, 2017 yil oktyabr, doi 10.1007 / 978-3-319-68270-9_1
  7. ^ Mixaela Sighireanu (Alban Catry, David Champelovier, Hubert Garavel, Frederik Lang, Giyom Sheffer, Vendelin Serve va Yan Stoker tomonidan yangilangan). LOTOS NT foydalanuvchi qo'llanmasi (2.7 versiya). Texnik hisobot INRIA Rhône-Alpes / VASY, 2012 yil noyabr, 107 bet. Mavjud http://vasy.inria.fr/traian/manual.html
  8. ^ Devid Champelovier, Xaver Klerk, Xubert Garvel, Iv Gerte, Frederik Lang, Kristin Makkinti, Vinsent Povazniy, Vendelin Serve va Gideon Smeding. LNT ning LOTOS Translator-ga qo'llanmasi. Texnik hisobot INRIA Rhône-Alpes / CONVECS, 2015 yil, 125 bet. Mavjud http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

Tashqi havolalar