A unifying framework for structured analysis and design models: an approach using initial algebra semantics and category theory
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge u.a.
Cambridge Univ. Press
1991
|
| Edition: | 1. publ. |
| Series: | Cambridge tracts in theoretical computer science
11. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 168 - 177 |
| Physical Description: | XI, 179 S. graph. Darst. |
| ISBN: | 0521391962 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004626388 | ||
| 003 | DE-604 | ||
| 005 | 19930922 | ||
| 007 | t| | ||
| 008 | 911129s1991 xx d||| |||| 00||| eng d | ||
| 020 | |a 0521391962 |9 0-521-39196-2 | ||
| 035 | |a (OCoLC)231253045 | ||
| 035 | |a (DE-599)BVBBV004626388 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.S84 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 237 |0 (DE-625)143623: |2 rvk | ||
| 084 | |a DAT 318f |2 stub | ||
| 100 | 1 | |a Tse, T. H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A unifying framework for structured analysis and design models |b an approach using initial algebra semantics and category theory |c T. H. Tse |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1991 | |
| 300 | |a XI, 179 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 11. | |
| 500 | |a Literaturverz. S. 168 - 177 | ||
| 650 | 4 | |a Informatique - Techniques structurées | |
| 650 | 7 | |a Systèmes, Analyse de |2 ram | |
| 650 | 7 | |a Systèmes, Conception de |2 ram | |
| 650 | 7 | |a analyse structurée |2 inriac | |
| 650 | 7 | |a conception système information |2 inriac | |
| 650 | 7 | |a environnement développement |2 inriac | |
| 650 | 7 | |a méthodologie conception |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Structured techniques | |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Strukturanalyse |0 (DE-588)4183787-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Strukturierte Softwareentwicklung |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Strukturanalyse |0 (DE-588)4183787-3 |D s |
| 689 | 0 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Strukturierte Softwareentwicklung |A f |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 2 | 1 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
| 689 | 2 | 2 | |a Strukturanalyse |0 (DE-588)4183787-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 11. |w (DE-604)BV000754528 |9 11 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002841946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002841946 | |
Record in the Search Index
| _version_ | 1822490788519477248 |
|---|---|
| adam_text |
A UNIFYING FRAMEWORK FOR STRUCTURED ANALYSIS AND DESIGN MODELS: AN
APPROACH USING INITIAL ALGEBRA SEMANTICS AND CATEGORY THEORY T.H. TSE,
M.B.E. UNIVERSITY OF HONG KONG THE RIGHL OF THE UNIVERSITY OF CAMBRIDGE
TO PRINT AND SELL ALL MANNER OF BOOKS WAS GRANTED BY HENRY VLLL IN 1534.
THE UNIVERSITY HAS PRINTED AND PUBLISHED CONTINUOUSLY SINCE 1584.
CAMBRIDGE UNIVERSITY PRESS CAMBRIDGE NEW YORK PORT CHESTER MELBOURNE
SYDNEY CONTENTS PREFACE VII LIST OF TABLES AND FIGURES ; IX CHAPTER 1:
INTRODUCTION 1 CHAPTER 2: DESIRABLE FEATURES OF SYSTEMS DEVELOPMENT
ENVIRONMENTS 2.1: INTRODUCTION 4 2.2: ABSTRACTION OF THE REAL WORLD 5
2.2.1 USER FAMILIARITY OF THE SPECIFICATION LANGUAGE 7 2.2.2 LANGUAGE
STYLE 7 2.2.3 MULTI-LEVEL ABSTRACTION 8 2.2.4 FEEDBACK TO USERS 9 2.2.5
MODIFIABILITY 10 2.3: MANIPULATION OF REPRESENTATIONS 10 2.3.1 TOOLS OF
MANIPULATION 10 2.3.2 TRANSFORMATION 11 2.3.3 VALIDATION 11 2.3.4
INDEPENDENCE OF DESIGN AND IMPLEMENTATION 13 2.4: CONSTRUCTION OF A REAL
SYSTEM 13 2.4.1 COMPUTABILITY 13 2.4.2 VERIFICATION OF IMPLEMENTATION 15
2.5: CONCLUSION 16 CHAPTER 3. A COMPARISON WITH RELATED WORK 3.1:
INTRODUCTION 19 3.2: PSL/PSA AND META/GA 19 3.3: ADS/SODA 22 3.4:
SADT/EDDA 23 3.5: SAMM/SIGS 26 3.6: RSL/SREM 28 3.7: COMPARISON AND
CONCLUSION 31 VI CONTENTS CHAPTER 4. AN INITIAL ALGEBRA FRAMEWORK FOR
UNIFYING THE STRUCTURED MODELS 4.1: INTRODUCTION 35 4.2: ALGEBRAS 38
4.3: INITIAL ALGEBRAS 44 4.4: YOURDON STRUCTURE CHARTS '. 49 4.5:
DEMARCO DATA FLOW DIAGRAMS 54 4.6: JACKSON STRUCTURE TEXTS 62 4.7:
CONCLUSION 68 CHAPTER 5. A FUNCTORIAL FRAMEWORK FOR UNIFYING THE
STRUCTURED MODELS 5.1: INTRODUCTION 70 5.2: A BRIEF INTRODUCTION TO
CATEGORY THEORY 72 5.3: CATEGORY OF DE-MARCO LIKE PROCESSES 73 5.3.1
OBJECTS 73 5.3.2 MORPHISMS 76 5.4: CATEGORY OF DE-MARCO LIKE TASKS 81
5.5: OTHER CATEGORIES OF STRUCTURED MODELS 85 5.6: FUNCTORS AND FREENESS
89 5.7: CONCLUSION 92 CHAPTER 6. THE IDENTIFICATION OF UNSTRUCTUREDNESS
6.1: INTRODUCTION 94 6.2: CONNECTED TASKS AND SKELETONS 95 6.3: MINIMAL
SUBTASKS 102 6.4: DEFINING UNSTRUCTUREDNESS 104 6.4.1 AN ENTRY IN THE
MIDDLE OF A SELECTION OR PARALLEL CONNECTION 105 6.4.2 AN EXIT IN THE
MIDDLE OF A SELECTION OR PARALLEL CONNECTION 105 6.4.3 AN ENTRY IN THE
MIDDLE OF AN ITERATION 105 6.4.4 NON-UNIQUE EXIT IN AN ITERATION 107
6.5: IDENTIFICATION OF MULTIPLE ITERATION EXITS 107 6.6: PARTIALLY
OVERLAPPING SKELETONS 110 6.7: CONCLUSION 114 CHAPTER 7. A PROTOTYPE
SYSTEM TO IMPLEMENT THE UNIFYING FRAMEWORK 7.1: INTRODUCTION 115 7.2:
EXAMPLE ON AN APPLICATION OF THE SYSTEM 116 7.3: SYSTEM CHARACTERISTICS
140 7.3.1 CHOICE OF DEVELOPMENT LANGUAGE 140 7.3.2 COMPONENTS OF THE
PROTOTYPE SYSTEM 142 7.3.3 EXAMPLES OF ALGORITHMS 147 CHAPTER 8.
CONCLUSION 166 BIBLIOGRAPHY 168 |
| any_adam_object | 1 |
| author | Tse, T. H. |
| author_facet | Tse, T. H. |
| author_role | aut |
| author_sort | Tse, T. H. |
| author_variant | t h t th tht |
| building | Verbundindex |
| bvnumber | BV004626388 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S84 |
| callnumber-search | QA76.9.S84 |
| callnumber-sort | QA 276.9 S84 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 237 |
| classification_tum | DAT 318f |
| ctrlnum | (OCoLC)231253045 (DE-599)BVBBV004626388 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV004626388</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930922</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">911129s1991 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521391962</subfield><subfield code="9">0-521-39196-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)231253045</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004626388</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S84</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 237</subfield><subfield code="0">(DE-625)143623:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 318f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tse, T. H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A unifying framework for structured analysis and design models</subfield><subfield code="b">an approach using initial algebra semantics and category theory</subfield><subfield code="c">T. H. Tse</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 179 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">11.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 168 - 177</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Techniques structurées</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Analyse de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Conception de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse structurée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système information</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">environnement développement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthodologie conception</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Structured techniques</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Strukturanalyse</subfield><subfield code="0">(DE-588)4183787-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Strukturierte Softwareentwicklung</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Strukturanalyse</subfield><subfield code="0">(DE-588)4183787-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Strukturierte Softwareentwicklung</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Strukturanalyse</subfield><subfield code="0">(DE-588)4183787-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">11.</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">11</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002841946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002841946</subfield></datafield></record></collection> |
| genre | Strukturierte Softwareentwicklung gnd |
| genre_facet | Strukturierte Softwareentwicklung |
| id | DE-604.BV004626388 |
| illustrated | Illustrated |
| indexdate | 2025-01-28T11:10:55Z |
| institution | BVB |
| isbn | 0521391962 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002841946 |
| oclc_num | 231253045 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-11 DE-188 |
| physical | XI, 179 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Tse, T. H. Verfasser aut A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory T. H. Tse 1. publ. Cambridge u.a. Cambridge Univ. Press 1991 XI, 179 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 11. Literaturverz. S. 168 - 177 Informatique - Techniques structurées Systèmes, Analyse de ram Systèmes, Conception de ram analyse structurée inriac conception système information inriac environnement développement inriac méthodologie conception inriac Datenverarbeitung Electronic data processing Structured techniques Systementwicklung (DE-588)4126945-7 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf Strukturanalyse (DE-588)4183787-3 gnd rswk-swf Strukturierte Softwareentwicklung gnd rswk-swf Strukturanalyse (DE-588)4183787-3 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Strukturierte Softwareentwicklung f Systementwicklung (DE-588)4126945-7 s Informationssystem (DE-588)4072806-7 s Cambridge tracts in theoretical computer science 11. (DE-604)BV000754528 11 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002841946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tse, T. H. A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory Cambridge tracts in theoretical computer science Informatique - Techniques structurées Systèmes, Analyse de ram Systèmes, Conception de ram analyse structurée inriac conception système information inriac environnement développement inriac méthodologie conception inriac Datenverarbeitung Electronic data processing Structured techniques Systementwicklung (DE-588)4126945-7 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informationssystem (DE-588)4072806-7 gnd Strukturanalyse (DE-588)4183787-3 gnd |
| subject_GND | (DE-588)4126945-7 (DE-588)4011152-0 (DE-588)4072806-7 (DE-588)4183787-3 |
| title | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory |
| title_auth | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory |
| title_exact_search | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory |
| title_full | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory T. H. Tse |
| title_fullStr | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory T. H. Tse |
| title_full_unstemmed | A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory T. H. Tse |
| title_short | A unifying framework for structured analysis and design models |
| title_sort | a unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory |
| title_sub | an approach using initial algebra semantics and category theory |
| topic | Informatique - Techniques structurées Systèmes, Analyse de ram Systèmes, Conception de ram analyse structurée inriac conception système information inriac environnement développement inriac méthodologie conception inriac Datenverarbeitung Electronic data processing Structured techniques Systementwicklung (DE-588)4126945-7 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informationssystem (DE-588)4072806-7 gnd Strukturanalyse (DE-588)4183787-3 gnd |
| topic_facet | Informatique - Techniques structurées Systèmes, Analyse de Systèmes, Conception de analyse structurée conception système information environnement développement méthodologie conception Datenverarbeitung Electronic data processing Structured techniques Systementwicklung Informationssystem Strukturanalyse Strukturierte Softwareentwicklung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002841946&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT tseth aunifyingframeworkforstructuredanalysisanddesignmodelsanapproachusinginitialalgebrasemanticsandcategorytheory |