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

Klappentext 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. Zusammenfassung Many different structured methodologies 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! Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He develops the frameworks and illustrates their practical usefulness. Inhaltsverzeichnis 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.

Product details

• Authors: Tse T. H., T. H. Tse, T. H. (The University of Hong Kong) Tse, T.H. Tse, Tse T. H.
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 30.07.2009
• EAN: 9780521117876
• ISBN: 978-0-521-11787-6
• No. of pages: 192
• Series: Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Software Engineering, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Machine Theory, Mathematical theory of computation