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.