DownloadThe Portobello Bookshop Gift Guide 2024

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

T H Tse author

Format:Hardback

Publisher:Cambridge University Press

Published:9th May '91

Currently unavailable, and unfortunately no date known when it will be back

This hardback is available in another edition too:

A Unifying Framework for Structured Analysis and Design Models cover

In this 1991 book, Dr Tse proposes a unifying framework behind popular structured models in information systems development.

Many different structured methodologies exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He develops the frameworks and illustrates their practical usefulness.Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus this book will provide insight for software engineers into how methodologies can be formalised and will open up a range of applications and problems for theoretical computer scientists.

"...if you would enjoy refreshing your knowledge of category theory and related branches of mathematics, this text will show how the power of mathematics can be used in practical ways." D.W. Ballew, Computing Reviews
"...presents intial algebras as a unifying framework for structured analysis and design. The material is valuable and ought to be of interest either to software engineers searching for a foundation for their work or to theoreticians looking for interesting applications of category theory." Tom Jacob and Bill Kaizer, ACM SIG-ACT NEWS

ISBN: 9780521391962

Dimensions: 254mm x 178mm x 13mm

Weight: 550g

192 pages