Del 11 i serien Cambridge Tracts in Theoretical Computer Science

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

Häftad, Engelska, 2009

AvT. H. Tse

869 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

2 109 kr

Skickas inom 5-8 vardagar

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.

Produktinformation

Utgivningsdatum2009-07-30
Mått170 x 244 x 10 mm
Vikt320 g
FormatHäftad
SpråkEngelska
SerieCambridge Tracts in Theoretical Computer Science
Antal sidor192
FörlagCambridge University Press
ISBN9780521117876

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

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.

Mer från samma serie

Del 27

Programs, Recursion and Unbounded Choice

Wim H. Hesselink, C. J. van Rijsbergen

Häftad, 2005

1 019 kr

Del 23

Nets, Terms and Formulas

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

1 019 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen

Häftad, 2005

1 149 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

1 509 kr

Del 40

Free Choice Petri Nets

Jorg Desel, Javier Esparza, C. J. van Rijsbergen

Häftad, 2005

909 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2005

1 019 kr

Del 28

Deductive and Declarative Programming

Peter Padawitz, C. J. van Rijsbergen

Häftad, 2006

1 019 kr

Del 39

The Uncertain Reasoner's Companion

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 2006

1 069 kr

Del 3

Understanding Z

J. M. Spivey

Häftad, 2008

829 kr

Del 42

Basic Simple Type Theory

J. Roger Hindley

Häftad, 2008

849 kr

Du kanske också är intresserad av

Del 11