Information Systems Engineering : A Formal Approach

Kees M. Van Hee

ISBN 10: 0521110645 / ISBN 13: 9780521110648

Published by Cambridge University Press, 2009

About this Item

Druck auf Anfrage Neuware - Printed after ordering - Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyse and design them. These models can be used to verify the behaviour of the systems, or as an executable specification of them. 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. 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 analysing their behaviour, i.e. putting the theory into practice. The text is designed for use by advanced undergraduate and beginning graduate students, in computer science, electrical and industrial engineering, or applied mathematics; indeed, it is based on courses taught by the author in Holland and Canada. However, its contemporary flavour will mean it also has appeal to professionals or researchers in these areas.

Seller Inventory # 9780521110648

Bibliographic Details

• Title: Information Systems Engineering : A Formal Approach
• Publisher: Cambridge University Press
• Publication Date: 2009
• Language: English
• ISBN 10: 0521110645
• ISBN 13: 9780521110648
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 23D millimeters 244 millimeters width by 170 millimeters height by 23 millimeters depth
• Weight: 748 grams

About this title

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.

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.