A Unifying Framework for Structured Analysis and Design Models Image close
A Unifying Framework for Structured Analysis and Design Models by T.H. Tse
A Unifying Framework for Structured Analysis and Design Models by T.H. Tse
Show Hide Adult Content
A Unifying Framework for Structured Analysis and Design Models close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$101.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $25.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$259.99
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programs, Recursion and Unbounded Choice by Wim H. Hesselink
$126.99
Programs, Recursion and Unbounded Choice
by Wim H. Hesselink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$142.99
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
$143.99
Lambda-calculus, Combinators and Functional Programming
by G. E. Revesz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Logic of Typed Feature Structures by Robert L. Carpenter
$127.99
The Logic of Typed Feature Structures
by Robert L. Carpenter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi on Hardback by Roberto M. Amadio
$376.99
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Hardback
Available - Usually ships in 3-4 weeks
Action Semantics by Peter D. Mosses
$156.99
Action Semantics
by Peter D. Mosses ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Predicate Transformer Semantics by Ernest G. Manes
$150.99
Predicate Transformer Semantics
by Ernest G. Manes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages on Hardback by Flemming Nielson
$339.99
Two-Level Functional Languages
by Flemming Nielson ~ Hardback
Available - Usually ships in 3-4 weeks
Algebraic Specification of Communication Protocols
$127.99
Algebraic Specification of Communication Protocols
Paperback / softback
Available - Usually ships in 3-4 weeks
Term Rewriting Systems on Hardback by Terese
$504.99
Term Rewriting Systems
by Terese ~ Hardback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$182.99
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$352.99
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
The Uncertain Reasoner's Companion by J.B. Paris
$132.99
The Uncertain Reasoner's Companion
by J.B. Paris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$248.99
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages by Flemming Nielson
$141.99
Two-Level Functional Languages
by Flemming Nielson ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date Australia
July 30th, 2009
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
192
Dimensions
170x244x10
ISBN-13
9780521117876
Product ID
3169471

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by T.H. Tse

See all books by this author

A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$270.99
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation