Suoritettavan spesifiointikielen kääntäjä
Näytä kaikki kuvailutiedot
Tiedostot
|
Tähän julkaisuun ei ole liitetty tiedostoja.
|
|
URN:
|
http://URN.fi/URN:NBN:fi:tty-200907103693
|
|
Nimeke:
|
Suoritettavan spesifiointikielen kääntäjä |
|
Tekijä:
|
Eerola, Olavi |
|
Julkaisun tyyppi:
|
Diplomityö |
|
Julkaisuaika:
|
1990 |
|
Yliopisto:
|
Tampereen teknillinen korkeakoulu |
|
Tiedekunta:
|
Sähkötekniikan osasto |
|
Laitos:
|
Ohjelmistotekniikan laitos |
|
Tiivistelmä:
|
Ohjelmistojen määrittelyn ja suunnittelun hallitseminen on tullut yhä tärkeämmäksi. Tähän ovat johtaneet ohjelmistojen koon kasvu ja järjestelmille asetetut suuremmat luotettavuusvaatimukset. DisCo-projektin tavoitteena on tutkia määrittelyä ja suunnittelua reaktiivisten rinnakkaisjärjestelmien kannalta ja kehittää animointiympäristö, jossa määrittelyitä voidaan testata. DisCo-ympäristöön liittyy kääntäjä, joka on tämän tutkielman aiheena. Työn tuloksena syntyi kääntäjä, jolla DisCo-kieliset ohjelmat käännetään Lispiksi tulkille sopivaan muotoon. Kääntäjän teosta saatujen kokemusten perusteella Lisp soveltuu hyvin tällaisiin ohjelmointiprojekteihin. Tässä työssä on aluksi suppea johdanto DisCo-projektissa käsiteltyyn teoriaan ja muihin määrittelykieliin. Työn varsinainen tarkoitus on kuvata kääntäjän rakenne ja toiminta. /Kir10 |
Viite kuuluu kokoelmiin:
Näytä kaikki kuvailutiedot