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

✍ Scribed by T. H. Tse

Publisher: Cambridge University Press
Year: 2009
Tongue: English
Leaves: 192
Series: Cambridge Tracts in Theoretical Computer Science (No. 11)
Category: Library

No coin nor oath required. For personal study only.

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

📜 SIMILAR VOLUMES

A Unifying Framework for Structured Anal

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

✍ Tse T.H. 📂 Library 📅 1991 🏛 Cambridge University Press 🌐 English

Structural Analysis and Design of Multiv

📁 Structural Analysis and Design of Multivariable Control Systems: An Algebraic Approach

✍ Yih Tsong Tsay, Leang -San Shieh, Stephen Barnett (eds.) 📂 Library 📅 1988 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>The purpose of this research monograph is to utilize algebraic and systems theory for the structure analysis and design of multivariable control systems described by state-space representations and matrix fraction descriptions. A unified approach characterizing the dynamics of a system through th

Structural analysis and design of multiv

📁 Structural analysis and design of multivariable control systems: an algebraic approach

✍ Yih T. Tsay, Leang-San Shieh, Stephen Barnett 📂 Library 📅 1988 🏛 Springer-Verlag Berlin and Heidelberg GmbH & Co. K 🌐 English

Design-Oriented Analysis of Structures:

📁 Design-Oriented Analysis of Structures: A Unified Approach

✍ (auth.) 📂 Library 📅 2004 🏛 Springer Netherlands 🌐 English

<p>This book was developed while I was teaching graduate courses on analysis, design and optimization of structures, in the United States, Europe and Israel. Structural analysis is a main part of any design problem, and the analysis often must be repeated many times during the design process. Much w

Design-Oriented Analysis of Structures A

📁 Design-Oriented Analysis of Structures A Unified Approach

✍ Uri Kirsch 📂 Library 📅 2002 🏛 Springer 🌐 English

This book deals with problems of multiple repeated analyses (reanalysis) of structures. It introduces various concepts and methods, and presents them in a unified approach. This should prove useful to students, researchers, consultants, and practising engineers involved in analysis and design of str

Structural Analysis: A Unified Classical

📁 Structural Analysis: A Unified Classical and Matrix Approach

✍ Amin Ghali, Adam Neville, Tom G. Brown 📂 Library 📅 2009 🏛 Spon Press 🌐 English

This comprehensive textbook, now in its sixth edition, combines classical and matrix-based methods of structural analysis and develops them concurrently. New solved examples and problems have been added, giving over 140 worked examples and more than 400 problems with answers. The introductory ch