Information Systems Engineering: A Formal Approach

Description: Information Systems Engineering: A Formal Approach Hee, Kees M. van Product Overview Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyze and design them. These models can be used to verify the behavior of the systems, or as an executable specification of them. In this book, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism that can be used as a prototyping language. It has three components: Petri nets, extended with time, token values and hierarchy; a specification language that is a subset of Z; and a binary data model, extended with complex objects. Much attention is paid to methods for constructing models of systems and analyzing their behavior, i.e., putting the theory into practice. The book is aimed at graduate students and researchers in computer science, electrical engineering, and applied mathematics. Read more Details Publisher ‏ : ‎ Cambridge University Press (June 24, 1994) Language ‏ : ‎ English Hardcover ‏ : ‎ 435 pages ISBN-10 ‏ : ‎ 0521455146 ISBN-13 ‏ : ‎ 45 Item Weight ‏ : ‎ 2.19 pounds Dimensions ‏ : ‎ 7 x 1.25 x 10 inches Best Sellers Rank: #6,935,666 in Books (See Top 100 in Books) #3,002 in Object-Oriented Design #3,019 in Software Design & Engineering #8,874 in Software Development (Books) #3,002 in Object-Oriented Design #3,019 in Software Design & Engineering Stock Photos Please Note: All of our book listings use stock photos unless otherwise stated. Please read our descriptions for accurate conditions and editions, don't use the photos! Free Shipping We ship worldwide. We have multiple warehouses around the world, so please note the extended handling time on certain listings.

Price: 56.24 USD

Location: Williamsburg, Virginia

End Time: 2025-01-10T03:56:36.000Z

Shipping Cost: 0 USD