A Unifying Framework For Structured Analysis And Design Models: An Approach Using Initial Algebra Semantics And Category Theory (Cambridge Tracts In Theoretical Computer Science)

Tse, T. H.

ISBN 10: 0521391962 / ISBN 13: 9780521391962

Edité par Cambridge University Press, 1991

A propos de cet article

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

N° de réf. du vendeur ABNR-176818

Détails bibliographiques

• Titre: A Unifying Framework For Structured Analysis And Design Models: An Approach Using Initial Algebra Semantics And Category Theory (Cambridge Tracts In Theoretical Computer Science)
• Éditeur: Cambridge University Press
• Date de parution: 1991
• Langue: anglais
• ISBN à 10 chiffres: 0521391962
• ISBN à 13 chiffres: 9780521391962
• Reliure: Couverture rigide
• État de l'article: New

A propos de ce titre

Synopsis

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

Présentation de l'éditeur

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.