{"product_id":"a-unifying-framework-for-structured-analysis-and-design-models-an-approach-using-initial-algebra-semantics-and-category-theory-hardback-9780521391962","title":"A Unifying Framework for Structured Analysis and Design Models; An Approach Using Initial Algebra Semantics and Category Theory (Hardback) 9780521391962","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eA Unifying Framework for Structured Analysis and Design Models\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eAn Approach Using Initial Algebra Semantics and Category Theory\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eIn this 1991 book, Dr Tse proposes a unifying framework behind popular structured models in information systems development.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eT. H. Tse (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521391962, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 9 May 1991\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e192 pages\u003cbr\u003e25.4 x 17.8 x 1.3 cm, 0.55 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"...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\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eStructured 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Introduction\u003cbr\u003e 2. Desirable features of systems development environments\u003cbr\u003e 3. A comparison with related projects\u003cbr\u003e 4. Initial algebra as a unifying framework for structured models\u003cbr\u003e 5. Category theory as a unifying framework for structured models\u003cbr\u003e 6. The identification of unstructuredness\u003cbr\u003e 7. A prototype system to implement the unifying framework\u003cbr\u003e 8. Future directions\u003cbr\u003e 9. Conclusions\u003cbr\u003e References\u003cbr\u003e Appendices.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Software Engineering [\u003ca title=\"See our other books on Software Engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Software%20Engineering%20%5BUMZ%5D%22\"\u003eUMZ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46007219978520,"sku":"9780521391962","price":85.49,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521391962_3b8ebff1-cf14-4d33-aa9f-51c778f775e2.gif?v=1691376277","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/a-unifying-framework-for-structured-analysis-and-design-models-an-approach-using-initial-algebra-semantics-and-category-theory-hardback-9780521391962","provider":"Freshly Printed Books","version":"1.0","type":"link"}