Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | German English |
| Veröffentlicht: |
Bonn
Ges. für Informatik
2006
|
| Schriftenreihe: | GI-Edition
Proceedings ; 79 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021555477 | ||
| 003 | DE-604 | ||
| 005 | 20061207 | ||
| 007 | t | ||
| 008 | 060421s2006 gw ad|| |||| 10||| ger d | ||
| 015 | |a 06,N13,0043 |2 dnb | ||
| 016 | 7 | |a 978823427 |2 DE-101 | |
| 020 | |a 3885791730 |c Pb. : EUR 24.10 |9 3-88579-173-0 | ||
| 024 | 3 | |a 9783885791737 | |
| 035 | |a (OCoLC)179853459 | ||
| 035 | |a (DE-599)BVBBV021555477 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger |a eng | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-384 |a DE-863 |a DE-91G |a DE-19 |a DE-473 |a DE-703 |a DE-11 |a DE-706 | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a SQ 1100 |0 (DE-625)143351: |2 rvk | ||
| 084 | |a SS 2006 |0 (DE-625)143443: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Software engineering 2006 |b Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |c Bettina Biel ... (Hrsg.) |
| 264 | 1 | |a Bonn |b Ges. für Informatik |c 2006 | |
| 300 | |a 198 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a GI-Edition : Proceedings |v 79 | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2006 |z Leipzig |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Biel, Bettina |e Sonstige |4 oth | |
| 711 | 2 | |a Fachtagung Software Engineering |n 2 |d 2006 |c Leipzig |j Sonstige |0 (DE-588)10135068-5 |4 oth | |
| 830 | 0 | |a GI-Edition |v Proceedings ; 79 |w (DE-604)BV013746356 |9 79 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014771488&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014771488 | ||
Datensatz im Suchindex
| DE-473_call_number | 30/SS 2005 WX 33447-79 |
|---|---|
| DE-473_location | 0 |
| DE-BY-863_location | 1911 |
| DE-BY-FWS_call_number | 1911/2015:0339 |
| DE-BY-FWS_katkey | 266127 |
| DE-BY-FWS_media_number | 083100909441 |
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 990-79 |
| DE-BY-TUM_katkey | 1551788 |
| DE-BY-TUM_media_number | 040010240598 |
| DE-BY-UBG_katkey | 2205690 |
| DE-BY-UBG_media_number | 013106585458 |
| _version_ | 1816712566145024000 |
| adam_text | Inhaltsverzeichnis
Keynotes
Herausforderungen an das Software Engineering in der Versicherungswirtschan 13
Ralf Schneider
Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten
Applikationsentwicklung 15
Christian
Rhino
How to Educate a Computer Scientist
17
Mehdi Jazayeri
Eingeladene Praxisvorträge
Business-Integration
mit Service-Orientierten Architekturen?
Ein Erfahrungsbericht 21
Andreas Hutfless
Requirements
Engineering für ein wissenschaftliches Großexperiment 23
Georg Kühner
Forschungsarbeiten
Software-Architekturen und -Archive
Automatisierte Softwareüberprürung auf der Basis von Architekturregeln 27
Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal
Was Software-Archive erzählen 39
Stephan Diehl, Andreas
Zel
1er, Thomas Zimmermann
Software-Produktlinien
Anforderungsbasierte Erkennung von Feature-Interaktionen in der
Produktlinienenrwicklung 53
Andreas Metzger. Klaus Pohl
Dokumentation spezifischer Anforderungen im Application
Requirements
Engineering der Produktlinienentwicklung -9
Günter Halmans, Klaus Pohl
Testen
TEAGER
- Test Automation
for UML
State Machines
73
Thomas
Santen,
Dirk Seifert
Über die Spuren der testgetriebenen Entwicklung im Programmtext 85
Matthias M. Müller
Service-orientierte Architekturen
Eine Normalform für Services 99
Bernhard Humm, Oliver Juwig
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
Architekturen 111
Gregor Engels, Baris
Guidali,
Oliver Juwig, Marc Lohmann,
Jan-Peter Richter
Formale Methoden
Datenflussanalyse als Modelchecking im jABC 125
Anna-Lena Lamprecht, Tiziana
Margar
ia, Bernhard Steffen
State
Identification and Verification using
a
Model
Checker
1
3
1
Christopher
Robinson-Mallett, Peter Liggesmeyer
Compositional Verification of Timed Components using PVS
143
Marcel Kyas,
Jozef
Hooman
Software-Entwicklungsprozesse
Integrierte Softwaremessung durch Verankerung der Softwaremaße
an Elementen des Vorgehensmodells 157
Bernhard Daubner, Andreas Henrich, Bernhard Westfechtel
Effekte von Paararbeit 163
Tanja Bipp, Andreas Lepper, Doris Schmedding
Activity
Mining
for Discovering
Software
Process
Models 175
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer
Ein Ansatz zur formatneutralen Verwaltung von Metadaten in
komponentenorientierten Softwareprozessen 181
Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk
|
| adam_txt |
Inhaltsverzeichnis
Keynotes
Herausforderungen an das Software Engineering in der Versicherungswirtschan 13
Ralf Schneider
Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten
Applikationsentwicklung 15
Christian
Rhino
How to Educate a Computer Scientist
17
Mehdi Jazayeri
Eingeladene Praxisvorträge
Business-Integration
mit Service-Orientierten Architekturen?
Ein Erfahrungsbericht 21
Andreas Hutfless
Requirements
Engineering für ein wissenschaftliches Großexperiment 23
Georg Kühner
Forschungsarbeiten
Software-Architekturen und -Archive
Automatisierte Softwareüberprürung auf der Basis von Architekturregeln 27
Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal
Was Software-Archive erzählen 39
Stephan Diehl, Andreas
Zel
1er, Thomas Zimmermann
Software-Produktlinien
Anforderungsbasierte Erkennung von Feature-Interaktionen in der
Produktlinienenrwicklung 53
Andreas Metzger. Klaus Pohl
Dokumentation spezifischer Anforderungen im Application
Requirements
Engineering der Produktlinienentwicklung -9
Günter Halmans, Klaus Pohl
Testen
TEAGER
- Test Automation
for UML
State Machines
73
Thomas
Santen,
Dirk Seifert
Über die Spuren der testgetriebenen Entwicklung im Programmtext 85
Matthias M. Müller
Service-orientierte Architekturen
Eine Normalform für Services 99
Bernhard Humm, Oliver Juwig
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
Architekturen 111
Gregor Engels, Baris
Guidali,
Oliver Juwig, Marc Lohmann,
Jan-Peter Richter
Formale Methoden
Datenflussanalyse als Modelchecking im jABC 125
Anna-Lena Lamprecht, Tiziana
Margar
ia, Bernhard Steffen
State
Identification and Verification using
a
Model
Checker
1
3
1
Christopher
Robinson-Mallett, Peter Liggesmeyer
Compositional Verification of Timed Components using PVS
143
Marcel Kyas,
Jozef
Hooman
Software-Entwicklungsprozesse
Integrierte Softwaremessung durch Verankerung der Softwaremaße
an Elementen des Vorgehensmodells 157
Bernhard Daubner, Andreas Henrich, Bernhard Westfechtel
Effekte von Paararbeit 163
Tanja Bipp, Andreas Lepper, Doris Schmedding
Activity
Mining
for Discovering
Software
Process
Models 175
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer
Ein Ansatz zur formatneutralen Verwaltung von Metadaten in
komponentenorientierten Softwareprozessen 181
Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV021555477 |
| classification_rvk | SQ 1100 SS 2006 ST 230 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)179853459 (DE-599)BVBBV021555477 |
| 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 |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01920nam a2200469 cb4500</leader><controlfield tag="001">BV021555477</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061207 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060421s2006 gw ad|| |||| 10||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N13,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">978823427</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3885791730</subfield><subfield code="c">Pb. : EUR 24.10</subfield><subfield code="9">3-88579-173-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783885791737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179853459</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021555477</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><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</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">SQ 1100</subfield><subfield code="0">(DE-625)143351:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 2006</subfield><subfield code="0">(DE-625)143443:</subfield><subfield code="2">rvk</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering 2006</subfield><subfield code="b">Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig</subfield><subfield code="c">Bettina Biel ... (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn</subfield><subfield code="b">Ges. für Informatik</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">198 S.</subfield><subfield code="b">Ill., 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">GI-Edition : Proceedings</subfield><subfield code="v">79</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2006</subfield><subfield code="z">Leipzig</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biel, Bettina</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Fachtagung Software Engineering</subfield><subfield code="n">2</subfield><subfield code="d">2006</subfield><subfield code="c">Leipzig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10135068-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GI-Edition</subfield><subfield code="v">Proceedings ; 79</subfield><subfield code="w">(DE-604)BV013746356</subfield><subfield code="9">79</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=014771488&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-014771488</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2006 Leipzig gnd-content |
| genre_facet | Konferenzschrift 2006 Leipzig |
| id | DE-604.BV021555477 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:32:54Z |
| indexdate | 2024-11-25T17:26:05Z |
| institution | BVB |
| institution_GND | (DE-588)10135068-5 |
| isbn | 3885791730 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014771488 |
| oclc_num | 179853459 |
| open_access_boolean | |
| owner | DE-384 DE-863 DE-BY-FWS DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-703 DE-11 DE-706 |
| owner_facet | DE-384 DE-863 DE-BY-FWS DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-703 DE-11 DE-706 |
| physical | 198 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Ges. für Informatik |
| record_format | marc |
| series | GI-Edition |
| series2 | GI-Edition : Proceedings |
| spellingShingle | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig GI-Edition Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |
| title_auth | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |
| title_exact_search | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |
| title_exact_search_txtP | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |
| title_full | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig Bettina Biel ... (Hrsg.) |
| title_fullStr | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig Bettina Biel ... (Hrsg.) |
| title_full_unstemmed | Software engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig Bettina Biel ... (Hrsg.) |
| title_short | Software engineering 2006 |
| title_sort | software engineering 2006 fachtagung des gi fachbereichs softwaretechnik 28 31 marz 2006 in leipzig |
| title_sub | Fachtagung des GI-Fachbereichs Softwaretechnik ; 28. - 31. März 2006 in Leipzig |
| topic | Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering Konferenzschrift 2006 Leipzig |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014771488&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV013746356 |
| work_keys_str_mv | AT bielbettina softwareengineering2006fachtagungdesgifachbereichssoftwaretechnik2831marz2006inleipzig AT fachtagungsoftwareengineeringleipzig softwareengineering2006fachtagungdesgifachbereichssoftwaretechnik2831marz2006inleipzig |