A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
$33.00 ( ) USD
- Author: T. H. Tse, The University of Hong Kong
Adobe eBook Reader
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact email@example.com providing details of the course you are teaching.
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.
Reviews & endorsements
"...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 ReviewsSee more 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 NEWS
Not yet reviewed
Be the first to review
Review was not posted due to profanity×
- Date Published: April 2011
- format: Adobe eBook Reader
- isbn: 9780511877810
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
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
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email firstname.lastname@example.orgRegister Sign in
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.Continue ×