This book shows how to build precise class models that form the foundation of rigorous software specifications, with examples from the author's projects in the fields of science and engineering focusing on real-time environments where accurate software specification is especially critical. Coverage includes executable UML classes and attributes, associations and relationships, binary associations, loop constraints, and reflexive, network, linear, and tree patterns for object modeling. Starr has been developing real-time and embedded software executable models since 1985. He has written two books. Annotation c. Book News, Inc., Portland, OR (booknews.com)