Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Information Systems Engineering - Kees M. Van Hee

Information Systems Engineering

A Formal Approach

(Autor)

Buch | Hardcover
435 Seiten
1994
Cambridge University Press (Verlag)
978-0-521-45514-5 (ISBN)
CHF 119,95 inkl. MwSt
zur Neuauflage
  • Titel erscheint in neuer Auflage
  • Artikel merken
Zu diesem Artikel existiert eine Nachauflage
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.

Preface; Part I. System Concepts; Part II. Frameworks; Part III. Modelling Methods; Part IV. Analysis Methods; Part V. Specification Language; Glossary; Appendices; Bibliography; Index.

Erscheint lt. Verlag 24.6.1994
Verlagsort Cambridge
Sprache englisch
Maße 177 x 252 mm
Gewicht 992 g
Themenwelt Informatik Software Entwicklung Objektorientierung
Mathematik / Informatik Informatik Theorie / Studium
ISBN-10 0-521-45514-6 / 0521455146
ISBN-13 978-0-521-45514-5 / 9780521455145
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
objektorientierte Entwicklung modularer Maschinen für die digitale …

von Thomas Schmertosch; Markus Krabbes; Christian Zinke-Wehlmann

Buch | Hardcover (2024)
Hanser (Verlag)
CHF 62,95
Entwicklung von GUIs für verschiedene Betriebssysteme

von Achim Lingott

Buch (2023)
Hanser, Carl (Verlag)
CHF 55,95
Principles and Practice Using C++

von Bjarne Stroustrup

Buch | Softcover (2024)
Addison Wesley (Verlag)
CHF 119,95