Specializirowannye modeli dlq razrabotki informacionnyh sistem

Ruský jazyk

Specializirowannye modeli dlq razrabotki informacionnyh sistem

Vydavateľstvo: LAP LAMBERT Academic Publishing
Rok vydania: 2011
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Ruský jazyk
ISBN: 9783845440453

Na objednávku, dodanie 2-4 týždne

45.36 €

bežná cena: 50.40 €

O knihe

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.