Information Systems Engineering

A Formal Approach

By: Kees M. van Hee

Write A Review

Paperback | 24 December 2009

At a Glance

Paperback
436 Pages

Dimensions(cm)
24.41 x 16.99 x 2.26

Paperback

RRP $105.95

$93.75

12%OFF

or 4 interest-free payments of $23.44 with

Ships in 5 to 7 business days

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.

Industry Reviews

"...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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Technology in General Engineering in General Computing & I.T.Information Technology General Issue Computer Science Systems Analysis & Design Computer Programming & Software Development Object-Oriented Programming or OOP Software Engineering

Preface
System Concepts
Frameworks
Modelling Methods
Analysis Methods
Specification Language
Glossary
Appendices
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Information Systems Engineering

A Formal Approach

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Cognitive Cloud Computing

Building Intelligent Systems for Tomorrow

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Rust Atomics and Locks

Low-Level Concurrency in Practice

DAMA-DMBOK

Data Management Body of Knowledge

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Rust Programming in easy steps

In Easy Steps

Decision Sciences in Bioinformatics

Theory and Practice

This product is categorised by