Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991
|
| Series: | Informatik-Fachberichte
280 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Softwaresysteme werden immer größer und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bewältigen zu können.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch beschäftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterstützen lassen. Zur Spezifikation der Funktionalität entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, die auf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit über gängige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleichermaßen an Theoretiker und Praktiker |
| Physical Description: | 1 Online-Ressource (X, 321 S.) |
| ISBN: | 9783642768705 9783540544326 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-76870-5 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433139 | ||
| 003 | DE-604 | ||
| 005 | 20170817 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1991 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642768705 |c Online |9 978-3-642-76870-5 | ||
| 020 | |a 9783540544326 |c Print |9 978-3-540-54432-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-76870-5 |2 doi | |
| 035 | |a (OCoLC)863811542 | ||
| 035 | |a (DE-599)BVBBV042433139 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 005.11 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Westfechtel, Bernhard |d 1958- |e Verfasser |0 (DE-588)13380478X |4 aut | |
| 245 | 1 | 0 | |a Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung |c von Bernhard Westfechtel |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1991 | |
| 300 | |a 1 Online-Ressource (X, 321 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Informatik-Fachberichte |v 280 |x 0343-3005 | |
| 500 | |a Softwaresysteme werden immer größer und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bewältigen zu können.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch beschäftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterstützen lassen. Zur Spezifikation der Funktionalität entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, die auf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit über gängige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleichermaßen an Theoretiker und Praktiker | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Kontrolle |0 (DE-588)4032312-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarekonfigurationsverwaltung |0 (DE-588)4199309-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareproduktionsumgebung |0 (DE-588)4138444-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hilfsprogramm |0 (DE-588)4231946-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Optimierung |0 (DE-588)4043664-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konsistenz |0 (DE-588)4166585-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Konsistenz |0 (DE-588)4166585-5 |D s |
| 689 | 0 | 2 | |a Hilfsprogramm |0 (DE-588)4231946-8 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 1 | 1 | |a Optimierung |0 (DE-588)4043664-0 |D s |
| 689 | 1 | 2 | |a Kontrolle |0 (DE-588)4032312-2 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareproduktionsumgebung |0 (DE-588)4138444-1 |D s |
| 689 | 2 | 1 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Softwarekonfigurationsverwaltung |0 (DE-588)4199309-3 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 689 | 4 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 4 | |8 6\p |5 DE-604 | |
| 830 | 0 | |a Informatik-Fachberichte |v 280 |w (DE-604)BV000006843 |9 280 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-76870-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868469 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153118164779008 |
|---|---|
| any_adam_object | |
| author | Westfechtel, Bernhard 1958- |
| author_GND | (DE-588)13380478X |
| author_facet | Westfechtel, Bernhard 1958- |
| author_role | aut |
| author_sort | Westfechtel, Bernhard 1958- |
| author_variant | b w bw |
| building | Verbundindex |
| bvnumber | BV042433139 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863811542 (DE-599)BVBBV042433139 |
| dewey-full | 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11 |
| dewey-search | 005.11 |
| dewey-sort | 15.11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-76870-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04525nmm a2200829zcb4500</leader><controlfield tag="001">BV042433139</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170817 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1991 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642768705</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-76870-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540544326</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-54432-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-76870-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863811542</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433139</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Westfechtel, Bernhard</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13380478X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung</subfield><subfield code="c">von Bernhard Westfechtel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 321 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">280</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Softwaresysteme werden immer größer und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bewältigen zu können.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch beschäftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterstützen lassen. Zur Spezifikation der Funktionalität entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, die auf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit über gängige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleichermaßen an Theoretiker und Praktiker</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrolle</subfield><subfield code="0">(DE-588)4032312-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarekonfigurationsverwaltung</subfield><subfield code="0">(DE-588)4199309-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareproduktionsumgebung</subfield><subfield code="0">(DE-588)4138444-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hilfsprogramm</subfield><subfield code="0">(DE-588)4231946-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Optimierung</subfield><subfield code="0">(DE-588)4043664-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenz</subfield><subfield code="0">(DE-588)4166585-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konsistenz</subfield><subfield code="0">(DE-588)4166585-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Hilfsprogramm</subfield><subfield code="0">(DE-588)4231946-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Optimierung</subfield><subfield code="0">(DE-588)4043664-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Kontrolle</subfield><subfield code="0">(DE-588)4032312-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareproduktionsumgebung</subfield><subfield code="0">(DE-588)4138444-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Softwarekonfigurationsverwaltung</subfield><subfield code="0">(DE-588)4199309-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">6\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">280</subfield><subfield code="w">(DE-604)BV000006843</subfield><subfield code="9">280</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-76870-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868469</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">6\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433139 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642768705 9783540544326 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868469 |
| oclc_num | 863811542 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (X, 321 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Informatik-Fachberichte |
| series2 | Informatik-Fachberichte |
| spelling | Westfechtel, Bernhard 1958- Verfasser (DE-588)13380478X aut Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung von Bernhard Westfechtel Berlin, Heidelberg Springer Berlin Heidelberg 1991 1 Online-Ressource (X, 321 S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 280 0343-3005 Softwaresysteme werden immer größer und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bewältigen zu können.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch beschäftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterstützen lassen. Zur Spezifikation der Funktionalität entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, die auf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit über gängige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleichermaßen an Theoretiker und Praktiker Computer science Computer Science Programming Techniques Informatik Kontrolle (DE-588)4032312-2 gnd rswk-swf Softwarekonfigurationsverwaltung (DE-588)4199309-3 gnd rswk-swf Softwareproduktionsumgebung (DE-588)4138444-1 gnd rswk-swf Hilfsprogramm (DE-588)4231946-8 gnd rswk-swf Konsistenzprüfung (DE-588)4165063-3 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Optimierung (DE-588)4043664-0 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Konsistenz (DE-588)4166585-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Konsistenz (DE-588)4166585-5 s Hilfsprogramm (DE-588)4231946-8 s 2\p DE-604 Softwaresystem (DE-588)4137282-7 s Optimierung (DE-588)4043664-0 s Kontrolle (DE-588)4032312-2 s 3\p DE-604 Softwareproduktionsumgebung (DE-588)4138444-1 s Konsistenzprüfung (DE-588)4165063-3 s 4\p DE-604 Softwarekonfigurationsverwaltung (DE-588)4199309-3 s 5\p DE-604 Software Engineering (DE-588)4116521-4 s 6\p DE-604 Informatik-Fachberichte 280 (DE-604)BV000006843 280 https://doi.org/10.1007/978-3-642-76870-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 6\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Westfechtel, Bernhard 1958- Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung Informatik-Fachberichte Computer science Computer Science Programming Techniques Informatik Kontrolle (DE-588)4032312-2 gnd Softwarekonfigurationsverwaltung (DE-588)4199309-3 gnd Softwareproduktionsumgebung (DE-588)4138444-1 gnd Hilfsprogramm (DE-588)4231946-8 gnd Konsistenzprüfung (DE-588)4165063-3 gnd Software Engineering (DE-588)4116521-4 gnd Optimierung (DE-588)4043664-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwaresystem (DE-588)4137282-7 gnd Konsistenz (DE-588)4166585-5 gnd |
| subject_GND | (DE-588)4032312-2 (DE-588)4199309-3 (DE-588)4138444-1 (DE-588)4231946-8 (DE-588)4165063-3 (DE-588)4116521-4 (DE-588)4043664-0 (DE-588)4116522-6 (DE-588)4137282-7 (DE-588)4166585-5 (DE-588)4113937-9 |
| title | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung |
| title_auth | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung |
| title_exact_search | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung |
| title_full | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung von Bernhard Westfechtel |
| title_fullStr | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung von Bernhard Westfechtel |
| title_full_unstemmed | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung von Bernhard Westfechtel |
| title_short | Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung |
| title_sort | revisions und konsistenzkontrolle in einer integrierten softwareentwicklungsumgebung |
| topic | Computer science Computer Science Programming Techniques Informatik Kontrolle (DE-588)4032312-2 gnd Softwarekonfigurationsverwaltung (DE-588)4199309-3 gnd Softwareproduktionsumgebung (DE-588)4138444-1 gnd Hilfsprogramm (DE-588)4231946-8 gnd Konsistenzprüfung (DE-588)4165063-3 gnd Software Engineering (DE-588)4116521-4 gnd Optimierung (DE-588)4043664-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwaresystem (DE-588)4137282-7 gnd Konsistenz (DE-588)4166585-5 gnd |
| topic_facet | Computer science Computer Science Programming Techniques Informatik Kontrolle Softwarekonfigurationsverwaltung Softwareproduktionsumgebung Hilfsprogramm Konsistenzprüfung Software Engineering Optimierung Softwareentwicklung Softwaresystem Konsistenz Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-76870-5 |
| volume_link | (DE-604)BV000006843 |
| work_keys_str_mv | AT westfechtelbernhard revisionsundkonsistenzkontrolleineinerintegriertensoftwareentwicklungsumgebung |