---
_id: '7583'
abstract:
- lang: eng
  text: This thesis describes an approach for automated detection of concurrent liveness
    failures in the execution of Java programs. Concurrent programs are highly prone
    to failure because of the inherent nondeterminism. Developers of concurrent Java
    programs are not well supported in detecting concurrency failures, i.e. failures
    that are due to interactions between multiple threads. These failures are neither
    well documented nor do tools like debuggers allow developers to identify them
    at runtime. This thesis analyses and classifies liveness failures, a special kind
    of concurrency failures, and the associated potentials in Java. A UML statechart
    is developed that models the interaction of Java threads. Liveness failures and
    potentials are specified formally in terms of the states controlling the interaction
    of threads and in terms of the events exchanged by interacting threads. Detection
    algorithms are developed to identify the specified failures in a program execution.
    A UML profile extending UML interaction diagrams is developed to visualise the
    execution of concurrent Java programs and detected liveness failures and potentials.
    In order to deploy the algorithms and the UML profile, tool support concepts are
    provided. This involves the specification of a trace format and a tracing method
    to collect execution data from a running Java program, and the specification of
    methods to analyse the trace and to visualise the trace and the analysis results.
    The concepts are implemented in the JAVIS prototype, which consists of a Java
    tracer with an analysis facility for monitoring liveness in concurrent Java programs,
    and a plug-in extension to the UML CASE tool Together for importing and displaying
    concurrent Java traces including failures and potentials.
author:
- first_name: Katharina
  full_name: Mehner, Katharina
  last_name: Mehner
citation:
  ama: Mehner K. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs
    with UML</i>.; 2005.
  apa: Mehner, K. (2005). <i>Trace-based Debugging and Visualisation of Concurrent
    Java Programs with UML</i>.
  bibtex: '@book{Mehner_2005, title={Trace-based Debugging and Visualisation of Concurrent
    Java Programs with UML}, author={Mehner, Katharina}, year={2005} }'
  chicago: Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent
    Java Programs with UML</i>, 2005.
  ieee: K. Mehner, <i>Trace-based Debugging and Visualisation of Concurrent Java Programs
    with UML</i>. 2005.
  mla: Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent
    Java Programs with UML</i>. 2005.
  short: K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs
    with UML, 2005.
date_created: 2019-02-06T14:26:49Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Trace-based Debugging and Visualisation of Concurrent Java Programs with UML
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '7584'
abstract:
- lang: eng
  text: The technique of Dynamic Meta Modeling allows for specifying the semantics
    of visual modeling languages (like, e.g., the Unified Modeling Language, UML).
    It is aimed at combining formal rigor (allowing for automated processing of expressions
    in the language and reasoning about them) with a user-friendly visual notation.
    We do explicitly exploit the meta modeling paradigm to provide our formalizations
    within a form known to the expected user base. Technically, DMM uses an innovative
    combination of elements from denotational and operational semantics together with
    Graph Transformations. The thesis furthermore introduces a technically richer
    concept of relations to the Meta Object Facility (MOF). As an extended application
    example the core semantics of UML Activity Diagrams are formalized within this
    thesis. Pragmatic guidelines to formulate specifications in DMM and tool support
    to test the effect of such specifications complete the thesis.
author:
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
citation:
  ama: 'Hendrik Hausmann J. <i>Dynamic Meta Modeling: A Semantics Description Technique
    for Visual Modeling Languages</i>.; 2005.'
  apa: 'Hendrik Hausmann, J. (2005). <i>Dynamic Meta Modeling: A Semantics Description
    Technique for Visual Modeling Languages</i>.'
  bibtex: '@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics
    Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann,
    Jan}, year={2005} }'
  chicago: 'Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description
    Technique for Visual Modeling Languages</i>, 2005.'
  ieee: 'J. Hendrik Hausmann, <i>Dynamic Meta Modeling: A Semantics Description Technique
    for Visual Modeling Languages</i>. 2005.'
  mla: 'Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description Technique
    for Visual Modeling Languages</i>. 2005.'
  short: 'J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique
    for Visual Modeling Languages, 2005.'
date_created: 2019-02-06T14:27:26Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: 'Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling
  Languages'
type: dissertation
user_id: '52534'
year: '2005'
...
---
_id: '8394'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform
    Independent User Interface Design. In: <i>Proceedings of the MoDELS’05 Workshop
    on Model Driven Development of Advanced User Interfaces</i>. Vol 159. CEUR Workshop
    Proceedings. CEUR-WS.org; 2005.'
  apa: Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings
    for Platform Independent User Interface Design. In <i>Proceedings of the MoDELS’05
    Workshop on Model Driven Development of Advanced User Interfaces</i> (Vol. 159).
    CEUR-WS.org.
  bibtex: '@inproceedings{Schattkowsky_Lohmann_2005, series={CEUR Workshop Proceedings},
    title={Towards employing UML Model Mappings for Platform Independent User Interface
    Design}, volume={159}, booktitle={Proceedings of the MoDELS’05 Workshop on Model
    Driven Development of Advanced User Interfaces}, publisher={CEUR-WS.org}, author={Schattkowsky,
    Tim and Lohmann, Marc}, year={2005}, collection={CEUR Workshop Proceedings} }'
  chicago: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
    for Platform Independent User Interface Design.” In <i>Proceedings of the MoDELS’05
    Workshop on Model Driven Development of Advanced User Interfaces</i>, Vol. 159.
    CEUR Workshop Proceedings. CEUR-WS.org, 2005.
  ieee: T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for
    Platform Independent User Interface Design,” in <i>Proceedings of the MoDELS’05
    Workshop on Model Driven Development of Advanced User Interfaces</i>, 2005, vol.
    159.
  mla: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
    for Platform Independent User Interface Design.” <i>Proceedings of the MoDELS’05
    Workshop on Model Driven Development of Advanced User Interfaces</i>, vol. 159,
    CEUR-WS.org, 2005.
  short: 'T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on
    Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.'
date_created: 2019-03-06T11:29:01Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '       159'
language:
- iso: eng
main_file_link:
- url: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-159/paper6.pdf
publication: Proceedings of the MoDELS'05 Workshop on Model Driven Development of
  Advanced User Interfaces
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Towards employing UML Model Mappings for Platform Independent User Interface
  Design
type: conference
user_id: '52534'
volume: 159
year: '2005'
...
---
_id: '8395'
author:
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Carsten
  full_name: Rust, Carsten
  last_name: Rust
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Franz
  full_name: Josef Rammig, Franz
  last_name: Josef Rammig
citation:
  ama: 'Rettberg A, Schattkowsky T, Rust C, Müller W, Josef Rammig F. The Reconfigurable
    UML Machine Project Group. In: <i>Proceedings of the EduTech Workshop on New Trends
    and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech
    2005), Perth (Australia)</i>. Vol 192. IFIP - International Federation for Information
    Processing. Berlin/Heidelberg: Springer; 2005:139-147.'
  apa: 'Rettberg, A., Schattkowsky, T., Rust, C., Müller, W., &#38; Josef Rammig,
    F. (2005). The Reconfigurable UML Machine Project Group. In <i>Proceedings of
    the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
    for Computer-Aided Design (Edutech 2005), Perth (Australia)</i> (Vol. 192, pp.
    139–147). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Rettberg_Schattkowsky_Rust_Müller_Josef Rammig_2005, place={Berlin/Heidelberg},
    series={IFIP - International Federation for Information Processing}, title={The
    Reconfigurable UML Machine Project Group}, volume={192}, booktitle={Proceedings
    of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
    for Computer-Aided Design (Edutech 2005), Perth (Australia)}, publisher={Springer},
    author={Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang
    and Josef Rammig, Franz}, year={2005}, pages={139–147}, collection={IFIP - International
    Federation for Information Processing} }'
  chicago: 'Rettberg, Achim, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, and
    Franz Josef Rammig. “The Reconfigurable UML Machine Project Group.” In <i>Proceedings
    of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
    for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, 192:139–47. IFIP
    - International Federation for Information Processing. Berlin/Heidelberg: Springer,
    2005.'
  ieee: A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, and F. Josef Rammig, “The
    Reconfigurable UML Machine Project Group,” in <i>Proceedings of the EduTech Workshop
    on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
    (Edutech 2005), Perth (Australia)</i>, 2005, vol. 192, pp. 139–147.
  mla: Rettberg, Achim, et al. “The Reconfigurable UML Machine Project Group.” <i>Proceedings
    of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
    for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, vol. 192, Springer,
    2005, pp. 139–47.
  short: 'A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings
    of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning
    for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg,
    2005, pp. 139–147.'
date_created: 2019-03-06T11:29:02Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '       192'
language:
- iso: eng
page: 139-147
place: Berlin/Heidelberg
publication: Proceedings of the EduTech Workshop on New Trends and Technologies in
  Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)
publisher: Springer
series_title: IFIP - International Federation for Information Processing
status: public
title: The Reconfigurable UML Machine Project Group
type: conference
user_id: '52534'
volume: 192
year: '2005'
...
---
_id: '8396'
author:
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Cherchago A, Engels G. Preservation of Compatibility under Evolution of Software
    Components. In: <i>International ERCIM-ESF Workshop on Challenges in Software
    Evolution (ChaSE 2005), Berne (Switzerland)</i>. ; 2005.'
  apa: Cherchago, A., &#38; Engels, G. (2005). Preservation of Compatibility under
    Evolution of Software Components. In <i>International ERCIM-ESF Workshop on Challenges
    in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>.
  bibtex: '@inproceedings{Cherchago_Engels_2005, title={Preservation of Compatibility
    under Evolution of Software Components}, booktitle={International ERCIM-ESF Workshop
    on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}, author={Cherchago,
    Alexey and Engels, Gregor}, year={2005} }'
  chicago: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
    Evolution of Software Components.” In <i>International ERCIM-ESF Workshop on Challenges
    in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.
  ieee: A. Cherchago and G. Engels, “Preservation of Compatibility under Evolution
    of Software Components,” in <i>International ERCIM-ESF Workshop on Challenges
    in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.
  mla: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
    Evolution of Software Components.” <i>International ERCIM-ESF Workshop on Challenges
    in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.
  short: 'A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges
    in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.'
date_created: 2019-03-06T11:29:04Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: International ERCIM-ESF Workshop on Challenges in Software Evolution
  (ChaSE 2005), Berne (Switzerland)
status: public
title: Preservation of Compatibility under Evolution of Software Components
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '8397'
abstract:
- lang: ger
  text: Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice
    Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices
    müssen die Anforderungen eines Requestors und die Beschreibung eines Services
    miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht
    aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert
    auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte
    Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte,
    semantische Suche nach Web Services möglich.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Engels G, Lohmann M, Sauer S. Design by Contract zur semantischen Beschreibung
    von Web Services. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band
    2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop
    Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn
    (Germany)</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
    (GI); 2005:612-616.'
  apa: 'Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Design by Contract zur semantischen
    Beschreibung von Web Services. In <i>Proceedings of Informatik 2005 - Informatik
    LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
    (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
    &#38; IT, Bonn (Germany)</i> (Vol. 68, pp. 612–616). Bonn: Gesellschaft für Informatik
    (GI).'
  bibtex: '@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture
    Notes in Informatics}, title={Design by Contract zur semantischen Beschreibung
    von Web Services}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik
    LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
    (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
    &#38; IT, Bonn (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
    Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={612–616}, collection={Lecture
    Notes in Informatics} }'
  chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Design by Contract Zur
    Semantischen Beschreibung von Web Services.” In <i>Proceedings of Informatik 2005
    - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für
    Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken
    von Business &#38; IT, Bonn (Germany)</i>, 68:612–16. Lecture Notes in Informatics.
    Bonn: Gesellschaft für Informatik (GI), 2005.'
  ieee: G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen
    Beschreibung von Web Services,” in <i>Proceedings of Informatik 2005 - Informatik
    LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
    (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
    &#38; IT, Bonn (Germany)</i>, 2005, vol. 68, pp. 612–616.
  mla: Engels, Gregor, et al. “Design by Contract Zur Semantischen Beschreibung von
    Web Services.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge
    Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte
    Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, vol.
    68, Gesellschaft für Informatik (GI), 2005, pp. 612–16.
  short: 'G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik
    LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V.
    (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business
    &#38; IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.'
date_created: 2019-03-06T11:29:05Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '        68'
language:
- iso: eng
page: 612-616
place: Bonn
publication: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der
  35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte
  Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Design by Contract zur semantischen Beschreibung von Web Services
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '8398'
abstract:
- lang: eng
  text: 'Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der
    Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei
    zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung
    eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services
    korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken
    auf der Modellebene zur semantischen Beschreibung von Web Services und führen
    ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten
    ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich.
    Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web
    Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen
    Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung
    eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine
    konstruktive und prüfende Qualitätssicherung unterstützt.'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services
    mit Design by Contract. In: <i>Proceedings of Informatik 2005 - Informatik LIVE!
    Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI),
    Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>. Vol 68. Lecture
    Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.'
  apa: 'Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Modellbasierte Entwicklung
    von Web Services mit Design by Contract. In <i>Proceedings of Informatik 2005
    - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für
    Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>
    (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture
    Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit
    Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 -
    Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik
    e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft
    für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan},
    year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }'
  chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung
    von Web Services Mit Design by Contract.” In <i>Proceedings of Informatik 2005
    - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für
    Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>,
    68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
    2005.'
  ieee: G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services
    mit Design by Contract,” in <i>Proceedings of Informatik 2005 - Informatik LIVE!
    Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI),
    Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 2005, vol. 68,
    pp. 491–495.
  mla: Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design
    by Contract.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge
    Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte
    Qualitätssicherung, Bonn, Germany</i>, vol. 68, Gesellschaft für Informatik (GI),
    2005, pp. 491–95.
  short: 'G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik
    LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V.
    (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft
    für Informatik (GI), Bonn, 2005, pp. 491–495.'
date_created: 2019-03-06T11:29:06Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '        68'
language:
- iso: eng
page: 491-495
place: Bonn
publication: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der
  35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte
  Qualitätssicherung, Bonn, Germany
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Modellbasierte Entwicklung von Web Services mit Design by Contract
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '8399'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
citation:
  ama: 'Heckel R, Thöne S. Behavioral Refinement of Graph Transformation-Based Models.
    In: <i>Proceedings of the Workshop on Software Evolution through Transformations
    (SETra 2004), Rome (Italy)</i>. Vol 127. Amsterdam, The Netherlands: Elsevier;
    2005:101-111. doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.08.037">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>'
  apa: 'Heckel, R., &#38; Thöne, S. (2005). Behavioral Refinement of Graph Transformation-Based
    Models. In <i>Proceedings of the workshop on Software Evolution through Transformations
    (SETra 2004), Rome (Italy)</i> (Vol. 127, pp. 101–111). Amsterdam, The Netherlands:
    Elsevier. <a href="http://dx.doi.org/10.1016/j.entcs.2004.08.037">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>'
  bibtex: '@inproceedings{Heckel_Thöne_2005, place={Amsterdam, The Netherlands}, title={Behavioral
    Refinement of Graph Transformation-Based Models}, volume={127}, DOI={<a href="http://dx.doi.org/10.1016/j.entcs.2004.08.037">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>},
    number={3}, booktitle={Proceedings of the workshop on Software Evolution through
    Transformations (SETra 2004), Rome (Italy)}, publisher={Elsevier}, author={Heckel,
    Reiko and Thöne, Sebastian}, year={2005}, pages={101–111} }'
  chicago: 'Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based
    Models.” In <i>Proceedings of the Workshop on Software Evolution through Transformations
    (SETra 2004), Rome (Italy)</i>, 127:101–11. Amsterdam, The Netherlands: Elsevier,
    2005. <a href="http://dx.doi.org/10.1016/j.entcs.2004.08.037">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>.'
  ieee: R. Heckel and S. Thöne, “Behavioral Refinement of Graph Transformation-Based
    Models,” in <i>Proceedings of the workshop on Software Evolution through Transformations
    (SETra 2004), Rome (Italy)</i>, 2005, vol. 127, no. 3, pp. 101–111.
  mla: Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based
    Models.” <i>Proceedings of the Workshop on Software Evolution through Transformations
    (SETra 2004), Rome (Italy)</i>, vol. 127, no. 3, Elsevier, 2005, pp. 101–11, doi:<a
    href="http://dx.doi.org/10.1016/j.entcs.2004.08.037">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>.
  short: 'R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution
    through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands,
    2005, pp. 101–111.'
date_created: 2019-03-06T11:29:07Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.08.037
intvolume: '       127'
issue: '3'
language:
- iso: eng
page: 101-111
place: Amsterdam, The Netherlands
publication: Proceedings of the workshop on Software Evolution through Transformations
  (SETra 2004), Rome (Italy)
publisher: Elsevier
status: public
title: Behavioral Refinement of Graph Transformation-Based Models
type: conference
user_id: '52534'
volume: 127
year: '2005'
...
---
_id: '8400'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Heckel R, Lohmann M. Towards Contract-based Testing of Web Services. In: <i>Proceedings
    of the International Workshop on Test and Analysis of Component Based Systems
    (TACoS 2004)</i>. Vol 116. Elsevier; 2005:145-156. doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.073">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>'
  apa: Heckel, R., &#38; Lohmann, M. (2005). Towards Contract-based Testing of Web
    Services. In <i>Proceedings of the International Workshop on Test and Analysis
    of Component Based Systems (TACoS 2004)</i> (Vol. 116, pp. 145–156). Elsevier.
    <a href="http://dx.doi.org/10.1016/j.entcs.2004.02.073">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>
  bibtex: '@inproceedings{Heckel_Lohmann_2005, title={Towards Contract-based Testing
    of Web Services}, volume={116}, DOI={<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.073">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>},
    booktitle={Proceedings of the International Workshop on Test and Analysis of Component
    Based Systems (TACoS 2004)}, publisher={Elsevier}, author={Heckel, Reiko and Lohmann,
    Marc}, year={2005}, pages={145–156} }'
  chicago: Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web
    Services.” In <i>Proceedings of the International Workshop on Test and Analysis
    of Component Based Systems (TACoS 2004)</i>, 116:145–56. Elsevier, 2005. <a href="http://dx.doi.org/10.1016/j.entcs.2004.02.073">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>.
  ieee: R. Heckel and M. Lohmann, “Towards Contract-based Testing of Web Services,”
    in <i>Proceedings of the International Workshop on Test and Analysis of Component
    Based Systems (TACoS 2004)</i>, 2005, vol. 116, pp. 145–156.
  mla: Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.”
    <i>Proceedings of the International Workshop on Test and Analysis of Component
    Based Systems (TACoS 2004)</i>, vol. 116, Elsevier, 2005, pp. 145–56, doi:<a href="http://dx.doi.org/10.1016/j.entcs.2004.02.073">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>.
  short: 'R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on
    Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp.
    145–156.'
date_created: 2019-03-06T11:29:08Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.02.073
intvolume: '       116'
language:
- iso: eng
page: 145-156
publication: Proceedings of the International Workshop on Test and Analysis of Component
  Based Systems (TACoS 2004)
publisher: Elsevier
status: public
title: Towards Contract-based Testing of Web Services
type: conference
user_id: '52534'
volume: 116
year: '2005'
...
---
_id: '8401'
abstract:
- lang: eng
  text: While model based design of platform independent application logic has already
    shown significant success, the design of platform independent user interfaces
    still needs further investigation. Nowadays, user interface design is usually
    platform specific or based on C-level cross-platform libraries. In this paper,
    we propose a MDA like design approach for user interfaces based on the transformation
    of UML models at different levels of abstraction. This enables platform independent
    design of user interfaces and a clear separation of UI and application logic design
    while enabling full use of native controls in the actual user interface implementation.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform
    Independent User Interface Design (Revised). In: <i>Proceedings of the Satellite
    Events at the MoDELS 2005 Conference</i>. Vol 3844. LNCS. Berlin/Heidelberg: Springer;
    2005:201-209. doi:<a href="http://dx.doi.org/10.1007/11663430_21">http://dx.doi.org/10.1007/11663430_21</a>'
  apa: 'Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings
    for Platform Independent User Interface Design (Revised). In <i>Proceedings of
    the Satellite Events at the MoDELS 2005 Conference</i> (Vol. 3844, pp. 201–209).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/11663430_21">http://dx.doi.org/10.1007/11663430_21</a>'
  bibtex: '@inproceedings{Schattkowsky_Lohmann_2005, place={Berlin/Heidelberg}, series={LNCS},
    title={Towards employing UML Model Mappings for Platform Independent User Interface
    Design (Revised)}, volume={3844}, DOI={<a href="http://dx.doi.org/10.1007/11663430_21">http://dx.doi.org/10.1007/11663430_21</a>},
    booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference},
    publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2005},
    pages={201–209}, collection={LNCS} }'
  chicago: 'Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
    for Platform Independent User Interface Design (Revised).” In <i>Proceedings of
    the Satellite Events at the MoDELS 2005 Conference</i>, 3844:201–9. LNCS. Berlin/Heidelberg:
    Springer, 2005. <a href="http://dx.doi.org/10.1007/11663430_21">http://dx.doi.org/10.1007/11663430_21</a>.'
  ieee: T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for
    Platform Independent User Interface Design (Revised),” in <i>Proceedings of the
    Satellite Events at the MoDELS 2005 Conference</i>, 2005, vol. 3844, pp. 201–209.
  mla: Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings
    for Platform Independent User Interface Design (Revised).” <i>Proceedings of the
    Satellite Events at the MoDELS 2005 Conference</i>, vol. 3844, Springer, 2005,
    pp. 201–09, doi:<a href="http://dx.doi.org/10.1007/11663430_21">http://dx.doi.org/10.1007/11663430_21</a>.
  short: 'T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at
    the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.'
date_created: 2019-03-06T11:29:09Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11663430_21
intvolume: '      3844'
language:
- iso: eng
page: 201-209
place: Berlin/Heidelberg
publication: Proceedings of the Satellite Events at the MoDELS 2005 Conference
publisher: Springer
series_title: LNCS
status: public
title: Towards employing UML Model Mappings for Platform Independent User Interface
  Design (Revised)
type: conference
user_id: '52534'
volume: 3844
year: '2005'
...
---
_id: '8402'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Schattkowsky T, Hendrik Hausmann J, Rettberg A. Using UML Activities for Synthesis
    on Reconfigurable Hardware. In: <i>Proceedings of the UML for SoC Design Workshop</i>.
    Anaheim, USA; 2005.'
  apa: Schattkowsky, T., Hendrik Hausmann, J., &#38; Rettberg, A. (2005). Using UML
    Activities for Synthesis on Reconfigurable Hardware. In <i>Proceedings of the
    UML for SoC Design Workshop</i>. Anaheim, USA.
  bibtex: '@inproceedings{Schattkowsky_Hendrik Hausmann_Rettberg_2005, place={Anaheim,
    USA}, title={Using UML Activities for Synthesis on Reconfigurable Hardware}, booktitle={Proceedings
    of the UML for SoC Design Workshop}, author={Schattkowsky, Tim and Hendrik Hausmann,
    Jan and Rettberg, Achim}, year={2005} }'
  chicago: Schattkowsky, Tim, Jan Hendrik Hausmann, and Achim Rettberg. “Using UML
    Activities for Synthesis on Reconfigurable Hardware.” In <i>Proceedings of the
    UML for SoC Design Workshop</i>. Anaheim, USA, 2005.
  ieee: T. Schattkowsky, J. Hendrik Hausmann, and A. Rettberg, “Using UML Activities
    for Synthesis on Reconfigurable Hardware,” in <i>Proceedings of the UML for SoC
    Design Workshop</i>, 2005.
  mla: Schattkowsky, Tim, et al. “Using UML Activities for Synthesis on Reconfigurable
    Hardware.” <i>Proceedings of the UML for SoC Design Workshop</i>, 2005.
  short: 'T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the
    UML for SoC Design Workshop, Anaheim, USA, 2005.'
date_created: 2019-03-06T11:29:11Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
place: Anaheim, USA
publication: Proceedings of the UML for SoC Design Workshop
status: public
title: Using UML Activities for Synthesis on Reconfigurable Hardware
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7782'
citation:
  ama: 'Engels G, Seehusen S, eds. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning
    Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft für Informatik
    (GI); 2004.'
  apa: 'Engels, G., &#38; Seehusen, S. (Eds.). (2004). <i>Proceedings of “DeLFI 2004:
    Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft
    für Informatik (GI).'
  bibtex: '@book{Engels_Seehusen_2004, place={Bonn}, series={Lecture Notes in Informatics},
    title={Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn
    (Germany)}, number={P-52}, publisher={Gesellschaft für Informatik (GI)}, year={2004},
    collection={Lecture Notes in Informatics} }'
  chicago: 'Engels, Gregor, and S. Seehusen, eds. <i>Proceedings of “DeLFI 2004: Die
    2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Lecture Notes in
    Informatics. Bonn: Gesellschaft für Informatik (GI), 2004.'
  ieee: 'G. Engels and S. Seehusen, Eds., <i>Proceedings of “DeLFI 2004: Die 2. e-Learning
    Fachtagung Informatik”, Paderborn (Germany)</i>, no. P-52. Bonn: Gesellschaft
    für Informatik (GI), 2004.'
  mla: 'Engels, Gregor, and S. Seehusen, editors. <i>Proceedings of “DeLFI 2004: Die
    2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. no. P-52, Gesellschaft
    für Informatik (GI), 2004.'
  short: 'G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning
    Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI),
    Bonn, 2004.'
date_created: 2019-02-19T18:42:54Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: S.
  full_name: Seehusen, S.
  last_name: Seehusen
issue: P-52
language:
- iso: eng
place: Bonn
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn
  (Germany)'
type: conference_editor
user_id: '52534'
year: '2004'
...
---
_id: '7783'
citation:
  ama: Engels G, Sauer S, eds. <i>Modeling and Development of Multimedia Systems</i>.
    Vol 14. World Scientific; 2004. doi:<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>
  apa: Engels, G., &#38; Sauer, S. (Eds.). (2004). <i>Modeling and Development of
    Multimedia Systems</i> (Vol. 14). World Scientific. <a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>
  bibtex: '@book{Engels_Sauer_2004, series={Special Issue of the International Journal
    of Software Engineering and Knowledge Engineering}, title={Modeling and Development
    of Multimedia Systems}, volume={14}, DOI={<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>},
    number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue
    of the International Journal of Software Engineering and Knowledge Engineering}
    }'
  chicago: Engels, Gregor, and Stefan Sauer, eds. <i>Modeling and Development of Multimedia
    Systems</i>. Vol. 14. Special Issue of the International Journal of Software Engineering
    and Knowledge Engineering. World Scientific, 2004. <a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>.
  ieee: G. Engels and S. Sauer, Eds., <i>Modeling and Development of Multimedia Systems</i>,
    vol. 14, no. 6. World Scientific, 2004.
  mla: Engels, Gregor, and Stefan Sauer, editors. <i>Modeling and Development of Multimedia
    Systems</i>. Vol. 14, no. 6, World Scientific, 2004, doi:<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>.
  short: G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems,
    World Scientific, 2004.
date_created: 2019-02-19T18:43:42Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
editor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
intvolume: '        14'
issue: '6'
language:
- iso: eng
publisher: World Scientific
series_title: Special Issue of the International Journal of Software Engineering and
  Knowledge Engineering
status: public
title: Modeling and Development of Multimedia Systems
type: conference_editor
user_id: '52534'
volume: 14
year: '2004'
...
---
_id: '7784'
citation:
  ama: 'Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. <i>Proceedings of
    the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>.
    Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  apa: 'Ehrig, H., Engels, G., Parisi-Presicce, F., &#38; Rozenberg, G. (Eds.). (2004).
    <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT
    2004), Rome (Italy)</i> (Vol. 3256). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  bibtex: '@book{Ehrig_Engels_Parisi-Presicce_Rozenberg_2004, place={Berlin/Heidelberg},
    series={LNCS}, title={Proceedings of the 2nd International Conference on Graph
    Transformations (ICGT 2004), Rome (Italy)}, volume={3256}, DOI={<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>},
    publisher={Springer}, year={2004}, collection={LNCS} }'
  chicago: 'Ehrig, Hartmut, Gregor Engels, F. Parisi-Presicce, and Grzegorz Rozenberg,
    eds. <i>Proceedings of the 2nd International Conference on Graph Transformations
    (ICGT 2004), Rome (Italy)</i>. Vol. 3256. LNCS. Berlin/Heidelberg: Springer, 2004.
    <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.'
  ieee: 'H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., <i>Proceedings
    of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
    (Italy)</i>, vol. 3256. Berlin/Heidelberg: Springer, 2004.'
  mla: Ehrig, Hartmut, et al., editors. <i>Proceedings of the 2nd International Conference
    on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256, Springer, 2004,
    doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.
  short: H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings
    of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
    (Italy), Springer, Berlin/Heidelberg, 2004.
date_created: 2019-02-19T18:44:31Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b100934
editor:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: F.
  full_name: Parisi-Presicce, F.
  last_name: Parisi-Presicce
- first_name: Grzegorz
  full_name: Rozenberg, Grzegorz
  last_name: Rozenberg
intvolume: '      3256'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: Proceedings of the 2nd International Conference on Graph Transformations (ICGT
  2004), Rome (Italy)
type: conference_editor
user_id: '52534'
volume: 3256
year: '2004'
...
---
_id: '7917'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Christoph
  full_name: Loeser, Christoph
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks. In: <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>. Washington, DC, USA: IEEE Computer Society; 2004:611-616.'
  apa: 'Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks. In <i>Proceedings
    of the 18th International Conference on Advanced Information Networking and Applications
    (AINA 2004), Fukuoka (Japan)</i> (pp. 611–616). Washington, DC, USA: IEEE Computer
    Society.'
  bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Washington, DC,
    USA}, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
    Networks}, booktitle={Proceedings of the 18th International Conference on Advanced
    Information Networking and Applications (AINA 2004), Fukuoka (Japan)}, publisher={IEEE
    Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller,
    Wolfgang}, year={2004}, pages={611–616} }'
  chicago: 'Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-To-Peer
    Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings
    of the 18th International Conference on Advanced Information Networking and Applications
    (AINA 2004), Fukuoka (Japan)</i>, 611–16. Washington, DC, USA: IEEE Computer Society,
    2004.'
  ieee: T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks,” in <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>, 2004, pp. 611–616.
  mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
    Services in Heterogeneous Networks.” <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>, IEEE Computer Society, 2004, pp. 611–16.
  short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.'
date_created: 2019-02-21T11:23:11Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 611-616
place: Washington, DC, USA
publication: Proceedings of the 18th International Conference on Advanced Information
  Networking and Applications (AINA 2004), Fukuoka (Japan)
publisher: IEEE Computer Society
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7918'
author:
- first_name: Luciano
  full_name: Baresi, Luciano
  last_name: Baresi
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
- first_name: Dániel
  full_name: Varró, Dániel
  last_name: Varró
citation:
  ama: 'Baresi L, Heckel R, Thöne S, Varró D. Style-Based Refinement of Dynamic Software
    Architectures. In: <i>Proceedings of the Conference on Software Architecture (WICSA
    2004), Oslo (Norway)</i>. Washington, DC, USA: IEEE Computer Society; 2004:155-166.'
  apa: 'Baresi, L., Heckel, R., Thöne, S., &#38; Varró, D. (2004). Style-Based Refinement
    of Dynamic Software Architectures. In <i>Proceedings of the conference on Software
    Architecture (WICSA 2004), Oslo (Norway)</i> (pp. 155–166). Washington, DC, USA:
    IEEE Computer Society.'
  bibtex: '@inproceedings{Baresi_Heckel_Thöne_Varró_2004, place={Washington, DC, USA},
    title={Style-Based Refinement of Dynamic Software Architectures}, booktitle={Proceedings
    of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}, publisher={IEEE
    Computer Society}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian
    and Varró, Dániel}, year={2004}, pages={155–166} }'
  chicago: 'Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based
    Refinement of Dynamic Software Architectures.” In <i>Proceedings of the Conference
    on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 155–66. Washington,
    DC, USA: IEEE Computer Society, 2004.'
  ieee: L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic
    Software Architectures,” in <i>Proceedings of the conference on Software Architecture
    (WICSA 2004), Oslo (Norway)</i>, 2004, pp. 155–166.
  mla: Baresi, Luciano, et al. “Style-Based Refinement of Dynamic Software Architectures.”
    <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>,
    IEEE Computer Society, 2004, pp. 155–66.
  short: 'L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference
    on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington,
    DC, USA, 2004, pp. 155–166.'
date_created: 2019-02-21T11:23:38Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 155-166
place: Washington, DC, USA
publication: Proceedings of the conference on Software Architecture (WICSA 2004),
  Oslo (Norway)
publisher: IEEE Computer Society
status: public
title: Style-Based Refinement of Dynamic Software Architectures
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7919'
author:
- first_name: Fevzi
  full_name: Belli, Fevzi
  last_name: Belli
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
citation:
  ama: 'Belli F, Güldali B. Software Testing via Model Checking. In: <i>Proceedings
    of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>. Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:<a
    href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>'
  apa: 'Belli, F., &#38; Güldali, B. (2004). Software Testing via Model Checking.
    In <i>Proceedings of the conference on Computer and Information Sciences (ISCIS
    2004), Kemer-Antalya (Turkey)</i> (Vol. 3280, pp. 907–916). Berlin/Heidelberg:
    Springer. <a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>'
  bibtex: '@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS},
    title={Software Testing via Model Checking}, volume={3280}, DOI={<a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>},
    booktitle={Proceedings of the conference on Computer and Information Sciences
    (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi
    and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }'
  chicago: 'Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.”
    In <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS
    2004), Kemer-Antalya (Turkey)</i>, 3280:907–16. LNCS. Berlin/Heidelberg: Springer,
    2004. <a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>.'
  ieee: F. Belli and B. Güldali, “Software Testing via Model Checking,” in <i>Proceedings
    of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>, 2004, vol. 3280, pp. 907–916.
  mla: Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” <i>Proceedings
    of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>, vol. 3280, Springer, 2004, pp. 907–16, doi:<a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>.
  short: 'F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and
    Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg,
    2004, pp. 907–916.'
date_created: 2019-02-21T11:24:23Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b101749
intvolume: '      3280'
language:
- iso: eng
page: 907-916
place: Berlin/Heidelberg
publication: Proceedings of the conference on Computer and Information Sciences (ISCIS
  2004), Kemer-Antalya (Turkey)
publisher: Springer
series_title: LNCS
status: public
title: Software Testing via Model Checking
type: conference
user_id: '52534'
volume: 3280
year: '2004'
...
---
_id: '7920'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Ping
  full_name: Guo, Ping
  last_name: Guo
citation:
  ama: 'Heckel R, Guo P. Conceptual Modeling of Styles For Mobile Systems: A layered
    approach based on graph transformation. In: <i>Proceedings of the Conference on
    Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>. Vol 158. IFIP - International
    Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79.
    doi:<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>'
  apa: 'Heckel, R., &#38; Guo, P. (2004). Conceptual Modeling of Styles For Mobile
    Systems: A layered approach based on graph transformation. In <i>Proceedings of
    the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i> (Vol.
    158, pp. 65–79). Berlin/Heidelberg: Springer. <a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>'
  bibtex: '@inproceedings{Heckel_Guo_2004, place={Berlin/Heidelberg}, series={IFIP
    - International Federation for Information Processing}, title={Conceptual Modeling
    of Styles For Mobile Systems: A layered approach based on graph transformation},
    volume={158}, DOI={<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>},
    booktitle={Proceedings of the conference on Mobile Information Systems (MOBIS
    2004), Oslo (Norway)}, publisher={Springer}, author={Heckel, Reiko and Guo, Ping},
    year={2004}, pages={65–79}, collection={IFIP - International Federation for Information
    Processing} }'
  chicago: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile
    Systems: A Layered Approach Based on Graph Transformation.” In <i>Proceedings
    of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>,
    158:65–79. IFIP - International Federation for Information Processing. Berlin/Heidelberg:
    Springer, 2004. <a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>.'
  ieee: 'R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems:
    A layered approach based on graph transformation,” in <i>Proceedings of the conference
    on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 2004, vol. 158,
    pp. 65–79.'
  mla: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems:
    A Layered Approach Based on Graph Transformation.” <i>Proceedings of the Conference
    on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, vol. 158, Springer,
    2004, pp. 65–79, doi:<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>.'
  short: 'R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information
    Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.'
date_created: 2019-02-21T11:24:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/0-387-22874-8_5
intvolume: '       158'
language:
- iso: eng
page: 65-79
place: Berlin/Heidelberg
publication: Proceedings of the conference on Mobile Information Systems (MOBIS 2004),
  Oslo (Norway)
publisher: Springer
series_title: IFIP - International Federation for Information Processing
status: public
title: 'Conceptual Modeling of Styles For Mobile Systems: A layered approach based
  on graph transformation'
type: conference
user_id: '52534'
volume: 158
year: '2004'
...
---
_id: '7921'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
citation:
  ama: 'Heckel R, Cherchago A. Application of Graph Transformation for Automating
    Web Service Discovery. In: <i>Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl
    Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum
    für Informatik (IBFI); 2004.'
  apa: 'Heckel, R., &#38; Cherchago, A. (2004). Application of Graph Transformation
    for Automating Web Service Discovery. In <i>Proceedings of the seminar on Language
    Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>.
    Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik
    (IBFI).'
  bibtex: '@inproceedings{Heckel_Cherchago_2004, place={Dagstuhl, Germany}, series={Dagstuhl
    Seminar Proceedings}, title={Application of Graph Transformation for Automating
    Web Service Discovery}, booktitle={Proceedings of the seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)}, publisher={Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI)}, author={Heckel, Reiko
    and Cherchago, Alexey}, year={2004}, collection={Dagstuhl Seminar Proceedings}
    }'
  chicago: 'Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation
    for Automating Web Service Discovery.” In <i>Proceedings of the Seminar on Language
    Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>.
    Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und
    Forschungszentrum für Informatik (IBFI), 2004.'
  ieee: R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating
    Web Service Discovery,” in <i>Proceedings of the seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, 2004.
  mla: Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for
    Automating Web Service Discovery.” <i>Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.
  short: 'R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.'
date_created: 2019-02-21T11:25:33Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Dagstuhl, Germany
publication: Proceedings of the seminar on Language Engineering for Model-Driven Software
  Development (2003), Dagstuhl (Germany)
publisher: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)
series_title: Dagstuhl Seminar Proceedings
status: public
title: Application of Graph Transformation for Automating Web Service Discovery
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7922'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings
    of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed
    Computing (ISORC 2004), Vienna (Austria)</i>. Los Alamitos, CA, USA: IEEE Computer
    Society; 2004:121-128.'
  apa: 'Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded
    Systems. In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented
    Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i> (pp. 121–128).
    Los Alamitos, CA, USA: IEEE Computer Society.'
  bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA},
    title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of the
    7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
    (ISORC 2004), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Schattkowsky,
    Tim and Müller, Wolfgang}, year={2004}, pages={121–128} }'
  chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded
    Systems.” In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented
    Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 121–28. Los
    Alamitos, CA, USA: IEEE Computer Society, 2004.'
  ieee: T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in
    <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
    Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 2004, pp. 121–128.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.”
    <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
    Distributed Computing (ISORC 2004), Vienna (Austria)</i>, IEEE Computer Society,
    2004, pp. 121–28.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International
    Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna
    (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.'
date_created: 2019-02-21T11:25:54Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 121-128
place: Los Alamitos, CA, USA
publication: Proceedings of the 7th IEEE International Symposium on Object-Oriented
  Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)
publisher: IEEE Computer Society
status: public
title: Model-Based Design of Embedded Systems
type: conference
user_id: '52534'
year: '2004'
...