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 |
|
$59.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Object-Process Methodology
$54.99
Theory and Practice
$109.99
XIV International Scientific Conference INTERAGROMASH
$279.99
Verhaltenstherapeutisches Intensivtraining zur Reduktion von Aggression
$64.99
Sechzehnte sterreichische rztetagung Wien, Van-Swieten-Kongre
$79.99
Reformen jetzt!
$44.99
Elementary engineering fracture mechanics
$119.00
Asynchronous Sequential Machine Design and Analysis
$34.99
Nanoelectronic Circuit Design
$169.99
Statistics and Measurement Concepts with OpenStat
$54.99
Italien: Design 1945 bis heute
$44.99
Foreign Investment in Contemporary Russia
$84.99
Politik und wirtschaftlicher Wettbewerb in der Globalisierung
$74.99
Nervous Acts
$52.00
Konzernmanagement
$69.99
The MERge Model for Business Development
$54.99
Pathobiology of Cardiovascular Injury
$169.00
The Effect of Information Technology on Business and Marketing Intelligence Systems
$249.99
Advanced Light Alloys and Composites
$329.99
Space-Time Algebra
$129.99
Grundbegriffe der Literaturtheorie
$89.99
The Future of Health, Wellbeing and Physical Education
$39.99
Numerische Behandlung von Differentialgleichungen Band 2
$49.99
The Tiny Geniuses: Set the Stage!
$4.49
Smart Machining Systems
$199.99
Surfactants Applications Directory
$219.99
Transient Effects in Friction
$109.99
Membrane Transport
$54.99
The New Girl.and Me
$5.21
Health Services Planning
$84.99
Mass Spectrometry of Proteins and Peptides
$109.00
Epochenproblem "Vormrz" (18151848)
$29.99
Der Vater als Sozialfigur
$74.99
Natural Language Processing of Semitic Languages
$89.00
Hyperspectral Remote Sensing of Nearshore Water Quality
$54.99
Generalized Intuitionistic Multiplicative Fuzzy Calculus Theory and Applications
$109.99
Medical Images: Formation, Handling and Evaluation
$169.99
Human Trafficking: A Global Health Emergency
$99.99
Internationale Perspektiven Sozialer Arbeit
$39.99
The Interest Approach to Choice of Law
$54.99
