Konsistenzprüfung von Domänenanforderungsspezifikationen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
Berlin
Logos-Verl.
2009
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 211 S. graph. Darst. 24 cm |
| ISBN: | 9783832522315 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035778923 | ||
| 003 | DE-604 | ||
| 005 | 20130426 | ||
| 007 | t | ||
| 008 | 091020s2009 gw d||| m||| 00||| ger d | ||
| 015 | |a 09,H09,0054 |2 dnb | ||
| 016 | 7 | |a 99510686X |2 DE-101 | |
| 020 | |a 9783832522315 |c kart. |9 978-3-8325-2231-5 | ||
| 035 | |a (OCoLC)432316644 | ||
| 035 | |a (DE-599)DNB99510686X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-384 |a DE-91G | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 335d |2 stub | ||
| 084 | |a DAT 345d |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Lauenroth, Kim |e Verfasser |0 (DE-588)138598282 |4 aut | |
| 245 | 1 | 0 | |a Konsistenzprüfung von Domänenanforderungsspezifikationen |c vorgelegt von Kim Lauenroth |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2009 | |
| 300 | |a X, 211 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Duisburg, Essen, Univ., Diss., 2009 | ||
| 650 | 4 | |a Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung | |
| 650 | 0 | 7 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareprodukt |0 (DE-588)4329116-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarewiederverwendung |0 (DE-588)4225989-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domain engineering |0 (DE-588)4584951-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktlinie |0 (DE-588)4336076-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareprodukt |0 (DE-588)4329116-8 |D s |
| 689 | 0 | 1 | |a Produktlinie |0 (DE-588)4336076-2 |D s |
| 689 | 0 | 2 | |a Domain engineering |0 (DE-588)4584951-1 |D s |
| 689 | 0 | 3 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 4 | |a Softwarewiederverwendung |0 (DE-588)4225989-7 |D s |
| 689 | 0 | 5 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=018638477&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018638477 | ||
Record in the Search Index
| _version_ | 1804140712892039168 |
|---|---|
| adam_text | 2.4 ANFORDERUNGEN AN EINEN ANSATZ ZUR KONSISTENZPRUEFUNG VON DAS 22
INHALTSVERZEICHNIS V INHALTSVERZEICHNIS DANKSAGUNG I ZUSAMMENFASSUNG III
ABSTRACT IV INHALTSVERZEICHNIS V TEIL I - EINLEITUNG UND STAND DER
WISSENSCHAFT 1 1 MOTIVATION UND ZIEL DER ARBEIT 1 1.1 EINFUEHRUNG IN DIE
PRODUKTLINIENENTWICKLUNG 1 1.2 ANFORDERUNGSSPEZIFIKATIONEN IN DER
PRODUKTLINIENENTWICKLUNG 2 1.3 MOTIVATION FUER DIE BETRACHTUNG VON
ANFORDERUNGSKONSISTENZ 3 1.4 KONSISTENZPRUEFUNG IM DOMAIN UND APPLICATION
ENGINEERING 5 1.5 MOTIVATION FUER DIE AUTOMATISIERUNG DER
KONSISTENZPRUEFUNG 6 1.6 ZIEL DIESER ARBEIT 7 1.7 UEBERBLICK UEBER DIE
ARBEIT 7 2 GRUNDLAGEN 9 2.1 ORTHOGONALE VARIABILITAETSMODELLIERUNG 9
2.1.1 METAMODELL FUER DIE VARIABILITAETSMODELLIERUNG 9 2.1.2 GRAFISCHE
NOTATION FUER DIE VARIABILITAETSMODELLIERUNG 11 2.1.3 BEZIEHUNGEN ZWISCHEN
DOMAENENANFORDERUNGEN UND VARIABILITAETSMODELL 12 2.1.4 ABLEITUNG EINER
PRODUKTANFORDERUNGSSPEZIFIKATION 13 2.2 GRUNDLAGEN DER KONSISTENZPRUEFUNG
14 2.2.1 ARTEN VON WIDERSPRUECHEN 15 2.2.2 STATISCHE UND DYNAMISCHE
KONSISTENZ 17 2.3 STATISCHE UND DYNAMISCHE KONSISTENZ VON DAS 19 2.3.1
STATISCHE KONSISTENZ VON DAS 19 2.3.2 DYNAMISCHE KONSISTENZ VON DAS 20
2.3.3 BRUTE-FORCE-PRUEFUNG VON DAS 21 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/99510686X DIGITALISIERT DURCH VI INHALTSVERZEICHNIS 3
STAND DER WISSENSCHAFT 23 3.1 ARBEITEN ZUR KONSISTENZPRUEFUNG VON
EINZELSYSTEMSPEZIFIKATIONEN 23 3.1.1 ANSAETZE ZUR PRUEFUNG VON STATISCHER
KONSISTENZ 23 3.1.2 ANSAETZE ZUR PRUEFUNG VON DYNAMISCHER KONSISTENZ 24
3.1.3 ZUSAMMENFASSUNG 24 3.2 ARBEITEN ZUR KONSISTENZPRUEFUNG VON PAS 24
3.2.1 ANSAETZE ZUR PRUEFUNG DER STATISCHEN KONSISTENZ 24 3.2.2 ANSAETZE ZUR
PRUEFUNG DER DYNAMISCHEN KONSISTENZ 25 3.2.3 ZUSAMMENFASSUNG 25 3.3
ARBEITEN ZUR KONSISTENZPRUEFUNG VON DAS 26 3.3.1 ANSATZ VON BATORY UND
THAKER 26 3.3.2 ANSATZ VON CZARNECKI AND PIETROSZEK 27 3.3.3 ANSATZ VON
KISHI UND NODA 28 3.3.4 ANSATZ VON LIU ET AL. 28 3.3.5 ZUSAMMENFASSUNG
29 3.4 ARBEITEN AUS VERWANDTEN FORSCHUNGSRICHTUNGEN 29 3.4.1
KONSISTENZPRUEFUNG VON PRODUKTLINIENVARIABILITAET 29 3.4.2 PARAMETRISCHES
MODEL CHECKING 30 3.4.3 MEHRWERTIGE LOGIK 31 3.4.4 KONSISTENZPRUEFUNG
DURCH MODELLSYNTHESE 32 3.4.5 KONSISTENZPRUEFUNG FUER DYNAMISCH ADAPTIVE
SYSTEME 33 3.5 ZUSAMMENFASSUNG UND FAZIT 33 TEIL II - KONSISTENZPRUEFUNG
VON DOMAENENANFORDERUNGEN 35 4 LOESUNGSANSATZ 35 4.1 BESTANDTEILE DES
LOESUNGSANSATZES 35 4.2 FORMALES ORTHOGONALES VARIABILITAETSMODELL 36 4.3
FORMALE ANFORDERUNGSSPEZIFIKATIONSSPRACHEN 38 4.4 FORMALE
VARIABILITAET-ARTEFAKT-ABHAENGIGKEIT 40 4.5 FORMALE DEFINITION VON
WIDERSPRUECHEN 41 4.6 PRINZIPIELLES VORGEHEN FUER DIE KONSISTENZPRUEFUNG
EINER DAS 42 5 INHALTSVERZEICHNIS VII 5.3 BEDINGUNGSABHAENGIGKEITEN 50
5.3.1 FORMALISIERUNG DER AUSSCHLUSS-BEZIEHUNG 50 5.3.2 FORMALISIERUNG
DER VERLANGT-BEZIEHUNG 51 5.4 VARIABILITAETSMODELL-FUNKTION 52 5.5
ABBILDUNG DER GRAFISCHEN REPRAESENTATION AUF DIE FORMALISIERUNG 53 5.6
BEISPIEL 53 6 FORMALE SPEZIFIKATION VON DOMAENENANFORDERUNGEN 55 6.1
DEFINITION VON SPRACHEN ZUR SPEZIFIKATION VON DAS 55 6.2 SPRACHEN ZUR
SPEZIFIKATION VON EINZELSYSTEMANFORDERUNGEN 56 6.2.1 MESSAGE SEQUENCE
CHARTS 56 6.2.2 EIN-/AUSGABE-AUTOMATEN 62 6.2.3 COMPUTATIONAL TREE LOGIC
66 6.3 ERWEITERUNG DER VERWENDETEN SPRACHEN UM VARIABILITAET 68 6.3.1
VARIABLE MESSAGE SEQUENCE CHARTS 68 6.3.2 VARIABLE
EIN-/AUSGABE-AUTOMATEN 71 6.3.3 VARIABILITAETSABHAENGIGE INVARIANTEN 73
6.4 ABLEITUNG VON PRODUKTANFORDERUNGSSPEZIFIKATIONEN 76 6.4.1 ABLEITUNG
VON MESSAGE SEQUENCE CHARTS 76 6.4.2 ABLEITUNG VON
EIN-/AUSGABE-AUTOMATEN 77 6.4.3 ABLEITUNG VON INVARIANTEN 78 6.5
PRODUKTKONSTRUKTION VON VARIABLEN EIN-/AUSGABE-AUTOMATEN 78 6.5.1
ERWEITERTE TRANSITIONSRELATION 79 6.5.2 PRODUKTBERECHNUNG 82 6.5.3
KORREKTHEIT DER BERECHNUNG 85 6.5.4 LAUFZEITABSCHAETZUNG DER BERECHNUNG
86 6.6 RUECKWAERTSSUCHE IN VARIABLEN EIN-/AUSGABE-AUTOMATEN 87 6.6.1
DURCHFUEHRUNG DER RUECKWAERTSSUCHE 87 6.6.2 KORREKTHEIT DER RUECKWAERTSSUCHE
89 6.6.3 LAUFZEITABSCHAETZUNG DER RUECKWAERTSSUCHE 89 6.7 BEISPIEL FUER EINE
FORMAL SPEZIFIZIERTE DAS 90 6.7. VIII INHALTSVERZEICHNIS 7.2
INTRA-MODELL-KONSISTENZPRUEFUNGEN 100 7.2.1 KONSISTENZ VON MESSAGE
SEQUENCE CHARTS 100 7.2.2 KONSISTENZ VON EIN-/AUSGABE-AUTOMATEN 103
7.2.3 KONSISTENZ VON INVARIANTEN 104 7.3 ZUSAMMENFASSUNG UND AUSBLICK
AUF DIE FOLGENDEN KAPITEL 105 8 INTRA-MODELL-KONSISTENZPRUEFUNGEN 107 8.1
DETERMINISMUS IN VARIABLEN ENWAUSGABE-AUTOMATEN 107 8.1.1 BEISPIEL FUER
EINE DAS MIT NICHTDETERMINISMUS 107 8.1.2 FUNKTION WIDERSPRUCH
DETERMMSMUS 108 8.1.3 BERECHNUNG DER FUNKTION WIDERSPRUCH DELERMI *
ISMUS 109 8.1.4 BEISPIEL FUER DIE KONSISTENZPRUEFUNG EINER DAS 110 8.1.5
KORREKTHEIT DER BERECHNUNG DER FUNKTION WIDERSPRUCH DELERMMSMUS 110
8.1.6 LAUFZEITABSCHAETZUNG FUR DIE BERECHNUNG DER FUNKTION WIDERSPRUCH
DETERMINISMUS 111 8.1.7 VERGLEICH MIT DER BRUTE-FORCE-PRUEFUNG 112 8.2
DEADLOCK-FREIHEIT DER VARIABLEN EIN-/AUSGABE-AUTOMATEN 112 8.2.1
BEISPIEL FUER EINE DAS MIT DEADLOCK 112 8.2.2 FUNKTION
WIDERSPRUCHSSEAJIOCI; 113 8.2.3 BERECHNUNG DER FUNKTION WIDERSPRUCH
DEADHCK 115 8.2.4 BEISPIEL FUER DIE KONSISTENZPRUEFUNG 117 8.2.5
KORREKTHEIT DER BERECHNUNG DER FUNKTION WIDERSPRUCH INHALTSVERZEICHNIS
IX 9.2.2 FUNKTION WIDERSPRUCH EA . AU , OMATM .I MARIANTE * 132 9.2.3
BERECHNUNG DER FUNKTION WIDERSPRUCH EA . AU , OMALEN ., NVARIANLM 134
9.2.4 BEISPIEL FUER DIE KONSISTENZPRUEFUNG 135 9.2.5 KORREKTHEIT DER
BERECHNUNG DER FUNKTION WIDERSPRUCH EA . AU , OMAIE *., NVARIARUEN 135
9.2.6 LAUFZEITABSCHAETZUNG DER BERECHNUNG FUER DIE FUNKTION
WIDERSPRUCHU.^OMATE^NVANANTEN 136 9.2.7 VERGLEICH MIT DER
BRUTE-FORCE-PRUEFUNG 137 9.3 KONSISTENZPRUEFUNG VON VARIABLEN MSCS UND
INVARIANTEN 138 9.3.1 BEISPIEL FUER EINE DAS MIT EINER INKONSISTENZ
ZWISCHEN MSCS UND I NVARIANTEN 138 9.3.2 FUNKTION
WIDERSPRUCHMSCS-IMANUMM 139 9.3.3 BERECHNUNG DER FUNKTION
WIDERSPRUCHMSCS-IMARIAMEN 140 9.3.4 BEISPIEL FUER DIE KONSISTENZPRUEFUNG
141 9.3.5 KORREKTHEIT DER BERECHNUNG DER FUNKTION
WIDERSPRUCHUSA-IMARIANEN 141 9.3.6 LAUFZEITABSCHAETZUNG DER BERECHNUNG
FUER DIE FUNKTION CS-INVARIANTER, G.5 TABELLENVERZEICHNIS 211 X
INHALTSVERZEICHNIS ANHANG 173 A BEWEIS: NP-VOLLSTAENDIGKEIT DER FUNKTION
SAT-VM 173 B TRANSFORMATION VON OVMS MIT MEHRFACHEN ARTEFAKTBEZIEHUNGEN
175 C OPERATOREN AUF DAS 178 C.L ABGELEITETE PAS EINER DAS (A ZA) 178
C.2 ERGAENZUNG EINER PAS UM ZUSAETZLICHE ANFORDERUNGEN (A M ) 178 C.3
NACHRICHTENFOLGEN IN EA-AUTOMATEN (K (Z, N) = Z ) 178 C.4 INVARIANTE
GILT AN EINEM ZUSTAND (Z 1= I) 178 D HANDBUCH DER PROTOTYPISCHEN
REALISIERUNG 179 D.L AUFRUF DES PROTOTYPS 179 D.2 AUSGABEN DES PROTOTYPS
181 D.3 EINGABEDATEIEN FUER DEN PROTOTYP 182 E SPEZIFIKATION DER
BEISPIELPRODUKTLINIE *RADIOFREQUENZWARNER 188 E.L VARIABILITAETSMODELL
188 E.2 VARIABLE MESSAGE SEQUENCE CHARTS 190 E.3 VARIABLE
EHWAUSGABE-AUTOMATEN 193 E.4 VARIABILITAETSABHAENGIGE INVARIANTEN 200 F
LITERATURVERZEICHNIS 201 G WEITERE VERZEICHNISSE 208 G.L
ABBILDUNGSVERZEICHNIS 208 G.2 ALGORITHMENVERZEICHNIS 209 G.3
BEISPIELVERZEICHNIS 209 G.4 DEFINITIONSVERZEICHNIS 210
|
| any_adam_object | 1 |
| author | Lauenroth, Kim |
| author_GND | (DE-588)138598282 |
| author_facet | Lauenroth, Kim |
| author_role | aut |
| author_sort | Lauenroth, Kim |
| author_variant | k l kl |
| building | Verbundindex |
| bvnumber | BV035778923 |
| classification_rvk | ST 230 |
| classification_tum | DAT 335d DAT 345d |
| ctrlnum | (OCoLC)432316644 (DE-599)DNB99510686X |
| 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 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02335nam a2200553 c 4500</leader><controlfield tag="001">BV035778923</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130426 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091020s2009 gw d||| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,H09,0054</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99510686X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832522315</subfield><subfield code="c">kart.</subfield><subfield code="9">978-3-8325-2231-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)432316644</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99510686X</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</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">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 345d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lauenroth, Kim</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)138598282</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Konsistenzprüfung von Domänenanforderungsspezifikationen</subfield><subfield code="c">vorgelegt von Kim Lauenroth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 211 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Duisburg, Essen, Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareprodukt</subfield><subfield code="0">(DE-588)4329116-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewiederverwendung</subfield><subfield code="0">(DE-588)4225989-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domain engineering</subfield><subfield code="0">(DE-588)4584951-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktlinie</subfield><subfield code="0">(DE-588)4336076-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareprodukt</subfield><subfield code="0">(DE-588)4329116-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Produktlinie</subfield><subfield code="0">(DE-588)4336076-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Domain engineering</subfield><subfield code="0">(DE-588)4584951-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwarewiederverwendung</subfield><subfield code="0">(DE-588)4225989-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=018638477&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018638477</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035778923 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:04:21Z |
| institution | BVB |
| isbn | 9783832522315 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018638477 |
| oclc_num | 432316644 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-91G DE-BY-TUM |
| physical | X, 211 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Logos-Verl. |
| record_format | marc |
| spelling | Lauenroth, Kim Verfasser (DE-588)138598282 aut Konsistenzprüfung von Domänenanforderungsspezifikationen vorgelegt von Kim Lauenroth Berlin Logos-Verl. 2009 X, 211 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Duisburg, Essen, Univ., Diss., 2009 Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung Konsistenzprüfung (DE-588)4165063-3 gnd rswk-swf Softwareprodukt (DE-588)4329116-8 gnd rswk-swf Softwarewiederverwendung (DE-588)4225989-7 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf Domain engineering (DE-588)4584951-1 gnd rswk-swf Produktlinie (DE-588)4336076-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Softwareprodukt (DE-588)4329116-8 s Produktlinie (DE-588)4336076-2 s Domain engineering (DE-588)4584951-1 s Requirements engineering (DE-588)4213997-1 s Softwarewiederverwendung (DE-588)4225989-7 s Konsistenzprüfung (DE-588)4165063-3 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018638477&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lauenroth, Kim Konsistenzprüfung von Domänenanforderungsspezifikationen Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung Konsistenzprüfung (DE-588)4165063-3 gnd Softwareprodukt (DE-588)4329116-8 gnd Softwarewiederverwendung (DE-588)4225989-7 gnd Requirements engineering (DE-588)4213997-1 gnd Domain engineering (DE-588)4584951-1 gnd Produktlinie (DE-588)4336076-2 gnd |
| subject_GND | (DE-588)4165063-3 (DE-588)4329116-8 (DE-588)4225989-7 (DE-588)4213997-1 (DE-588)4584951-1 (DE-588)4336076-2 (DE-588)4113937-9 |
| title | Konsistenzprüfung von Domänenanforderungsspezifikationen |
| title_auth | Konsistenzprüfung von Domänenanforderungsspezifikationen |
| title_exact_search | Konsistenzprüfung von Domänenanforderungsspezifikationen |
| title_full | Konsistenzprüfung von Domänenanforderungsspezifikationen vorgelegt von Kim Lauenroth |
| title_fullStr | Konsistenzprüfung von Domänenanforderungsspezifikationen vorgelegt von Kim Lauenroth |
| title_full_unstemmed | Konsistenzprüfung von Domänenanforderungsspezifikationen vorgelegt von Kim Lauenroth |
| title_short | Konsistenzprüfung von Domänenanforderungsspezifikationen |
| title_sort | konsistenzprufung von domanenanforderungsspezifikationen |
| topic | Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung Konsistenzprüfung (DE-588)4165063-3 gnd Softwareprodukt (DE-588)4329116-8 gnd Softwarewiederverwendung (DE-588)4225989-7 gnd Requirements engineering (DE-588)4213997-1 gnd Domain engineering (DE-588)4584951-1 gnd Produktlinie (DE-588)4336076-2 gnd |
| topic_facet | Softwareprodukt - Produktlinie - Domain engineering - Requirements engineering - Softwarewiederverwendung - Konsistenzprüfung Konsistenzprüfung Softwareprodukt Softwarewiederverwendung Requirements engineering Domain engineering Produktlinie Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018638477&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lauenrothkim konsistenzprufungvondomanenanforderungsspezifikationen |