Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior:
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Technische Universität Berlin
[2011]
|
| Schriftenreihe: | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Bericht-Nr. 2011-02 |
| Schlagworte: | |
| Online-Zugang: | 11303/11321 kostenfrei https://hdl.handle.net/11303/11321 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702000343555116 https://d-nb.info/1212111451/34 |
| Beschreibung: | 1 Online-Ressource (31 Seiten) Illustrationen, Diagramme |
| DOI: | 10.14279/depositonce-10206 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048421608 | ||
| 003 | DE-604 | ||
| 005 | 20240216 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220825s2011 gw |||| o||u| ||||||eng d | ||
| 015 | |a 20,O07 |2 dnb | ||
| 016 | 7 | |a 1212111451 |2 DE-101 | |
| 024 | 7 | |a 10.14279/depositonce-10206 |2 doi | |
| 024 | 7 | |a urn:nbn:de:101:1-2020061702000343555116 |2 urn | |
| 035 | |a (OCoLC)1344237162 | ||
| 035 | |a (DE-599)DNB1212111451 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a 006.33 |2 sdnb | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Ermel, Claudia |e Verfasser |0 (DE-588)114558914 |4 aut | |
| 245 | 1 | 0 | |a Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |c Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany |
| 264 | 1 | |a Berlin |b Technische Universität Berlin |c [2011] | |
| 300 | |a 1 Online-Ressource (31 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin |v Bericht-Nr. 2011-02 | |
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |5 DE-101 |2 pdager | |
| 650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konfluenz |g Informatik |0 (DE-588)4516767-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Plausibilitätsprüfung |0 (DE-588)4354294-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4155043-2 |a Forschungsbericht |2 gnd-content | |
| 689 | 0 | 0 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 0 | 1 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
| 689 | 0 | 2 | |a Plausibilitätsprüfung |0 (DE-588)4354294-3 |D s |
| 689 | 0 | 3 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
| 689 | 0 | 4 | |a Konfluenz |g Informatik |0 (DE-588)4516767-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gall, Jürgen |e Verfasser |0 (DE-588)1147011699 |4 aut | |
| 700 | 1 | |a Lambers, Leen |e Verfasser |0 (DE-588)131769251 |4 aut | |
| 700 | 1 | |a Taentzer, Gabriele |d 1963- |e Verfasser |0 (DE-588)128378778 |4 aut | |
| 810 | 2 | |a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik |t Technische Berichte |v 2011,2 |w (DE-604)BV021689926 |9 2011,2 | |
| 856 | |u 11303/11321 | ||
| 856 | 4 | 0 | |u https://doi.org/10.14279/depositonce-10206 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u https://hdl.handle.net/11303/11321 |x Resolving-System |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:101:1-2020061702000343555116 |x Resolving-System |
| 856 | 4 | 0 | |u https://d-nb.info/1212111451/34 |x Langzeitarchivierung Nationalbibliothek |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033799897 | ||
Datensatz im Suchindex
| _version_ | 1804184338180341760 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ermel, Claudia Gall, Jürgen Lambers, Leen Taentzer, Gabriele 1963- |
| author_GND | (DE-588)114558914 (DE-588)1147011699 (DE-588)131769251 (DE-588)128378778 |
| author_facet | Ermel, Claudia Gall, Jürgen Lambers, Leen Taentzer, Gabriele 1963- |
| author_role | aut aut aut aut |
| author_sort | Ermel, Claudia |
| author_variant | c e ce j g jg l l ll g t gt |
| building | Verbundindex |
| bvnumber | BV048421608 |
| classification_rvk | ST 140 |
| collection | ebook |
| ctrlnum | (OCoLC)1344237162 (DE-599)DNB1212111451 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.14279/depositonce-10206 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03089nmm a2200625 cb4500</leader><controlfield tag="001">BV048421608</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240216 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220825s2011 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">20,O07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1212111451</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10206</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020061702000343555116</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344237162</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212111451</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">006.33</subfield><subfield code="2">sdnb</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">Ermel, Claudia</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114558914</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior</subfield><subfield code="c">Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Technische Universität Berlin</subfield><subfield code="c">[2011]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (31 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin</subfield><subfield code="v">Bericht-Nr. 2011-02</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konfluenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4516767-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Plausibilitätsprüfung</subfield><subfield code="0">(DE-588)4354294-3</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="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155043-2</subfield><subfield code="a">Forschungsbericht</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Plausibilitätsprüfung</subfield><subfield code="0">(DE-588)4354294-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Konfluenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4516767-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gall, Jürgen</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1147011699</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lambers, Leen</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131769251</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taentzer, Gabriele</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128378778</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin, Fakultät Elektrotechnik und Informatik</subfield><subfield code="t">Technische Berichte</subfield><subfield code="v">2011,2</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2011,2</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">11303/11321</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.14279/depositonce-10206</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://hdl.handle.net/11303/11321</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:101:1-2020061702000343555116</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212111451/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033799897</subfield></datafield></record></collection> |
| genre | (DE-588)4155043-2 Forschungsbericht gnd-content |
| genre_facet | Forschungsbericht |
| id | DE-604.BV048421608 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T20:27:47Z |
| indexdate | 2024-07-10T09:37:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033799897 |
| oclc_num | 1344237162 |
| open_access_boolean | 1 |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 1 Online-Ressource (31 Seiten) Illustrationen, Diagramme |
| psigel | ebook |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Technische Universität Berlin |
| record_format | marc |
| series2 | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin |
| spelling | Ermel, Claudia Verfasser (DE-588)114558914 aut Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany Berlin Technische Universität Berlin [2011] 1 Online-Ressource (31 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2011-02 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Konfluenz Informatik (DE-588)4516767-9 gnd rswk-swf Plausibilitätsprüfung (DE-588)4354294-3 gnd rswk-swf Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Graphersetzungssystem (DE-588)4274073-3 s Entwurfssprache (DE-588)4295335-2 s Plausibilitätsprüfung (DE-588)4354294-3 s Konsistenz Informatik (DE-588)4214306-8 s Konfluenz Informatik (DE-588)4516767-9 s DE-604 Gall, Jürgen Verfasser (DE-588)1147011699 aut Lambers, Leen Verfasser (DE-588)131769251 aut Taentzer, Gabriele 1963- Verfasser (DE-588)128378778 aut Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2011,2 (DE-604)BV021689926 2011,2 11303/11321 https://doi.org/10.14279/depositonce-10206 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11321 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020061702000343555116 Resolving-System https://d-nb.info/1212111451/34 Langzeitarchivierung Nationalbibliothek |
| spellingShingle | Ermel, Claudia Gall, Jürgen Lambers, Leen Taentzer, Gabriele 1963- Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior Entwurfssprache (DE-588)4295335-2 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Konfluenz Informatik (DE-588)4516767-9 gnd Plausibilitätsprüfung (DE-588)4354294-3 gnd Konsistenz Informatik (DE-588)4214306-8 gnd |
| subject_GND | (DE-588)4295335-2 (DE-588)4274073-3 (DE-588)4516767-9 (DE-588)4354294-3 (DE-588)4214306-8 (DE-588)4155043-2 |
| title | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
| title_auth | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
| title_exact_search | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
| title_exact_search_txtP | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
| title_full | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany |
| title_fullStr | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany |
| title_full_unstemmed | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior Claudia Ermel (1), Jürgen Gall (1), Leen Lambers (2), Gabriele Taentzer (3), 1. Technische Universität Berlin, Germany, 2. Hasso-Plattner-Institut für Softwaresystemtechnik, Potsdam, Germany, 3. Philipps-Universität Marburg, Germany |
| title_short | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
| title_sort | modeling with plausibility checking inspecting favorable and critical signs for consistency between control flow and functional behavior |
| topic | Entwurfssprache (DE-588)4295335-2 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Konfluenz Informatik (DE-588)4516767-9 gnd Plausibilitätsprüfung (DE-588)4354294-3 gnd Konsistenz Informatik (DE-588)4214306-8 gnd |
| topic_facet | Entwurfssprache Graphersetzungssystem Konfluenz Informatik Plausibilitätsprüfung Konsistenz Informatik Forschungsbericht |
| url | 11303/11321 https://doi.org/10.14279/depositonce-10206 https://hdl.handle.net/11303/11321 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702000343555116 https://d-nb.info/1212111451/34 |
| volume_link | (DE-604)BV021689926 |
| work_keys_str_mv | AT ermelclaudia modelingwithplausibilitycheckinginspectingfavorableandcriticalsignsforconsistencybetweencontrolflowandfunctionalbehavior AT galljurgen modelingwithplausibilitycheckinginspectingfavorableandcriticalsignsforconsistencybetweencontrolflowandfunctionalbehavior AT lambersleen modelingwithplausibilitycheckinginspectingfavorableandcriticalsignsforconsistencybetweencontrolflowandfunctionalbehavior AT taentzergabriele modelingwithplausibilitycheckinginspectingfavorableandcriticalsignsforconsistencybetweencontrolflowandfunctionalbehavior |