Bevezetés a strukturált programozásba

Szerző

Szerkesztő

Lektor

'Erki Irén: Bevezetés a strukturált programozásba ' összes példány

Kiadó:	Központi Statisztikai Hivatal Nemzetközi Számítástechnikai Oktató és Tájékoztató Központ
Kiadás helye:	Budapest
Kiadás éve:	1980
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	319 oldal
Sorozatcím:	Programozás-módszertani sorozat
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-7552-77-4
Megjegyzés:	Fekete-fehér ábrákkal illusztrálva.

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

Értesítőt kérek a sorozatról

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

Tartalom

Előszó	9
Bevezetés	11
Történelmi előzmények	11
A software-krízis tünetei	14
A hibajelenségek okai	15
Törekvések a software-krízis feloldására	18
Moduláris programozás	21
A moduláris programozás előnyei	22
Modultípusok	24
A modularitás mértéke	26
Modulok belső kötése (binding)	26
Modulok közötti kapcsolat (coupling)	30
A moduláris programtervezés	37
Szerkezeti ábra (struktúradiagram)	37
Modulok csatlakoztatása (interface)	44
A modulszerkezet kialakítása	47
Modulspecifikáció	59
Modulkönyvtár	60
Overlay szervezés	61
A tervezés "jóságának" mérése	66
A moduláris programok tesztelése és karbantartása	68
A modulok tesztelése	69
A program tesztelése	70
A moduláris programok karbantartása	71
A strukturált programozás fogalomköre	73
A strukturált programozás szemléletmódja	73
A strukturált programozás főbb áramlatai	74
A strukturált programozás kezdete	77
A strukturált programozás feladata, célkitűzései	78
A strukturál programozás eszközei	80
A strukturált program	83
Alapfogalmak	84
A feladat specifikációja	85
A specifikáció formális követelményei	86
A specifikáció fajtái	87
Formális specifikációs technikák	89
A programok megértésének eszközei	96
Az enumeráció	97
Az indukáció	98
Az absztrakció	99
Absztrakciós szintek	99
Az absztrakt gép	99
Az eljárás új fogalma	101
Absztrakciós szintek, absztrakt gépek hierarchiája	101
Domináns fogalom és döntés	102
Az absztrakciós szintek kölcsönös viszonya	102
Azonos szintű eljárások kölcsönös viszonya	103
A strukturált programok szintenkénti teljessége	103
Vezérlési szerkezetek	104
Vezérlési gráfok, blokkdiagramok	105
D gráfok	109
"Veszélyes" vezérlési gráfok	112
"Veszélyes" nyelvi konstrukciók	123
A programok megértésének technikai eszközei. "Színes" programozás	127
Check-list, a strukturáltság ellenőrzése	130
A strukturált programok dokumentálása	131
Programleírás formulákkal	131
Progamreprezentáció fastruktúrák segítségével	135
Az absztrakciós szintek dokumentumai	135
A HIPO rendszer	137
A Chapin-chart	143
A pszeudokód	151
A strukturált programok készítése	153
A lépésenkénti finomítás elve (stepwise refinement)	153
Példák a lépésenkénti finomításre	153
Döntési elvek	164
A proglémák felkutatása és rendezése	167
Peremfelvételek figyelembevétele	169
A programcsaládok	170
Absztrakciós stratégiák	175
A programobjektumok és a strukturálás szempontjai	175
Alapvető stratégiák	178
A szekvenciális stratégiák fajtái	179
A program helyességének bizonyítása	209
A helyességbizonyítás értelme és célja	209
A helyességbizonyítás problémái	210
A parciális programhelyesség igazolása	212
Hoare-féle axiómák és következtetési szabályok	216
A programbefejeződés bizonyítása	219
A totális helyesség bizonyítása	219
Automatikus programellenőrzés	220
A helyességbizonyítás nehézségei	220
Strukturált programok kivitelezése	221
Az alulról felfelé haladó módszer	222
A felülről lefelé haladó módszer	223
A felülről lefelé haladó programozás kötöttségei	227
Kifejtési tétel	228
A strukturált programok tesztelése	229
A programkészítés menetrendje	232
A strukturálatlan program átalakítása strukturálttá	234
A GOTO kiküszöbölése	234
A GOTO rehabilitása	247
Strukturált adatszerkezetek	255
Elemi adatszerkezetek és műveletek	255
Adatabsztrakció eljárásköltségek segítségével	260
Adatstruktúrák axiomatikus leírása	261
Az adatok megértésének eszközei	261
A típus fogalma	262
A típus definíciója	263
A típuson értelmezett műveletek	263
Strukturálatlan (elemi) adattípusok	263
Strukturált (összetett) adattípusok	265
Az axiomatikus leírás nehézségei	266
A strukturált programozás szervezeti keretei	267
Hagyományos szervezési elvek	267
Vezető programozói csoport (Chief Programmer Team)	268
A vezető programozói csoport működésének alapelvei	269
A vezető programozói csoport szervezeti felépítése	269
A vezető programozói csoport szerepköreinek ismertetése	270
A vezető programozói csoport információs rendszere	272
Programozás a vezető programozói csoportban	276
Strukturált software-környezet	279
A strukturált környezet rendszerfeltételei	280
Működő strukturált rendszerek	282
PEARL	282
TOPD	286
CAPES	286
COLUMBUS	289
Egyéb rendszerek	290
Függelék	293
Irodalom	297
Tárgymutató	311

Témakörök

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