Software Engineering: Specification, Implementation, Verification
Softcover reprint of the original 1st ed. 2017
by
Suad Alagic
Book Details
Format
Paperback / Softback
ISBN-10
3319870998
ISBN-13
9783319870991
Edition
Softcover reprint of the original 1st ed. 2017
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 18th, 2018
Print length
178 Pages
Product Classification:
CompilersCompilers and interpretersSoftware EngineeringMathematical theory of computation
Ksh 10,800.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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
Get Software Engineering: Specification, Implementation, Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
