Software Engineering: Specification, Implementation, Verification
Autor: Alagic, Suad
Disponibilitate: LIVRARE IN 3-5 saptamani (produsul este livrat din Marea Britanie)
SKU:
9783319870991?>
364.99 RON
Okian.ro este o LIBRARIE online de carte in limba engleza.
CITESTE MAI MULT
Detalii
Descriere RO
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.
Aceasta carte adopta o abordare formala a predarii ingineriei software, utilizand nu numai UML, ci si Object Constraint Language (OCL) pentru specificarea si analiza modelelor proiectate. Folosind detalii tehnice care lipsesc de obicei din manualele existente despre inginerie software, autorul arata cat de precise sunt specificatiile care duc la verificarea statica a sistemelor software.