A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
Published on 30. July 2009
Book
Paperback/Softback
192 pages
978-0-521-11787-6 (ISBN)
Description
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.
Reviews / Votes
"...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 NEWSMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 11 mm
Weight
342 gr
ISBN-13
978-0-521-11787-6 (9780521117876)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
T. H. Tse
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
Book
05/1991
Cambridge University Press
€141.00
Shipment within 15-20 days
Person
Content
1. Introduction; 2. Desirable features of systems development environments; 3. A comparison with related projects; 4. Initial algebra as a unifying framework for structured models; 5. Category theory as a unifying framework for structured models; 6. The identification of unstructuredness; 7. A prototype system to implement the unifying framework; 8. Future directions; 9. Conclusions; References; Appendices.