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

T. H. Tse (u. a.)

ISBN 10: 0521117879 / ISBN 13: 9780521117876

Published by Cambridge University Press, 2009

About this Item

A Unifying Framework for Structured Analysis and Design Models | An Approach Using Initial Algebra Semantics and Category Theory | T. H. Tse (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2009 | Cambridge University Press | EAN 9780521117876 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Seller Inventory # 101629832

Bibliographic Details

• Title: A Unifying Framework for Structured Analysis and Design Models | An Approach Using Initial Algebra Semantics and Category Theory
• Publisher: Cambridge University Press
• Publication Date: 2009
• Language: English
• ISBN 10: 0521117879
• ISBN 13: 9780521117876
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 11D millimeters 244 millimeters width by 170 millimeters height by 11 millimeters depth
• Weight: 342 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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 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 formalized, and will open up a range of applications and problems for theoretical computer scientists.

Book Description

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.