Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing
Gespeichert in:
Beteilige Person: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | Deutsch |
Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1979
|
Schriftenreihe: | Informatik-Fachberichte
21 |
Schlagwörter: | |
Links: | https://doi.org/10.1007/978-3-642-67485-3 |
Beschreibung: | Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsmethode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tätigkeitshierarchiebildung zeigt einen durchgehenden Weg über die Transformationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestützt die Programme entworfen werden. Damit ist es möglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrumentarium ab. Die Auffassung der Softwarewelt als Untermenge der Informationssystemwelt bietet berechtigte Aussichten, auch die dynamische Analyse des entworfenen Informationssystems mit einer geschlossenen, aufeinander abgestimmten Methodik durchführen zu können. Für die wertvollen Hinweise, Diskussionsbeitrage und Unterstützungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engagement zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbankschnittstelle Schneider, R., Günther, A. |
Umfang: | 1 Online-Ressource (VI, 266 S.) |
ISBN: | 9783642674853 9783540097730 |
ISSN: | 0343-3005 |
DOI: | 10.1007/978-3-642-67485-3 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV042432834 | ||
003 | DE-604 | ||
005 | 20170905 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1979 xx o|||| 00||| ger d | ||
020 | |a 9783642674853 |c Online |9 978-3-642-67485-3 | ||
020 | |a 9783540097730 |c Print |9 978-3-540-09773-0 | ||
024 | 7 | |a 10.1007/978-3-642-67485-3 |2 doi | |
035 | |a (OCoLC)863791532 | ||
035 | |a (DE-599)BVBBV042432834 | ||
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-1046 |a DE-1047 | ||
082 | 0 | |a 004 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Mayr, Heinrich C. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Formale Modelle für Informationssysteme |b GI-Fachtagung, 24.–26. Mai 1979, Tutzing |c herausgegeben von Heinrich C. Mayr, Bernd E. Meyer |
264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1979 | |
300 | |a 1 Online-Ressource (VI, 266 S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Informatik-Fachberichte |v 21 |x 0343-3005 | |
500 | |a Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsmethode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tätigkeitshierarchiebildung zeigt einen durchgehenden Weg über die Transformationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestützt die Programme entworfen werden. Damit ist es möglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrumentarium ab. Die Auffassung der Softwarewelt als Untermenge der Informationssystemwelt bietet berechtigte Aussichten, auch die dynamische Analyse des entworfenen Informationssystems mit einer geschlossenen, aufeinander abgestimmten Methodik durchführen zu können. Für die wertvollen Hinweise, Diskussionsbeitrage und Unterstützungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engagement zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbankschnittstelle Schneider, R., Günther, A. | ||
650 | 4 | |a Computer science | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Computer Science, general | |
650 | 4 | |a Informatik | |
650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modell |0 (DE-588)4039798-1 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1979 |z Tutzing |2 gnd-content | |
689 | 0 | 0 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
689 | 0 | 1 | |a Modell |0 (DE-588)4039798-1 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
700 | 1 | |a Meyer, Bernd E. |e Sonstige |4 oth | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-67485-3 |x Verlag |3 Volltext |
912 | |a ZDB-2-STI | ||
912 | |a ZDB-2-BAD | ||
940 | 1 | |q ZDB-2-STI_Archive | |
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 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027868165 |
Datensatz im Suchindex
DE-BY-TUM_katkey | 2075872 |
---|---|
_version_ | 1821931450622017538 |
any_adam_object | |
author | Mayr, Heinrich C. |
author_facet | Mayr, Heinrich C. |
author_role | aut |
author_sort | Mayr, Heinrich C. |
author_variant | h c m hc hcm |
building | Verbundindex |
bvnumber | BV042432834 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)863791532 (DE-599)BVBBV042432834 |
dewey-full | 004 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004 |
dewey-search | 004 |
dewey-sort | 14 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-642-67485-3 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03296nam a2200541zcb4500</leader><controlfield tag="001">BV042432834</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170905 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1979 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642674853</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-67485-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540097730</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-09773-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-67485-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863791532</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432834</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">Mayr, Heinrich C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Modelle für Informationssysteme</subfield><subfield code="b">GI-Fachtagung, 24.–26. Mai 1979, Tutzing</subfield><subfield code="c">herausgegeben von Heinrich C. Mayr, Bernd E. Meyer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 266 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="0" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">21</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsmethode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tätigkeitshierarchiebildung zeigt einen durchgehenden Weg über die Transformationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestützt die Programme entworfen werden. Damit ist es möglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrumentarium ab. Die Auffassung der Softwarewelt als Untermenge der Informationssystemwelt bietet berechtigte Aussichten, auch die dynamische Analyse des entworfenen Informationssystems mit einer geschlossenen, aufeinander abgestimmten Methodik durchführen zu können. Für die wertvollen Hinweise, Diskussionsbeitrage und Unterstützungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engagement zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbankschnittstelle Schneider, R., Günther, A.</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">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Modell</subfield><subfield code="0">(DE-588)4039798-1</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1979</subfield><subfield code="z">Tutzing</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modell</subfield><subfield code="0">(DE-588)4039798-1</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="700" ind1="1" ind2=" "><subfield code="a">Meyer, Bernd E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-67485-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868165</subfield></datafield></record></collection> |
genre | 1\p (DE-588)1071861417 Konferenzschrift 1979 Tutzing gnd-content |
genre_facet | Konferenzschrift 1979 Tutzing |
id | DE-604.BV042432834 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T17:11:05Z |
institution | BVB |
isbn | 9783642674853 9783540097730 |
issn | 0343-3005 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868165 |
oclc_num | 863791532 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
physical | 1 Online-Ressource (VI, 266 S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
publishDate | 1979 |
publishDateSearch | 1979 |
publishDateSort | 1979 |
publisher | Springer Berlin Heidelberg |
record_format | marc |
series2 | Informatik-Fachberichte |
spellingShingle | Mayr, Heinrich C. Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing Computer science Computer Science Computer Science, general Informatik Informationssystem (DE-588)4072806-7 gnd Modell (DE-588)4039798-1 gnd |
subject_GND | (DE-588)4072806-7 (DE-588)4039798-1 (DE-588)1071861417 |
title | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing |
title_auth | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing |
title_exact_search | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing |
title_full | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing herausgegeben von Heinrich C. Mayr, Bernd E. Meyer |
title_fullStr | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing herausgegeben von Heinrich C. Mayr, Bernd E. Meyer |
title_full_unstemmed | Formale Modelle für Informationssysteme GI-Fachtagung, 24.–26. Mai 1979, Tutzing herausgegeben von Heinrich C. Mayr, Bernd E. Meyer |
title_short | Formale Modelle für Informationssysteme |
title_sort | formale modelle fur informationssysteme gi fachtagung 24 26 mai 1979 tutzing |
title_sub | GI-Fachtagung, 24.–26. Mai 1979, Tutzing |
topic | Computer science Computer Science Computer Science, general Informatik Informationssystem (DE-588)4072806-7 gnd Modell (DE-588)4039798-1 gnd |
topic_facet | Computer science Computer Science Computer Science, general Informatik Informationssystem Modell Konferenzschrift 1979 Tutzing |
url | https://doi.org/10.1007/978-3-642-67485-3 |
work_keys_str_mv | AT mayrheinrichc formalemodellefurinformationssystemegifachtagung2426mai1979tutzing AT meyerbernde formalemodellefurinformationssystemegifachtagung2426mai1979tutzing |