A Unifying Framework for Structured Analysis and Design Models by T H Tse
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.-
The Optimal Implementation of Functional Programming Languages
-
Mathematics for Computer Graphics
-
The Clausal Theory of Types
-
Basic Proof Theory
-
Process Algebra
-
Nonmonotonic Reasoning
-
Applications of Process Algebra
- Reasoning about Gossip
-
Belief Revision
-
Mathematical Theory of Domains
-
Process Algebra: Equational Theories of Communicating Processes
-
Initial Algebras and Terminal Coalgebras
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
Finite-State Techniques
-
Higher Order Logic and Hardware Verification
-
Formal Methods in Artificial Intelligence
-
Hybrid Graph Theory and Network Analysis
-
Data Refinement
-
Lambda-calculus, Combinators and Functional Programming
-
Concurrency Verification
-
Design Theory and Computer Science
-
Nets, Terms and Formulas
-
Computational Learning Theory
-
Metamathematics, Machines and Goedel's Proof
-
Formal Specification and Design
-
The Logic of Typed Feature Structures
-
Free Choice Petri Nets
-
Two-Level Functional Languages
-
Basic Simple Type Theory
-
Term Rewriting Systems
-
The Uncertain Reasoner's Companion
-
Deductive and Declarative Programming
-
Information Flow
-
Domains and Lambda-Calculi
-
Formal Semantics and Pragmatics for Natural Language Querying
"..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
"...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
| SKU | Unavailable |
| ISBN 13 | 9780521117876 |
| ISBN 10 | 0521117879 |
| Title | A Unifying Framework for Structured Analysis and Design Models |
| Author | T H Tse |
| Series | Cambridge Tracts In Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2009-07-30 |
| Number of pages | 192 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |