A programozási módszertan elmélete I.

Kézirat/Eötvös Loránd Tudományegyetem Természettudományi Kar

Szerző

Budapest

'Varga László: A programozási módszertan elmélete I. ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1989
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	183 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	Megjelent 288 példányban, 75 fekete-fehér ábrával illusztrálva. Kézirat. Tankönyvi szám: J 3-1337.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Előszó

A programozási módszertannal kapcsolatos kutatások az 1960-as évek vége felé bontakoztak ki. Ezt a munkát az un. szoftver krízis jelenségének a felismerése indította el útjára.
A szoftver krízis mint elnevezés az NSZK-beli Garnischban 1968-ban Software Engineering néven megrendezett nemzetközi konferencián jelent meg először a következő jelenség elnevezéseként: A számítógépek teljesítményének rohamos növekedéséhez képest egyre jobban elmarad a programkészítés hatékonyságának a növekedése.
A számítógépek generációi a 60-as évektől kezdve roham léptekkel követték egymást és a fejlődésnek ez az üteme napjainkban sem mérséklődött. Az egyre nagyobb teljesítményű számítógép-rendszerek megjelenése eddig kezelhetetlennek bizonyult problémák megoldását teszi lehetővé. Az egyre olcsóbban hozzáférhető számítástechnikai eszközök pedig fokozatosan szélesítik ki a számítástechnika alkalmazásának határait. A felmerülő programozási igények növekedésével nem tud lépést tartani a programkészítési munka termelékenysége. De nemcsak a termelékenységgel van baj!
A műszaki alkotásoknál ma már előre elég pontosan meg lehet határozni a műszaki alkotás előállításához szükséges időt és más erőforrásokat, az elkészülő termék minőségét valamint üzemeltetési költségeit. A programtermék esetében általában nem ez a helyzet. Egy nagyobb programrendszer gyakran nem készül el az előre megállapított határidőre, az elkészült programok nem megbízhatóak és azok üzemeltetése, karbantartása költségesebbnek bizonyul az előre meghatározottnál.
Példaként számos nagy programrendszerre lehetne hivatkozni. Közöttük egyik sokat emlegetett példa az IBM OS operációs rendszere, amelynek kibocsátása éveket késett és üzembe állítása után még évekig tartott a hibák javítása.
A programtermékek megbízhatatlansága gyakran kritikus helyzeteket teremt. Az első ember holdraszállása után napokig rettegett a világ, hogy vajon sikerül-e a visszatérés a jelentkező műszaki hiba miatt.
A visszatérés szerencsére sikerült, mert még idejében sikerült korrigálni azt a szoftver hibát, amely a zavart okozta.
Mi a gyökere e roppant nagy különbségnek amely a programtermékek előállítása és más műszaki alkotások létrehozása között jelentkezik? Lehet itt arra hivatkozni, hogy a programkészítés tudománya nagyon fiatal tudomány, amely csupán néhány évtizedes múltra tekinthet vissza. Vissza

Tartalom

1. Bevezetés 3
2. A programok szerkezetének analízise 5
2.1. A program matematikai fogalma 6
2.2. A programgráf 10
2.3. A strukturált programozás alaptétele 15
2.4. A nem strukturáltság jellemzői 44
3. Program komplexitás 51
3.1. A programkomplexitás fogalma és mértéke 53
3.2. A ciklikus bonyolultsági szám 58
3.3. A programon átvezető utak kereszteződése száma 70
3.4. A programgráf átvágásához szükséges metszések számának maximuma 74
3.5. A moduláris programrendszer komplexitásának becslése 76
3.6. A programfüggvény komplexitásának becslése 78
4. A program fogalmának általánosításai 80
5. Adatszerkezetek analízise 91
5.1. Az elemi adat és az adatszerkezet absztrakt fogalma 91
5.2. Adatszerkezetek szemantikája 101
5.3. Adatszerkezetek tulajdonságainak elemzése IO4
5.4. Az indexelt objektumtípus analízise 108
5.5. Szekvenciális objektumtípus 125
5.6. Láncolt objektumtípus 130
6. A programok tulajdonságainak empirikus vizsgálata 139
6.1. A programok statikus és dinamikus analízise 139
6.2. A programok kipróbálásának stratégiái 141
6.3. A próbaadatok előállítása 144
6.4. Összefoglalás és értékelés 155
7. Feladatok 157
Függelék 161

Témakörök

Varga László

Varga László műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Varga László könyvek, művek

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem