Description techniques for data in the SYSLAB method:
Abstract: "The SYSLAB method [Pae 95], which is currently under development at the Technische Universitat München, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This repor...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
1996
|
| Series: | Technische Universität <München>: TUM-I
9632 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | Abstract: "The SYSLAB method [Pae 95], which is currently under development at the Technische Universitat München, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This report presents the techniques provided by the method for describing data. It considers the motivation for these techniques as well as their specific syntax and formal semantics." |
| Item Description: | Literaturverz. S. 31 - 33 |
| Physical Description: | 33 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011712914 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 971222s1996 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 952261987 |2 DE-101 | |
| 035 | |a (OCoLC)38894076 | ||
| 035 | |a (DE-599)BVBBV011712914 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a TUM I 9632 | ||
| 100 | 1 | |a Hettler, Rudolf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Description techniques for data in the SYSLAB method |c R. Hettler |
| 264 | 1 | |a München |c 1996 | |
| 300 | |a 33 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9632 | |
| 500 | |a Literaturverz. S. 31 - 33 | ||
| 520 | 3 | |a Abstract: "The SYSLAB method [Pae 95], which is currently under development at the Technische Universitat München, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This report presents the techniques provided by the method for describing data. It considers the motivation for these techniques as well as their specific syntax and formal semantics." | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Systems engineering | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9632 |w (DE-604)BV006185376 |9 9632 | |
| 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=007898608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007898608 | |
Record in the Search Index
| _version_ | 1807594228341014528 |
|---|---|
| adam_text |
CONTENTS
1
INTRODUCTION
1
1.1
THE
S
YS
L
AB
PROJECT
.
1
1.2
DESCRIPTION
TECHNIQUES
FOR
DATA
.
2
2
ABSTRACT
DATA
TYPES
2
2.1
INFORMAL
DESCRIPTION
OF
M
INI
-S
PECTRUM
.
4
2.1.1
USING
PRIMITIVE
SPECIFICATIONS
.
4
2.1.2
DEFINING
SIGNATURES
.
5
2.1.3
SPECIFYING
PROPERTIES
.
8
2.1.4
BUILT-IN
SPECIFICATION
.
9
2.2
EXAMPLE
SPECIFICATIONS
.
10
2.2.1
NATURAL
NUMBERS
.
10
2.2.2
POLYMORPHIC
FINITE
SETS
.
11
2.3
SEMANTICS
OF
M
INI
-S
PECTRUM
.
12
2.3.1
TRANSLATION
M
INI
-S
PECTRUM
-
S
PECTRUM
.
13
2.3.2
EXAMPLE
.
15
3
EXTENDED
ENTITY-RELATIONSHIP
MODELING
16
3.1
ENTITY-RELATIONSHIP
DIAGRAM
NAME
.
16
3.2
ENTITY
TYPES
AND
ATTRIBUTES
.
17
3.3
RELATIONSHIP
TYPES
.
17
3.4
STATIC
INTEGRITY
CONSTRAINTS
.
17
3.4.1
KEYS
.
18
3.4.2
CARDINALITIES
.
18
3.4.3
GENERAL
CONSTRAINTS
.
18
3.4.4
EXAMPLE
.
19
3.5
SEMANTICS
OF
THE
EXTENDED
ENTITY-RELATIONSHIP
MODEL
.
21
3.5.1
TRANSLATING
EXTENDED
ENTITY-RELATIONSHIP
SCHEMATA
INTO
M
INI
-S
PECTRUM
.
21
3.5.2
MOTIVATION
OF
SEMANTICS
DEFINITION
.
23
3.5.3
EXAMPLE
.
23
4
MAPPING
TO
SYSTEM
MODEL
25
5
DESCRIBING
THE
STATE
OF
SYSTEM
COMPONENTS
25
5.1
MESSAGES
.
27
5.2
COMPONENT
STATES
.
27
5.3
EXAMPLE
.
28
6
CONCLUSION
31
II |
| any_adam_object | 1 |
| author | Hettler, Rudolf |
| author_facet | Hettler, Rudolf |
| author_role | aut |
| author_sort | Hettler, Rudolf |
| author_variant | r h rh |
| building | Verbundindex |
| bvnumber | BV011712914 |
| ctrlnum | (OCoLC)38894076 (DE-599)BVBBV011712914 |
| 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">BV011712914</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971222s1996 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952261987</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38894076</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011712914</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</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-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9632</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hettler, Rudolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Description techniques for data in the SYSLAB method</subfield><subfield code="c">R. Hettler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">33 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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9632</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 31 - 33</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The SYSLAB method [Pae 95], which is currently under development at the Technische Universitat München, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This report presents the techniques provided by the method for describing data. It considers the motivation for these techniques as well as their specific syntax and formal semantics."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9632</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9632</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=007898608&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-007898608</subfield></datafield></record></collection> |
| id | DE-604.BV011712914 |
| illustrated | Illustrated |
| indexdate | 2024-08-17T00:56:29Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007898608 |
| oclc_num | 38894076 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 33 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Hettler, Rudolf Verfasser aut Description techniques for data in the SYSLAB method R. Hettler München 1996 33 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9632 Literaturverz. S. 31 - 33 Abstract: "The SYSLAB method [Pae 95], which is currently under development at the Technische Universitat München, provides description techniques for the early phases of software engineering (requirements analysis, requirements definition and definition of the logical architecture). This report presents the techniques provided by the method for describing data. It considers the motivation for these techniques as well as their specific syntax and formal semantics." Mathematisches Modell Formal languages Mathematical models Software engineering Systems engineering Technische Universität <München>: TUM-I 9632 (DE-604)BV006185376 9632 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hettler, Rudolf Description techniques for data in the SYSLAB method Technische Universität <München>: TUM-I Mathematisches Modell Formal languages Mathematical models Software engineering Systems engineering |
| title | Description techniques for data in the SYSLAB method |
| title_auth | Description techniques for data in the SYSLAB method |
| title_exact_search | Description techniques for data in the SYSLAB method |
| title_full | Description techniques for data in the SYSLAB method R. Hettler |
| title_fullStr | Description techniques for data in the SYSLAB method R. Hettler |
| title_full_unstemmed | Description techniques for data in the SYSLAB method R. Hettler |
| title_short | Description techniques for data in the SYSLAB method |
| title_sort | description techniques for data in the syslab method |
| topic | Mathematisches Modell Formal languages Mathematical models Software engineering Systems engineering |
| topic_facet | Mathematisches Modell Formal languages Mathematical models Software engineering Systems engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT hettlerrudolf descriptiontechniquesfordatainthesyslabmethod |