Systems, models and measures:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Springer
1994
|
| Schriftenreihe: | Formal approaches to computing and information technology
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 335 S. graph. Darst. |
| ISBN: | 3540197532 0387197532 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009563902 | ||
| 003 | DE-604 | ||
| 005 | 20140213 | ||
| 007 | t | ||
| 008 | 940425s1994 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 940163209 |2 DE-101 | |
| 020 | |a 3540197532 |9 3-540-19753-2 | ||
| 020 | |a 0387197532 |9 0-387-19753-2 | ||
| 035 | |a (OCoLC)30978351 | ||
| 035 | |a (DE-599)BVBBV009563902 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-473 |a DE-19 |a DE-91G |a DE-384 |a DE-706 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA402 | |
| 050 | 0 | |a TA168 | |
| 082 | 0 | |a 003 |2 20 | |
| 082 | 0 | |a 620/.0044/011 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a MSR 020f |2 stub | ||
| 084 | |a MSR 580f |2 stub | ||
| 084 | |a DAT 060f |2 stub | ||
| 100 | 1 | |a Kaposi, Agnes |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Systems, models and measures |c by Agnes Kaposi and Margaret Myers |
| 264 | 1 | |a London [u.a.] |b Springer |c 1994 | |
| 300 | |a XV, 335 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Formal approaches to computing and information technology | |
| 650 | 7 | |a Complexiteit |2 gtt | |
| 650 | 7 | |a Informatietheorie |2 gtt | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a PROLOG |2 gtt | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Quality control | |
| 650 | 4 | |a Systems engineering | |
| 650 | 0 | 7 | |a Messung |0 (DE-588)4038852-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemmodell |0 (DE-588)4304916-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Systemmodell |0 (DE-588)4304916-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Messung |0 (DE-588)4038852-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Myers, Margaret |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006320205 | |
Datensatz im Suchindex
| _version_ | 1807774284218630144 |
|---|---|
| adam_text |
CONTENTS
PART
1
1
INTRODUCTION
.
1
2
SYSTEMS
AND
MODELS
.
11
2.1
INTUITIVE
NOTIONS
.
11
2.2
A
SYSTEMS
APPROACH
TO
MODELS
.
15
2.3
THE
SYSTEM
FORMED
BY
THE
REFERENT
AND
ITS
MODEL
.
18
2.4
THE
TWO-PART
SYSTEM:
REFERENT
AND
ENVIRONMENT
.
20
2.5
BLACK-BOX
MODEL:
THE
REFERENT
AS
A
UNITY
.
23
2.6
STRUCTURAL
MODEL:
THE
REFERENT
AS
A
COMPOSITION
.
27
2.7
SUMMARY
.
45
2.8
REFERENCES
.
46
3
MEASURES
.
47
3.1
INTRODUCTION
.
47
3.2
CHARACTERIZING
A
REFERENT
BY
MEASUREMENT
.
53
3.3
CHARACTERIZING
MEASURES
.
73
3.4
MEASURABILITY
.
78
3.5
METROLOGY
.
80
3.6
EXAMPLES
.
85
3.7
SUMMARY
.
94
3.8
REFERENCES
.
95
4
MODELS
OF
SPECIFICATION
AND
DESIGN
.
97
4.1
INTRODUCTION
.
97
4.2
PRODUCTS,
PROCESSES,
AND
THE
LIFE
HISTORY
PROCESS
.
98
4.3
SPECIFICATION
OF
ARTEFACTS
.
112
4.4
DESIGN
OF
ARTEFACTS
.
120
4.5
SPECIFICATION
AND
DESIGN
OF
PROCESSES
.
126
4.6
SUMMARY
.
139
4.7
REFERENCES
.
140
XIV
CONTENTS
5
MEASURES
OF
SPECIFICATION
AND
DESIGN
.
/.
141
5.1
INTRODUCTION
.
141
5.2
MEASURES
AND
MEASUREMENT
SCHEMES
FOR
PRODUCT
SPECIFICATIONS
.
141
5.3
PROCESS
SPECIFICATION
MEASURES
.
149
5.4
FSP
MODELS
AND
MEASURES
IN
PRACTICE
.
153
5.5
SUMMARY
.
169
5.6
REFERENCES
.
171
6
CONSTRUCTING
A
MEASUREMENT
SCHEME
.
173
6.1 INTRODUCTION
.
173
6.2
DEVISING
THE
CASE
STUDY
DEMONSTRATION
.
173
6.3
MEASUREMENT
STRATEGY
OPTIONS
.
181
6.4
A
UNIFYING
REFERENCE
LANGUAGE
.
192
6.5
IMPLEMENTING
A
MULTIPLE-LANGUAGE
STRATEGY
.
196
6.6
THE
MODEL-BASED
MEASUREMENT
EXPERIMENT
.
198
6.7
SUMMARY
AND
CONCLUSIONS
.
199
6.8
REFERENCES
.
200
PART
2
7
A
FORMAL
SPECIFICATION
MEDIUM
.
203
7.1
INTRODUCTION
.
203
7.2
LOGIC,
PROLOG
AND
SOME
SPECIFICATIONS
.
204
7.3
COMPONENTS
OF
THE
PROLOG
LOGIC
TEXT
.
207
7.4
THE
REFERENT:
THE
PROLOG
LOGIC
TEXT
.
212
7.5
LANGUAGE
LEVELS
OF
FORMAL
SPECIFICATIONS
.
221
7.6
SUMMARY
.
223
7.7
REFERENCES
.
224
8
MODELS
AND
MEASURES
OF
STRUCTURE
.
225
8.1
INTRODUCTION
.
225
8.2
MODELLING
THE
STRUCTURE
OF
PROLOG
LOGIC
TEXT
.
225
8.3
MODELLING
PROGRAMS
.
232
8.4
MEASURES
OF
THE
STRUCTURAL
MODEL
.
240
8.5
THE
MEASUREMENT
TOOL
SPA
.
246
8.6
SUMMARY
.
247
8.7
REFERENCES
.
248
9
MODELS
AND
MEASURES
OF
DATA
.
249
9.1
INTRODUCTION
.
249
9.2
MODELS
OF
THE
DATA
OF
PROLOG
LOGIC
TEXT
.
249
9.3
MEASURES
OF
PROLOG
DATA
.
267
9.4
AN
EXAMPLE
OF
MEASUREMENT
.
278
CONTENTS
XV
9.5
THE
MEASUREMENT
SCHEME
-
A
SUMMARY
.
279
9.6
REFERENCES
.
286
10
AN
EXPERIMENT
IN
MEASURING
SPECIFICATIONS
.
287
10.1
INTRODUCTION
.
287
10.2
APPARATUS
.
288
10.3
METHOD
.
292
10.4
RESULTS
.
294
10.5
OBSERVATIONS
.
302
10.6
CONCLUSIONS
.
309
10.7
REFERENCES
.
311
APPENDIX:
PROLOG
CODE
AND
MEASURES
OF
THE
SPECIFICATIONS
312
INDEX
.
329 |
| any_adam_object | 1 |
| author | Kaposi, Agnes Myers, Margaret |
| author_facet | Kaposi, Agnes Myers, Margaret |
| author_role | aut aut |
| author_sort | Kaposi, Agnes |
| author_variant | a k ak m m mm |
| building | Verbundindex |
| bvnumber | BV009563902 |
| callnumber-first | Q - Science |
| callnumber-label | QA402 |
| callnumber-raw | QA402 TA168 |
| callnumber-search | QA402 TA168 |
| callnumber-sort | QA 3402 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | MSR 020f MSR 580f DAT 060f |
| ctrlnum | (OCoLC)30978351 (DE-599)BVBBV009563902 |
| dewey-full | 003 620/.0044/011 |
| dewey-hundreds | 000 - Computer science, information, general works 600 - Technology (Applied sciences) |
| dewey-ones | 003 - Systems 620 - Engineering and allied operations |
| dewey-raw | 003 620/.0044/011 |
| dewey-search | 003 620/.0044/011 |
| dewey-sort | 13 |
| dewey-tens | 000 - Computer science, information, general works 620 - Engineering and allied operations |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009563902</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140213</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940425s1994 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940163209</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540197532</subfield><subfield code="9">3-540-19753-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387197532</subfield><subfield code="9">0-387-19753-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30978351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009563902</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA402</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TA168</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620/.0044/011</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 020f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 580f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 060f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kaposi, Agnes</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Systems, models and measures</subfield><subfield code="c">by Agnes Kaposi and Margaret Myers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 335 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="0" ind2=" "><subfield code="a">Formal approaches to computing and information technology</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexiteit</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatietheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quality control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Messung</subfield><subfield code="0">(DE-588)4038852-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</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">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</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">Messung</subfield><subfield code="0">(DE-588)4038852-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Myers, Margaret</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=006320205&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-006320205</subfield></datafield></record></collection> |
| id | DE-604.BV009563902 |
| illustrated | Illustrated |
| indexdate | 2024-08-19T00:38:22Z |
| institution | BVB |
| isbn | 3540197532 0387197532 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006320205 |
| oclc_num | 30978351 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-706 DE-83 DE-188 DE-11 |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-706 DE-83 DE-188 DE-11 |
| physical | XV, 335 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series2 | Formal approaches to computing and information technology |
| spelling | Kaposi, Agnes Verfasser aut Systems, models and measures by Agnes Kaposi and Margaret Myers London [u.a.] Springer 1994 XV, 335 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal approaches to computing and information technology Complexiteit gtt Informatietheorie gtt Kunstmatige intelligentie gtt PROLOG gtt Programmatuurtechniek gtt Mathematisches Modell Mathematical models Quality control Systems engineering Messung (DE-588)4038852-9 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Systemmodell (DE-588)4304916-3 gnd rswk-swf Systemmodell (DE-588)4304916-3 s DE-604 Modellierung (DE-588)4170297-9 s Messung (DE-588)4038852-9 s Myers, Margaret Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kaposi, Agnes Myers, Margaret Systems, models and measures Complexiteit gtt Informatietheorie gtt Kunstmatige intelligentie gtt PROLOG gtt Programmatuurtechniek gtt Mathematisches Modell Mathematical models Quality control Systems engineering Messung (DE-588)4038852-9 gnd Modellierung (DE-588)4170297-9 gnd Systemmodell (DE-588)4304916-3 gnd |
| subject_GND | (DE-588)4038852-9 (DE-588)4170297-9 (DE-588)4304916-3 |
| title | Systems, models and measures |
| title_auth | Systems, models and measures |
| title_exact_search | Systems, models and measures |
| title_full | Systems, models and measures by Agnes Kaposi and Margaret Myers |
| title_fullStr | Systems, models and measures by Agnes Kaposi and Margaret Myers |
| title_full_unstemmed | Systems, models and measures by Agnes Kaposi and Margaret Myers |
| title_short | Systems, models and measures |
| title_sort | systems models and measures |
| topic | Complexiteit gtt Informatietheorie gtt Kunstmatige intelligentie gtt PROLOG gtt Programmatuurtechniek gtt Mathematisches Modell Mathematical models Quality control Systems engineering Messung (DE-588)4038852-9 gnd Modellierung (DE-588)4170297-9 gnd Systemmodell (DE-588)4304916-3 gnd |
| topic_facet | Complexiteit Informatietheorie Kunstmatige intelligentie PROLOG Programmatuurtechniek Mathematisches Modell Mathematical models Quality control Systems engineering Messung Modellierung Systemmodell |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320205&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kaposiagnes systemsmodelsandmeasures AT myersmargaret systemsmodelsandmeasures |