Kniha Software Engineering: Specification, Implementation, Verification Suad Alagic

Software Engineering: Specification, Implementation, Verification

Autor: Suad Alagic
Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
1 566
This textbook takes a formal approach to teaching software engineering, using not only UML, but also...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2017
Stránek
178
EAN
9783319615172
ISBN
3319615173
Enbook ID
16380746
Hmotnost
490
Rozměry
243 x 163 x 18

Kompletní popis

This textbook 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.

Mohlo by vás zajímat

Erasmus

Robert B. Drummond
611
439
135
557
171

Decentralized Globalization

Dr Olga Magdalena Lazin
922

Labor Day

Joseph Farley
560
1 171

Colour the Bible Book 5

MacKenzie Carine
90

Social Studies

Jane Francesca Wilde
1 001
2 286

Zákaznicí kteří koupili tuto knihu koupili také

1 189

Ragna Crimson. Tom 7

Daiki Kobayashi
210

Hamnaren

Diverse
75
593
181

Secreto del Bamb

Ismael Cala
308

Ilmiosam

Germana Charlie
209