If you read one more book about specifying reactive and interactive systems,
this should be the one. Written by someone who knows embedded and real-time systems
intimately, knows their difficulties, and knows how to overcome them, this book
is easy to read, understand, and put to practice.
Through carefully chosen
case studies, you'll learn how to write object-oriented specifications of reactive
and interactive systems. These specifications are graphical, easy to understand
(even by non-computer personnel), and executable. Because the author has chosen
Ada for his method's executable semantics, you will be able to execute your systems'
specifications on any contemporary computer. This book demonstrates convincingly
how to develop systems using rapid prototyping and software-first (that is, desired
external behavior first).
Reviews
"a skillful methodology for producing system and
software specifications. . . . well-written. . . . In short, this book impressed
me."
To
order this book by credit card directly from Dorset House in New York,
please call (800) 342-6657 or (212) 620-4053, weekdays, 9am to 6pm. Alternatively,
print out our Faxable Order Form
and fax to (212) 727-1044.
To order this book from
an online bookstore, please see above.
To
purchase at a bookstore, contact our Recommended
Booksellers to verify availability.
Any store can order from Dorset House using the book's title and ISBN number.
Also, bookstores can order our books through Baker & Taylor.
We'd
like to make it easy for you to order, so please contact
us at any time for help!
DORSET HOUSE PUBLISHING CO., INC. New:3143
Broadway, Suite 2B New York, New York 10027 USA 1-800-DH-BOOKSor 212-620-4053, fax 212-727-1044
