Error title
Some error text about your books and stuff.
Close

Software Blueprints Lightweight Uses of Logic in Conceptual Modelling

by David Robertson

  • ISBN: 9780201398199
  • ISBN10: 0201398192

Software Blueprints Lightweight Uses of Logic in Conceptual Modelling

by David Robertson

  • List Price: $52.99
  • Binding: Hardcover
  • Edition: 1
  • Publisher: Addison-Wesley
  • Publish date: 08/01/1999
  • ISBN: 9780201398199
  • ISBN10: 0201398192
used Add to Cart $9.07
You save: 83%
Marketplace Item
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Description: This book bridges the gap between academic "formal methods" and real-world software development. It demonstrates the strategic use of logic in software design, helping you achieve the benefits of formal methods without dramatically changing the way your developers work. Everyone who builds complex information systems uses conceptual software models, but most software designers have only an informal, parochial understanding of the logic beneath these models. This book introduces "lightweight" uses of applied logic that add welcome precision to software design, without compromising your ability to interpret the models you create. Robertson and Agusti introduce and use key concepts of predicate logic and automation of inference. Based on these concepts, they introduce the use of formal models in lifecycles; techniques for communicating formal theories; the reuse of design paradigms; and more. Unlike most books on "formal methods, " they focus extensively on pragmatic considerations, showing how logic can be used to extend (not replace) the modeling methods you already use.
Expand description
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: HPB-Red
Location: Carrollton, TX
Condition: Good
Shipping Icon
Connecting readers with great books since 1972. Used books may not include
[...]
Price:
$9.07
Comments:
Connecting readers with great books since 1972. Used books may not include
[...]
Seller: Bonita
Location: Newport Coast, CA
Condition: Good
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$56.17
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).