Bővebb ismertető
7ELŐSZÓNapjainkban egyre inkább előtérbe kerül az információ kezelésének, feldolgozásának témája. Nagy anyagi és szellemi erőket forditanak számitógépes információfeldolgozó rendszerek létrehozására.Ezeknek a rendszereknek a tervezése és létrehozása rendkivül bonyolult, sok hibalehetőséget rejtő folyamat. Észszerűnek látszik tehát a számitógép segitségét a tervezésnél is igénybe venni. Ilyen meggondolással hozta létre az Information Systems Design and Optimization System project a michigani egyetemen /Ánn Arbor/ a PSL/PSA rendszert, amely a logikai rendszertervezés első általános célú számitógépes segédeszköze. Jelen tanulmány témája ez a rendszer.Az első fejezet a rendszertervezés általános problémáival és módszereivel, a második a PSL nyelvvel, a harmadik a PSA software rendszerrel, az utolsó pedig a rendszernek az MTA SZTAKI CDC 3300-as gépére történt implementálásával foglalkozik.A tanulmány - annak ellenére, hogy igyekeztünk a felhasználó szempontjait figyelembe venni - nem felhasználói kézikönyv. Célja, hogy segítségével az olvasó általános áttekintést nyerjen a rendszerről.