EAN: 9783319615172

SOFTWARE ENGINEERING SPECIFICATION IMPLEMENTATI...

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 developmentFollows
recent developments in software technologiesTechnical coverage of data management issues and
software verificationIllustrated throughout to present analysis  specification  implementation
and verification of multiple applicationsIncludes end-of-chapter exercises and Instructor
Presentation Slides

Aktuelle Preise zur EAN 9783319615172

Produktinformationen zur 9783319615172