株式会社極東書店トップ ＞ 商品一覧 ＞ A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory.
商品詳細
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory.
・ISBN 978-0-521-11787-6 paper GB£ 38.00
￥12,038.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Tse, T. H., |
|---|---|
| シリーズ | (Cambridge Tracts in Theoretical Computer Science) |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2009 |
| ページ数 | 192 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A00-9075＞ |
解説
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.