|
URN:
|
http://URN.fi/URN:NBN:fi:tty-200907103693
|
|
Title:
|
Suoritettavan spesifiointikielen kääntäjä |
|
Author:
|
Eerola, Olavi |
|
Publication type:
|
Diplomityö |
|
Issue date:
|
1990 |
|
University:
|
Tampereen teknillinen korkeakoulu |
|
Faculty:
|
Sähkötekniikan osasto |
|
Department:
|
Ohjelmistotekniikan laitos |
|
Abstract:
|
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 |