Lépésenkénti finomítás, és a fogalom a pszeudo - élet-prog

A fő módszer a szöveg modul modern programozási technika javasolja egy lépésről lépésre részletesen. A lényege ennek a módszernek, hogy osztja a folyamat kialakulásának a szöveg modul egy sor lépést. a földön
lépésben leírt szöveges formában előrelátható teljes lineáris üzemi kör modul (azaz, fogalmak segítségével nagyon nagy), és ez a leírás nem teljesen formalizált, és középpontjában annak megítélése a személy. Minden következő lépés készült finomítás és részletesen az egyik a fogalmakat (nevezzük ezt tisztázza) használható (mint általában, nem formális), amelyben a leírás kifejlesztett egyik korábbi lépéseket. Ennek eredményeként egy ilyen lépés létrejön leírás egyértelművé teszi a kiválasztott fogalmakat vagy szempontjából alapvető programozási nyelv (azaz kiválasztott prezentáció modul), vagy ugyanabban a formában, mint, hogy az első lépésben finomítjuk az új fogalmak. A folyamat teljes, ha minden fogalmának tisztázására kerül kifejezésre végső soron az alapvető programozási nyelv. Az utolsó lépés az, hogy megkapjuk a szöveget a modul az alap programozási nyelv helyett minden előfordulását fogalmának tisztázását adott azok leírását és a kifejezés az összes előfordulását strukturált programozási szerkezeteket ennek révén programozási nyelv.

Lépésenkénti finomítás használatával kapcsolatos részben formális nyelv képviselő ezek a leírások, az úgynevezett pszeudo. Ez a nyelv lehetővé teszi, hogy az összes strukturált programozási szerkezeteket, hogy készülnek, hogy hivatalossá informális töredékei természetes nyelv, hogy képviselje az általános piaci feltételeket. Generalizált szolgáltatók és feltételeket lehet beállítani, és a megfelelő fragmentumokat egy alap programozási nyelv.

Head leírt pszeudokódját lehet tekinteni, mint a külső design a modul az alap programozási nyelv, amely
kell tartalmaznia:

• egység kezdve az alapvető nyelvi, azaz első mondat vagy főcím (jellemzést) modul;
• szakasz (egy sor) a leírások az alapnyelv, és ahelyett, hogy az eljárások leírásával és funkciók - csak a külső megjelenés;
• informális jelölést test operátor szekvencia modul, mint egy generikus operátor (lásd alább.), és az informális jelölést test operátor-szekvencia egyes leíró eljárás vagy függvény, mint egy általános nyilatkozatot;
• utolsó mondat (vége) A modul a bázis nyelvet.

követve:
obobschennyy_operator
obobschennyy_operator
elágazás:
IF feltétel THEN
obobschennyy_operator
EGYÉBKÉNT
obobschennyy_operator
Ha az összes
ismétlés:
While feltétel DO
obobschennyy_operator
Minden Van

Ábra. 8.2. Alapvető tervezési strukturált programozás pszeudokód.

Ki az ismétlés (ciklus)
EXIT
Ki eljárások (függvények):
VISSZA
Az átmenet a kivételkezelés:
INTÉZET exception_name

Ábra. 8.3 Különleges esetekben az átmeneti üzemeltető generalizált nyilatkozatot.

Ennek általános nyilatkozatot pszeudokódokra használhat speciális esetekben a fenti átmeneti operátor (lásd. Ábra. 8.3). A szekvencia kivétel rakodók (kivétel) adják végén a modulra, vagy eljárás leírása (funkció). Mindegyik processzor formájában:

KIZÁRÁS exception_name
obobschennyy_operator
Minden kivételek

Ellentétben kivétel kezelő a eljárás paraméterek nélkül a következő: az eljárás után a vezérlés visszakerül a nyilatkozatot követően az érintkeztetés hozzá, és elvégzése után a kizárási a vezérlés visszakerül a nyilatkozatot követően a hivatkozás a modul vagy eljárás (funkció), amelynek vége ( a) fel ez a kivétel.

Azt javasolta, minden részletében lépést létrehozni elég értelmes leírást, de könnyen belátható (vizuális), úgy, hogy volt található egy oldal szöveg. Mint általában, ez azt jelenti, hogy egy ilyen leírás, hogy egy készítmény, öt-hat strukturált programozási szerkezeteket. Ajánlott továbbá, egymásba ágyazott szerkezeteket elrendezve egy jobbratolódást több pozícióban. Az eredmény egy munkaköri leírás az egyértelműség, a logika meglehetősen versenyképes Blokkdiagramok, de jelentős előnye van - tárolva lineáris leírást.

REMOVING rekordok a fájlt, mielőtt az első,
Megfelel a megadott szűrők:
Állítsa be a fájl elején.
VÉGÉIG FILE TO DO
Beolvassa a következô rekordot.
Ha egy másik RECORD TALÁLKOZZ
szűrő
EXIT
EGYÉBKÉNT
Törölje a következő bejegyzést a fájlt.
Ha az összes
Minden Van
Ha a nyilvántartások nem távolítjuk el, HOGY
Type „bejegyzések nem távolítható el.”
EGYÉBKÉNT
Típus „N rekord törölve”.
Ha az összes

Ábra. Egy példa az egy lépésben pszeudokód részletesen.

Az az elképzelés, inkrementális részletesség néha jóvá Dijkstra. Azonban Dijkstra javasolt radikálisan eltérő építési módszerének modul szövegének, hogy úgy tűnik, hogy nekünk egy mélyebb és ígéretes. Először is, együtt a leírásban azt javasolta szereplők fokozatosan (lépésről lépésre) Bővített (finomítani) és használt adatszerkezeteket. Másodszor, minden lépésben azt javasolta, hogy hozzon létre egy virtuális gép néhány részlet, mind a termék részleteit tisztázza a fogalmakat, melyek a gép meg tudja csinálni. Így Dijkstra javasolt lényegében részletesen vízszintes rétegek, amely áthelyezésével ötlet réteges rendszerek fejlettsége a modul. Ez a módszer a modulok fejlesztése jelenleg támogatja csomagok ADA nyelv és olyan tárgy orientált programozás.