Specializirowannye modeli dlq razrabotki informacionnyh sistem

Specializirowannye modeli dlq razrabotki informacionnyh sistem

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

Versandkostenfrei!
Versandfertig in 1-2 Wochen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
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 sosta...