Copied 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 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 Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
$54.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
RWBY YA Novel #3
$9.74
Kennedy, Macmillan and the Cold War
$84.99
Intestinal Failure
$169.99
Memory Matters in Transitional Peru
$39.99
Baulogistikplanung
$17.99
The Art & Science of Learning Design
$49.99
Hartlten mit Silberloten
$84.99
Vernetzte Praxen auf dem Weg zu managed care?
$44.99
Children in Street Situations
$39.99
China Business 2.0
$54.99
Reading Karl Barth, Interrupting Moral Technique, Transforming Biomedical Ethics
$109.99
Gangliosides
$169.99
Elektrotechnik und Elektronik fr Informatiker
$74.99
Top im Job - Wie Sie leben, arbeiten und Ihr Potenzial entfalten
$19.99
Fhrung von Distributionsnetzwerken
$59.99
Blue Rider
$6.71
Nonlinear Integer Programming
$119.00
Scattering Analysis of Periodic Structures using Finite-Difference Time-Domain Method
$37.99
Cheese: Chemistry, Physics and Microbiology
$99.99
Integrative Ernhrung
$29.99
Konstruktion verfahrenstechnischer Maschinen
$59.99
Telomerases, Telomeres and Cancer
$219.99
Wetlands of the World I: Inventory, Ecology and Management
$329.99
Diagnose Multiple Sklerose
$29.99
Global Finance at Risk
$109.99
Auf den Punkt: Prsentationen pyramidal strukturieren
$39.99
The Genus Aspergillus
$219.99
Bollywood Shakespeares
$109.99
Umweltpolitik zwischen Reparatur und Vorbeugung
$59.99
Computational Methods for Optimal Design and Control
$109.99
From Classical to Modern Probability
$39.99
Invariants of Behavior
$129.00
Coups from Below
$39.99
Delegation von Preiskompetenz an den Verkaufsauendienst
$69.99
Lunar Exploration
$44.99
Betraying Our Selves
$84.99
Collaborative Innovation Mechanism of GBA in China
$99.99
Modernisierung und Folgelasten
$39.99
Grundlagenwissen fr erfolgreiche Verhandler
$29.99
Plant Conservation in the Mediterranean Area
$219.99
