Information Systems Engineering

A Formal Approach

By: Kees M. Van Hee, Kees 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 $89.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

Effective Modern C++

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

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Systems Analysis and Design

12th edition

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Refactoring 2ed

Improving the Design of Existing Code

Business Driven Information Systems ISE

9th Edition

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Data-driven BIM for Energy Efficient Building Design

1st Edition

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

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

Augmented Software Design

A Team Exercise in Empirical Software Design

The AI Engineering Bootcamp

Build, Ship, Share

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Spark : The Definitive Guide

Big Data Processing Made Simple

Dama-Dmbok

Data Management Body of Knowledge: 2nd Edition, Revised

Site Reliability Engineering

How Google Runs Production Systems

The Engineering Leader

Strategies for Scaling Teams and Yourself

Cloud Native Application Protection Platforms

A Guide to Cnapps and the Foundations of Comprehensive Cloud Security

Fundamentals of Software Architecture

A Modern Engineering Approach

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

This product is categorised by