A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory - Brossura

Libro 7 di 40: Cambridge Tracts in Theoretical Computer Science

Tse, T

 
9780521117876: A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

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

Descrizione del libro

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780521391962: A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Edizione in evidenza

ISBN 10:  0521391962 ISBN 13:  9780521391962
Casa editrice: Cambridge University Press, 1991
Rilegato