Arslan Enikeew, Tahar Benduma

Specializirowannye modeli dlq razrabotki informacionnyh sistem

Formalizowannaq model' na osnowe kombinacii sredstw UML i CSP-OZ

• Broschiertes Buch

Produktbeschreibung

Odnim iz wazhnyh faktorow razrabotki sowremennogo programmnogo obespecheniq qwlqetsq formalizowannyj podhod, obespechiwaüschij strogoe i odnoznachnoe opisanie sozdawaemogo programmnogo produkta. Nailuchshij äffekt primeneniq formalizowannyh sredstw dostigaetsq w sluchae ih adekwatnogo ispol'zowaniq na wseh neobhodimyh ätapah razrabotki, nachinaq ot postanowki zadachi do ätapa neposredstwennoj realizacii i wnedreniq programmnogo produkta. Takoj podhod obespechiwaet wozmozhnost' kompaktnogo opisaniq i prinqtiq obosnowannyh reshenij po metodam realizacii. Osnowu formalizowannogo podhoda sostawlqet postroenie formal'noj modeli, s pomosch'ü kotoroj obespechiwaetsq ne tol'ko opisanie sootwetstwuüschih komponent programmnogo produkta na wseh ätapah zhiznennogo cikla programmnogo obespecheniq, no i prowedenie predwaritel'nyh issledowanij po wyboru adekwatnyh metodow razrabotki i realizacii. V rabote predlagaetsq odin iz podhodow k postroeniü specializirowannoj ob#ektno-orientirowannoj modeli dlq sozdaniq informacionnyh sistem na osnowe soedineniq sredstw opisaniq diagramm UML s formal'nym apparatom teorii CSP-OZ.Predlagaemyj podhod demonstriruetsq na primere sistemy uprawleniq i rezerwirowaniq awiabiletow.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 104
• Erscheinungstermin: 8. September 2011
• Russisch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 173g
• ISBN-13: 9783845440453
• ISBN-10: 3845440457
• Artikelnr.: 62705739

Autorenporträt

Enikeew Arslan Il'qsowich,1947g.rozhdeniq,docent Kazanskogo federal'nogo uniw..Zaschitil kandidatskuü dissertaciü w 1978g.w IK AN USSR.S 1982 po 1983gg stazhirowalsq w Oxfordskom uniwersitete Velikobritanii. Benduma Tahar,1982 goda rozhdeniq, w 2010 godu zaschitil kandidatskuü dissertaciü w Kazanskom federal'nom uniwersitete.