A beállítást mentettük, naponta értesítjük a beérkező friss kiadványokról
A beállítást mentettük, naponta értesítjük a beérkező friss kiadványokról
Előszó
Részlet a könyvből:
A jegyzet a szerzők által az Eötvös Loránd Tudományegyetem programtervező matematikus szakán a „Programozási módszertan elmélete" című tantárgyból tartott előadásoknak és...
Tovább
Előszó
Részlet a könyvből:
A jegyzet a szerzők által az Eötvös Loránd Tudományegyetem programtervező matematikus szakán a „Programozási módszertan elmélete" című tantárgyból tartott előadásoknak és részben a hozzá kapcsolódó gyakorlatoknak az anyagát öleli fel. A központi témák az objektumelvű programozás elméleti és gyakorlati problémái. Az objektumelvű programozás az absztrakció új eszköze a tervezésben és a programozásban is. Az objektumelvű programozás előzményei a programozás történetében és a programozási nyelvek fejlődéstörténetében is megtalálhatók. Az objektumelvűséggel kapcsolatban több kérdés megfogalmazható. Az első és legfontosabb kérdés: mi az objektumelvűség? Felvethető továbbá az is, hogy az objektumelvű programozás vajon a programozás és a szoftverfejlesztés egy jelentős új eleme-e? E második kérdésre válaszunk lényege, hogy az objektumelvű programozás fontos új elem a szoftverfejlesztésben. Az első kérdésre válaszunk az, hogy az objektumelvűség a programok tervezésének módszertanát jelenti és nem egyszerűen az algoritmusok és adatstruktúrák kifejlesztését.
Az objektumelvű programozás központi fogalmai az objektum és a tudásmegosztás. Alapvetően a programszervezésről és nem csupán a programozásról szól. Az objektumok tulajdonképpen absztrakciók, amelyek a valós világ entitásait, egyedeit modellezik. Működésüket tekintve az objektumok a kiszámítást vezérlik, ellenőrzik. A programfejlesztés szempontjából azonban az objektumok legfontosabb tulajdonsága az, hogy egy objektum viselkedését a külső felületének absztrakciójaként írhatjuk le. Az objektum elvű tervezéskor elegendő az objektum külső felületének ismerete, nem kell foglalkoznunk a megvalósítás belső részleteivel, amelyek a szoftverfejlesztés későbbi fázisában válnak részünkre fontossá. A tudásmegosztás első közelítésben az inkrementális programfejlesztést jelenti. A tudás- megosztás egy lehetséges módja az öröklődés, amely az objektumok osztályai közötti kapcsolatokat specifikálja.
Vissza
Tartalom
1. BEVEZETÉS 3
2. PROGRAMFEJLESZTÉSI MODELLEK 5
2.1. Egyszerű programfejlesztési modell 5
2.2. Programfejlesztési modell specifikációval 5
2.3. Az objektumelvű programfejlesztési modell 7
2.3.1 Az absztrakció formái 7
2.3.2 A specifikáció szerinti absztrakció formái 8
2.3.3 Absztrakt adattípus 9
3. ABSZTRAKT ADATTÍPUS EGY MATEMATIKAI MODELLJE. (UNIVERZÁLIS ALGEBRA ÉS ABSZTRAKT ADATTÍPUS) 11
3.1. Univerzális homogén algebra 13
3.2. Univerzális heterogén algebra 18
3.3. A Z-algebrák közötti homomorfizmus 23
3.4. Szignatúra morfizmus 26
3.5. Specifikáció morfizmus 33
4. ADATTÍPUS EGY KOMPLEX LEÍRÁSA, A TÍPUSOSZTÁLY 33
4.1. példák típusosztályok specifikációjára 33
4.1.1 A halmaz típusosztálya 33
4.1.2 A kupac típusosztálya 34
5. AZ OSZTÁLY MORFIZMUS DIAGRAMJÁNAK ELEMZÉSE 39
5.1. az absztrakt specifikáció elemzése 39
5.1.1 Bizonyítási módszerek 39
5.1.2 A bizonyítási módszerek használata 40
5.2. A megvalósítás helyességének bizonyítása 44
5.2.1 Kettős specifikációval kapcsolatos alapfogalmak 44
5.3. A konkrét specifikáció elemzése 55
5.3.1 A reprezentáció elemzése 55
5.3.2 Az implementáció elemzése 55
5.3.3 Az implementáció elemzése példák keretében 57
5.3.4 A szimuláció és a szemantika egyenlőségének ekvivalenciája 60
6. PROGRAMOK HELYESSÉGÉNEK BIZONYÍTÁSA 1 67
6.1. Parciális helyesség bizonyítása (Floyd módszer) 67
6.2. A teljes helyesség bizonyítása (Floyd módszer) 68
6.3. Hoare módszer 70
6.4. A Hoare módszer következtetési szabályai helyesek 75
6.5 A Floyd-Hoare módszer teljességi tétele 76
7. EGY ÖSSZETETT FELADAT 81
8. TÍPUSÖRÖKLŐDÉS 87
8.1 Újrafelhasználással történő öröklődés a specifikáció szintjén 87
8.2. Specializációval történő típusöröklődés a specifikáció szintjén 87
9. IRODALOM 91
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.
Google, Facebook, Apple, Microsoft fiókkal való belépés/regisztráció eseténautomatikusan elfogadja az Általános Szerződési Feltételeket.
Elfelejtett jelszó
Kérjük, adja meg azonosítóját, és a hozzá tartozó email címet, hogy jelszavát elküldhessük Önnek!
A *-gal jelölt mezők kitöltése kötelező!
Azonosító név/E-mail cím* Azonosító és e-mail cím megegyező
E-mail cím*
(2009 március óta a regisztrált ügyfelek azonosító neve megegyezik az email címmel)
Ha az azonosítóját sem tudja megadni, kérjük, hívja az ügyfélszolgálati vonalat:
+36-62-452-833
1
2
3
Regisztráció
Regisztráció
Regisztrációja sikeresen megtörtént.
Megadott e-mail címére megerősítő e-mailt küldtünk. Ahhoz, hogy a regisztrációja véglegesedjen, és le tudja adni rendeléseit, kérjük, kattintson a levélben található linkre. A megerősítő link a kiküldéstől számított 48 óráig érvényes, ezután a regisztrációs adatok törlésre kerülnek.
Kérjük, jelölje meg az érdeklődési körébe tartozó témaköröket!
Regisztráció
Az ön által megjelölt témakörök:
Temakor_1
Beállíthatja, hogy emailben értesítőt kapjon az újonnan beérkezett példányokról a bejelölt témaköröknek megfelelően.
Beállított értesítőit belépés után bármikor módosíthatja az Értesítő menüpont alatt:
létrehozhat új témaköri értesítőt
inaktiválhatja értesítőjét, ha éppen nem kíván a megadott témában értesítőt kapni
törölheti véglegesen az adott értesítőjét
szerkesztheti jelenlegi értesítőjét, ha még részletesebben szeretné megadni mi érdekli.
Az Ön választása alapján naponta vagy 3 naponta kap tőlünk emailt a beállított értesítőjéről.
Folytatás Microsoft-tal