Książka Software Engineering: Specification, Implementation, Verification Suad Alagic

Software Engineering: Specification, Implementation, Verification

Autor: Suad Alagic
Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-13 dni
290.21
This textbook takes a formal approach to teaching software engineering, using not only UML, but also...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2017
strony
178
EAN
9783319615172
ISBN
3319615173
Enbook ID
16380746
Waga
490
Wymiary
243 x 163 x 18

Pełny opis

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.

Możesz być zainteresowany

Erasmus

Robert B. Drummond
113.80
87.03
27.35
103.97
31.44

Decentralized Globalization

Dr Olga Magdalena Lazin
169.29

Labor Day

Joseph Farley
103.19
215.34

Colour the Bible Book 5

MacKenzie Carine
17.71

Social Studies

Jane Francesca Wilde
175.33
423.49

Klienci, którzy kupili tę książkę, kupili również

219.34

Ragna Crimson. Tom 7

Daiki Kobayashi
33.09

Hamnaren

Diverse
13.04
103.87
35.82

Secreto del Bamb

Ismael Cala
57.24

Ilmiosam

Germana Charlie
38.35