Information Systems Engineering: A Formal Approach - Softcover

Hee, Kees M. Van

Softcover

ISBN 10: 0521110645 ISBN 13: 9780521110648

Publisher: Cambridge University Press, 2009

Synopsis

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.

About this title

Book Description

In this textbook, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism which can be used as a prototyping language.

Review

"...an excellent resource." Choice

"...A coherent and compact presentation make this book a good academic manual. Its value is due to the many exercises attached to the end of each part...accessible not only for students, but also for engineers who want to intensify their knowledge about sustems engineering and understand the theoretical background of new sustem modelling methods...I recommend it..." R. Sobczak, The Computer Journal

Edition details

• Publisher: Cambridge University Press
• Publication date: 2009
• Language: English
• ISBN 10: 0521110645
• ISBN 13: 9780521110648
• Binding: Paperback
• Edition number: 1
• Number of pages: 436