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

— —

T. H. Tse (The University of Hong Kong)

A Unifying Framework for Structured Analysis and Design Models

Name: A Unifying Framework for Structured Analysis and Design Models
Price: 99.65 AUD
Availability: OutOfStock
ISBN: 9780521117876

An Approach Using Initial Algebra Semantics and Category Theory

T. H. Tse (The University of Hong Kong)

$124.95 $99.65

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
30 July 2009

Mathematics & Sciences; Software Engineering; Mathematical theory of computation

Series: Cambridge Tracts in Theoretical Computer Science

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.

By: T. H. Tse (The University of Hong Kong)
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Volume: No. 11
Dimensions: Height: 244mm, Width: 170mm, Spine: 10mm
Weight: 320g
ISBN: 9780521117876
ISBN 10: 0521117879
Series: Cambridge Tracts in Theoretical Computer Science
Pages: 192
Publication Date: 30 July 2009
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

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.

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

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