Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification

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 pre...

Full description

Bibliographic Details
Main Author: Alagić, Suad (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Subjects:
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computers.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items