Description: Software Engineering: Specification, Implementation, Verification Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Author(s): Suad Alagic Format: Hardback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319615172, 978-3319615172 Synopsis 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
Price: 47.73 GBP
Location: Aldershot
End Time: 2025-01-27T17:01:26.000Z
Shipping Cost: 25.07 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Software Engineering: Specification, Implementation, Verification
Number of Pages: 178 Pages
Publication Name: Software Engineering: Specification, Implementation, Verification
Language: English
Publisher: Springer International Publishing A&G
Item Height: 235 mm
Subject: Computer Science
Publication Year: 2017
Type: Textbook
Item Weight: 4203 g
Author: Suad Alagic
Item Width: 155 mm
Format: Hardcover
