• Sign In / Register
  • Help
  • Basket0
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory - Cambridge Tracts in Theoretical Computer Science 11 (Hardback)
  • A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory - Cambridge Tracts in Theoretical Computer Science 11 (Hardback)
zoom

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory - Cambridge Tracts in Theoretical Computer Science 11 (Hardback)

(author)
£82.00
Hardback 192 Pages / Published: 09/05/1991
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Cambridge University Press
ISBN: 9780521391962
Number of pages: 192
Weight: 560 g
Dimensions: 247 x 174 x 13 mm


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

You may also be interested in...

Data Analysis with Open Source Tools
Added to basket
The Art of Computer Programming
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
How to Think About Algorithms
Added to basket
Bayesian Methods for Hackers
Added to basket
Foundation Mathematics
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
The Elements of Statistical Learning
Added to basket
Discrete Mathematics
Added to basket
A First Course in Network Theory
Added to basket
Concrete Mathematics
Added to basket
The Lattice Boltzmann Equation
Added to basket
The Computational Beauty of Nature
Added to basket
Networks
Added to basket
£48.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.