Software Engineering: Specification, Implementation, Verification

Autor: Suad Alagic

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

68.56 €

This book takes a formal approach to teaching software engineering, using not only UML, but also Obj...

Informácie o knihe

Autor

Suad Alagic

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2018

Stránok

178

EAN

9783319870991

Enbook ID

21375313

Vydavateľ

Springer International Publishing AG

Hmotnosť

308

Rozmery

155 x 235 x 11

Kompletný popis

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering: Specification, Implementation, Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež