-
Ruský jazyk
Specializirowannye modeli dlq razrabotki informacionnyh sistem
Autor: Arslan Enikeew
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... Viac o knihe
Na objednávku
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783845440453
Nemecký jazyk 
Anglický jazyk 
