Spetsializirovannye modeli dlya razrabotki informatsionnykh sistem

Author: Arslan Enikeev
Edition:
Publisher: LAP LAMBERT Academic Publishing
Binding: Paperback
ISBN: 3845440457
Category: Programming
List Price: $ 66.00
Price: $ 66.00
You Save: 0%

Spetsializirovannye modeli dlya razrabotki informatsionnykh sistem: Formalizovannaya model' na osnove kombinatsii sredstv UML i CSP-OZ (Russian Edition)

Odnim iz vazhnykh faktorov razrabotki sovremennogo programmnogo obespecheniya yavlyaetsya formalizovannyy podkhod, obespechivayushchiy strogoe i odnoznachnoe opisanie sozdavaemogo programmnogo produkta. Programming books Spetsializirovannye modeli dlya razrabotki informatsionnykh sistem pdf. Nailuchshiy effekt primeneniya formalizovannykh sredstv dostigaetsya v sluchae ikh adekvatnogo ispol'zovaniya na vsekh neobkhodimykh etapakh razrabotki, nachinaya ot postanovki zadachi do etapa neposredstvennoy realizatsii i vnedreniya programmnogo produkta. Takoy podkhod obespechivaet vozmozhnost' kompaktnogo opisaniya i prinyatiya obosnovannykh resheniy po metodam realizatsii. Osnovu formalizovannogo podkhoda sostavlyaet postroenie formal'noy modeli, s pomoshch'yu kotoroy obespechivaetsya ne tol'ko opisanie sootvetstvuyushchikh komponent programmnogo produkta na vsekh etapakh zhiznennogo tsikla programmnogo obespecheniya, no i provedenie predvaritel'nykh issledovaniy po vyboru adekvatnykh metodov razrabotki i realizatsii. V rabote predlagaetsya odin iz podkhodov k postroeniyu spetsializirovannoy ob"ektno-orientirovannoy modeli dlya sozdaniya informatsionnykh sistem na osnove soedineniya sredstv opisaniya diagramm UML s formal'nym apparatom teorii CSP-OZ. Download books pdf via mediafire, 4shared, rapidshare.

Download Spetsializirovannye modeli dlya razrabotki informatsionnykh sistem

Nailuchshiy effekt primeneniya formalizovannykh sredstv dostigaetsya v sluchae ikh adekvatnogo ispol'zovaniya na vsekh neobkhodimykh etapakh razrabotki, nachinaya ot postanovki zadachi do etapa neposredstvennoy realizatsii i vnedreniya programmnogo produkta. Takoy podkhod obespechivaet vozmozhnost' kompaktnogo opisaniya i prinyatiya obosnovannykh resheniy po metodam realizatsii. Osnovu formalizovannogo podkhoda sostavlyaet postroenie formal'noy modeli, s pomoshch'yu kotoroy obespechivaetsya ne tol'ko opisanie sootvetstvuyushchikh komponent programmnogo produkta na vsekh etapakh zhiznennogo tsikla programmnogo obespecheniya, no i provedenie predvaritel'nykh issledovaniy po vyboru adekvatnykh metodov razrabotki i realizatsii. V rabote predlagaetsya odin iz podkhodov k postroeniyu spetsializirovannoy ob"ektno-orientirovannoy modeli dlya sozdaniya informatsionnykh sistem na osnove soedineniya sredstv opisaniya diagramm UML s formal'nym apparatom teorii CSP-OZ.Predlagaemyy podkhod demonstriruetsya na primere sistemy upravleniya i rezervirovaniya aviabiletov. Download free Spetsializirovannye modeli dlya razrabotki informatsionnykh sistem: Formalizovannaya model' na osnove kombinatsii sredstv UML i CSP-OZ (Russian Edition) pdf