---
_id: '7958'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
citation:
  ama: 'Schattkowsky T, Engels G, Förster A. A Model-Based Approach for Platform-Independent
    Binary Components with Precise Timing and Fine-Grained Concurrency. In: <i>Proceedings
    of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>.
    Washington, DC, USA: IEEE Computer Society; 2007:286ff. doi:<a href="http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>'
  apa: 'Schattkowsky, T., Engels, G., &#38; Förster, A. (2007). A Model-Based Approach
    for Platform-Independent Binary Components with Precise Timing and Fine-Grained
    Concurrency. In <i>Proceedings of the 40th Annual Hawaii International Conference
    on System Sciences (HICSS 2007)</i> (p. 286ff.). Washington, DC, USA: IEEE Computer
    Society. <a href="http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>'
  bibtex: '@inproceedings{Schattkowsky_Engels_Förster_2007, place={Washington, DC,
    USA}, title={A Model-Based Approach for Platform-Independent Binary Components
    with Precise Timing and Fine-Grained Concurrency}, DOI={<a href="http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>},
    booktitle={Proceedings of the 40th Annual Hawaii International Conference on System
    Sciences (HICSS 2007)}, publisher={IEEE Computer Society}, author={Schattkowsky,
    Tim and Engels, Gregor and Förster, Alexander}, year={2007}, pages={286ff.} }'
  chicago: 'Schattkowsky, Tim, Gregor Engels, and Alexander Förster. “A Model-Based
    Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained
    Concurrency.” In <i>Proceedings of the 40th Annual Hawaii International Conference
    on System Sciences (HICSS 2007)</i>, 286ff. Washington, DC, USA: IEEE Computer
    Society, 2007. <a href="http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>.'
  ieee: T. Schattkowsky, G. Engels, and A. Förster, “A Model-Based Approach for Platform-Independent
    Binary Components with Precise Timing and Fine-Grained Concurrency,” in <i>Proceedings
    of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>,
    2007, p. 286ff.
  mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Platform-Independent
    Binary Components with Precise Timing and Fine-Grained Concurrency.” <i>Proceedings
    of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>,
    IEEE Computer Society, 2007, p. 286ff., doi:<a href="http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>.
  short: 'T. Schattkowsky, G. Engels, A. Förster, in: Proceedings of the 40th Annual
    Hawaii International Conference on System Sciences (HICSS 2007), IEEE Computer
    Society, Washington, DC, USA, 2007, p. 286ff.'
date_created: 2019-02-21T11:56:25Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22
language:
- iso: eng
page: 286ff.
place: Washington, DC, USA
publication: Proceedings of the 40th Annual Hawaii International Conference on System
  Sciences (HICSS 2007)
publisher: IEEE Computer Society
status: public
title: A Model-Based Approach for Platform-Independent Binary Components with Precise
  Timing and Fine-Grained Concurrency
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7962'
abstract:
- lang: eng
  text: GUI builder tools are widely used in practice to develop the user interface
    of software systems. Typically they are visual programming tools that support
    direct-manipulative assembling of the user interface components. We have developed
    the tool GuiBuilder which follows a model-driven approach to the development of
    graphical (multimedia) user interfaces. This allows a meta-design approach where
    user interface developers as well as prospective users of the system are supported
    in modelling the desired functionality of the GUI on a high level of abstraction
    that is easy to understand for all involved stakeholders. The model consists of
    compositional presentation diagrams to model the structure of the user interface
    and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports
    the transformation of the model to Java, i.e., the generation of a working user
    interface and the simulation of the modelled behaviour. Interactive sessions with
    the user interface can be recorded and replayed.
author:
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Sauer S, Engels G. Easy Model-Driven Development of Multimedia User Interfaces
    with GuiBuilder. In: <i>Proceeding of the 4th International Conference on Universal
    Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007),
    Beijing (China)</i>. Vol 4554. LNCS. Berlin/Heidelberg: Springer; 2007:537-546.
    doi:<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>'
  apa: 'Sauer, S., &#38; Engels, G. (2007). Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder. In <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i> (Vol. 4554, pp. 537–546). Berlin/Heidelberg: Springer.
    <a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>'
  bibtex: '@inproceedings{Sauer_Engels_2007, place={Berlin/Heidelberg}, series={LNCS},
    title={Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder},
    volume={4554}, DOI={<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>},
    booktitle={Proceeding of the 4th International Conference on Universal Access
    in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing
    (China)}, publisher={Springer}, author={Sauer, Stefan and Engels, Gregor}, year={2007},
    pages={537–546}, collection={LNCS} }'
  chicago: 'Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder.” In <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, 4554:537–46. LNCS. Berlin/Heidelberg: Springer, 2007.
    <a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.'
  ieee: S. Sauer and G. Engels, “Easy Model-Driven Development of Multimedia User
    Interfaces with GuiBuilder,” in <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, 2007, vol. 4554, pp. 537–546.
  mla: Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder.” <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, vol. 4554, Springer, 2007, pp. 537–46, doi:<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.
  short: 'S. Sauer, G. Engels, in: Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.'
date_created: 2019-02-21T11:56:29Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-73279-2_60
intvolume: '      4554'
language:
- iso: eng
page: 537-546
place: Berlin/Heidelberg
publication: Proceeding of the 4th International Conference on Universal Access in
  Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing
  (China)
publisher: Springer
series_title: LNCS
status: public
title: Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
type: conference
user_id: '52534'
volume: 4554
year: '2007'
...
---
_id: '7963'
author:
- first_name: Jan-Christopher
  full_name: Bals, Jan-Christopher
  last_name: Bals
- first_name: Fabian
  full_name: Christ, Fabian
  last_name: Christ
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Martin
  full_name: Erwig, Martin
  last_name: Erwig
citation:
  ama: 'Bals J-C, Christ F, Engels G, Erwig M. ClassSheets - model-based, object-oriented
    design of spreadsheet applications. In: <i>Proceedings of the TOOLS Europe Conference
    (TOOLS 2007), Zürich (Swiss)</i>. Vol 6. Journal of Object Technology; 2007:383-398.
    doi:<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>'
  apa: Bals, J.-C., Christ, F., Engels, G., &#38; Erwig, M. (2007). ClassSheets -
    model-based, object-oriented design of spreadsheet applications. In <i>Proceedings
    of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i> (Vol. 6, pp. 383–398).
    Journal of Object Technology. <a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>
  bibtex: '@inproceedings{Bals_Christ_Engels_Erwig_2007, title={ClassSheets - model-based,
    object-oriented design of spreadsheet applications}, volume={6}, DOI={<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>},
    number={9}, booktitle={Proceedings of the TOOLS Europe Conference (TOOLS 2007),
    Zürich (Swiss)}, publisher={Journal of Object Technology}, author={Bals, Jan-Christopher
    and Christ, Fabian and Engels, Gregor and Erwig, Martin}, year={2007}, pages={383–398}
    }'
  chicago: Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Martin Erwig.
    “ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications.”
    In <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>,
    6:383–98. Journal of Object Technology, 2007. <a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.
  ieee: J.-C. Bals, F. Christ, G. Engels, and M. Erwig, “ClassSheets - model-based,
    object-oriented design of spreadsheet applications,” in <i>Proceedings of the
    TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>, 2007, vol. 6, no. 9,
    pp. 383–398.
  mla: Bals, Jan-Christopher, et al. “ClassSheets - Model-Based, Object-Oriented Design
    of Spreadsheet Applications.” <i>Proceedings of the TOOLS Europe Conference (TOOLS
    2007), Zürich (Swiss)</i>, vol. 6, no. 9, Journal of Object Technology, 2007,
    pp. 383–98, doi:<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.
  short: 'J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS
    Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology,
    2007, pp. 383–398.'
date_created: 2019-02-21T11:56:31Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://www.jot.fm/issues/issue_2007_10/paper19/index.html
intvolume: '         6'
issue: '9'
language:
- iso: eng
page: 383-398
publication: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)
publisher: Journal of Object Technology
status: public
title: ClassSheets - model-based, object-oriented design of spreadsheet applications
type: conference
user_id: '52534'
volume: 6
year: '2007'
...
---
_id: '7965'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Ragnhild
  full_name: Van Der Straeten, Ragnhild
  last_name: Van Der Straeten
citation:
  ama: 'Förster A, Engels G, Schattkowsky T, Van Der Straeten R. Verification of Business
    Process Quality Constraints Based on Visual Process Patterns. In: <i>Proceedings
    of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
    (TASE 2007), Shanghai (China)</i>. Washington, DC, USA: IEEE Computer Society;
    2007:197-208. doi:<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>'
  apa: 'Förster, A., Engels, G., Schattkowsky, T., &#38; Van Der Straeten, R. (2007).
    Verification of Business Process Quality Constraints Based on Visual Process Patterns.
    In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
    of Software Engineering (TASE 2007), Shanghai (China)</i> (pp. 197–208). Washington,
    DC, USA: IEEE Computer Society. <a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>'
  bibtex: '@inproceedings{Förster_Engels_Schattkowsky_Van Der Straeten_2007, place={Washington,
    DC, USA}, title={Verification of Business Process Quality Constraints Based on
    Visual Process Patterns}, DOI={<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>},
    booktitle={Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
    of Software Engineering (TASE 2007), Shanghai (China)}, publisher={IEEE Computer
    Society}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim
    and Van Der Straeten, Ragnhild}, year={2007}, pages={197–208} }'
  chicago: 'Förster, Alexander, Gregor Engels, Tim Schattkowsky, and Ragnhild Van
    Der Straeten. “Verification of Business Process Quality Constraints Based on Visual
    Process Patterns.” In <i>Proceedings of the First Joint IEEE/IFIP Symposium on
    Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>,
    197–208. Washington, DC, USA: IEEE Computer Society, 2007. <a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>.'
  ieee: A. Förster, G. Engels, T. Schattkowsky, and R. Van Der Straeten, “Verification
    of Business Process Quality Constraints Based on Visual Process Patterns,” in
    <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of
    Software Engineering (TASE 2007), Shanghai (China)</i>, 2007, pp. 197–208.
  mla: Förster, Alexander, et al. “Verification of Business Process Quality Constraints
    Based on Visual Process Patterns.” <i>Proceedings of the First Joint IEEE/IFIP
    Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai
    (China)</i>, IEEE Computer Society, 2007, pp. 197–208, doi:<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>.
  short: 'A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings
    of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
    (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007,
    pp. 197–208.'
date_created: 2019-02-21T11:56:33Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/TASE.2007.56
language:
- iso: eng
page: 197-208
place: Washington, DC, USA
publication: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
  of Software Engineering (TASE 2007), Shanghai (China)
publisher: IEEE Computer Society
status: public
title: Verification of Business Process Quality Constraints Based on Visual Process
  Patterns
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7375'
author:
- first_name: Jan-Christopher
  full_name: Bals, Jan-Christopher
  last_name: Bals
- first_name: Fabian
  full_name: Christ, Fabian
  last_name: Christ
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente
    Software. <i>Forschungsforum Paderborn</i>. 2007;10:56-60.
  apa: Bals, J.-C., Christ, F., Engels, G., &#38; Sauer, S. (2007). Software-Qualität
    - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>, <i>10</i>,
    56–60.
  bibtex: '@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall!
    - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals,
    Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007},
    pages={56–60} }'
  chicago: 'Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer.
    “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>
    10 (2007): 56–60.'
  ieee: J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall!
    - Excel-lente Software,” <i>Forschungsforum Paderborn</i>, vol. 10, pp. 56–60,
    2007.
  mla: Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.”
    <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60.
  short: J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10
    (2007) 56–60.
date_created: 2019-01-31T15:28:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        10'
language:
- iso: eng
page: 56-60
publication: Forschungsforum Paderborn
status: public
title: Software-Qualität - überall! - Excel-lente Software
type: journal_article
user_id: '52534'
volume: 10
year: '2007'
...
---
_id: '8414'
abstract:
- lang: eng
  text: The Model-Driven Architecture (MDA) approach for constructing software systems
    advocates a stepwise refinement and transformation process starting from high-level
    models to concrete program code. In contrast to numerous research efforts that
    try to generate executable function code from models, we propose a novel approach
    termed model-driven monitoring. On the model level the behavior of an operation
    is specified with a pair of UML composite structure diagrams (visual contract),
    a visual notation for pre- and post-conditions. The specified behavior is implemented
    by a programmer manually. An automatic translation from our visual contracts to
    JML assertions allows for monitoring the hand-coded programs during their execution.
    In this paper we present an approach to extend our model-driven monitoring approach
    to allow for model-driven unit testing. In this approach we utilize the generated
    JML assertions as test oracles. Further, we present an idea how to generate sufficient
    test cases from our visual contracts with the help of model-checking techniques.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings
    of the 2006 International Conference on Models in Software Engineering (MoDELS
    2006)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:<a href="http://dx.doi.org/10.1007/978-3-540-69489-2_23">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>'
  apa: 'Engels, G., Güldali, B., &#38; Lohmann, M. (2007). Towards Model-Driven Unit
    Testing. In <i>Proceedings of the 2006 International Conference on Models in Software
    Engineering (MoDELS 2006)</i> (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer.
    <a href="http://dx.doi.org/10.1007/978-3-540-69489-2_23">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>'
  bibtex: '@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg},
    series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={<a
    href="http://dx.doi.org/10.1007/978-3-540-69489-2_23">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>},
    booktitle={Proceedings of the 2006 International Conference on Models in Software
    Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali,
    Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }'
  chicago: 'Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven
    Unit Testing.” In <i>Proceedings of the 2006 International Conference on Models
    in Software Engineering (MoDELS 2006)</i>, 4364:182–92. LNCS. Berlin/Heidelberg:
    Springer, 2007. <a href="http://dx.doi.org/10.1007/978-3-540-69489-2_23">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.'
  ieee: G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,”
    in <i>Proceedings of the 2006 International Conference on Models in Software Engineering
    (MoDELS 2006)</i>, 2007, vol. 4364, pp. 182–192.
  mla: Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings
    of the 2006 International Conference on Models in Software Engineering (MoDELS
    2006)</i>, vol. 4364, Springer, 2007, pp. 182–92, doi:<a href="http://dx.doi.org/10.1007/978-3-540-69489-2_23">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.
  short: 'G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International
    Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg,
    2007, pp. 182–192.'
date_created: 2019-03-06T11:44:57Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_23
intvolume: '      4364'
language:
- iso: eng
page: 182-192
place: Berlin/Heidelberg
publication: Proceedings of the 2006 International Conference on Models in Software
  Engineering (MoDELS 2006)
publisher: Springer
series_title: LNCS
status: public
title: Towards Model-Driven Unit Testing
type: conference
user_id: '52534'
volume: 4364
year: '2007'
...
---
_id: '8415'
author:
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling
    Techniques. In: <i>Symposium “A Formal Semantics for UML” (Satellite Event of
    the MoDELS Conference 2006), Genova (Italy)</i>. Vol 4364. LNCS. Berlin/Heidelberg:
    Springer; 2007:329-330. doi:<a href="http://dx.doi.org/10.1007/978-3-540-69489-2_42">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>'
  apa: 'Soltenborn, C., &#38; Engels, G. (2007). Analysis of UML Activities with Dynamic
    Meta Modeling Techniques. In <i>Symposium “A Formal Semantics for UML” (satellite
    event of the MoDELS conference 2006), Genova (Italy)</i> (Vol. 4364, pp. 329–330).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/978-3-540-69489-2_42">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>'
  bibtex: '@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS},
    title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364},
    DOI={<a href="http://dx.doi.org/10.1007/978-3-540-69489-2_42">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>},
    booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS
    conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian
    and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }'
  chicago: 'Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities
    with Dynamic Meta Modeling Techniques.” In <i>Symposium “A Formal Semantics for
    UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, 4364:329–30.
    LNCS. Berlin/Heidelberg: Springer, 2007. <a href="http://dx.doi.org/10.1007/978-3-540-69489-2_42">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.'
  ieee: C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta
    Modeling Techniques,” in <i>Symposium “A Formal Semantics for UML” (satellite
    event of the MoDELS conference 2006), Genova (Italy)</i>, 2007, vol. 4364, pp.
    329–330.
  mla: Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with
    Dynamic Meta Modeling Techniques.” <i>Symposium “A Formal Semantics for UML” (Satellite
    Event of the MoDELS Conference 2006), Genova (Italy)</i>, vol. 4364, Springer,
    2007, pp. 329–30, doi:<a href="http://dx.doi.org/10.1007/978-3-540-69489-2_42">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.
  short: 'C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite
    Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg,
    2007, pp. 329–330.'
date_created: 2019-03-06T11:44:58Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_42
intvolume: '      4364'
language:
- iso: eng
page: 329-330
place: Berlin/Heidelberg
publication: Symposium "A Formal Semantics for UML" (satellite event of the MoDELS
  conference 2006), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Analysis of UML Activities with Dynamic Meta Modeling Techniques
type: conference
user_id: '14955'
volume: 4364
year: '2007'
...
---
_id: '7949'
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: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Schattkowsky T, Hendrik Hausmann J, Engels G. Using UML Activities for System-on-Chip
    Design and Synthesis. In: <i>Proceedings of the International Conference on Model
    Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>. Vol
    4199/2006. LNCS. Berlin/Heidelberg: Springer; 2006:737-752. doi:<a href="https://doi.org/dx.doi.org/10.1007/11880240_51">dx.doi.org/10.1007/11880240_51</a>'
  apa: 'Schattkowsky, T., Hendrik Hausmann, J., &#38; Engels, G. (2006). Using UML
    Activities for System-on-Chip Design and Synthesis. In <i>Proceedings of the International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova
    (Italy)</i> (Vol. 4199/2006, pp. 737–752). Berlin/Heidelberg: Springer. <a href="https://doi.org/dx.doi.org/10.1007/11880240_51">https://doi.org/dx.doi.org/10.1007/11880240_51</a>'
  bibtex: '@inproceedings{Schattkowsky_Hendrik Hausmann_Engels_2006, place={Berlin/Heidelberg},
    series={LNCS}, title={Using UML Activities for System-on-Chip Design and Synthesis},
    volume={4199/2006}, DOI={<a href="https://doi.org/dx.doi.org/10.1007/11880240_51">dx.doi.org/10.1007/11880240_51</a>},
    booktitle={Proceedings of the International Conference on Model Driven Engineering
    Languages and Systems (MoDELS 2006), Genova (Italy)}, publisher={Springer}, author={Schattkowsky,
    Tim and Hendrik Hausmann, Jan and Engels, Gregor}, year={2006}, pages={737–752},
    collection={LNCS} }'
  chicago: 'Schattkowsky, Tim, Jan Hendrik Hausmann, and Gregor Engels. “Using UML
    Activities for System-on-Chip Design and Synthesis.” In <i>Proceedings of the
    International Conference on Model Driven Engineering Languages and Systems (MoDELS
    2006), Genova (Italy)</i>, 4199/2006:737–52. LNCS. Berlin/Heidelberg: Springer,
    2006. <a href="https://doi.org/dx.doi.org/10.1007/11880240_51">https://doi.org/dx.doi.org/10.1007/11880240_51</a>.'
  ieee: T. Schattkowsky, J. Hendrik Hausmann, and G. Engels, “Using UML Activities
    for System-on-Chip Design and Synthesis,” in <i>Proceedings of the International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova
    (Italy)</i>, 2006, vol. 4199/2006, pp. 737–752.
  mla: Schattkowsky, Tim, et al. “Using UML Activities for System-on-Chip Design and
    Synthesis.” <i>Proceedings of the International Conference on Model Driven Engineering
    Languages and Systems (MoDELS 2006), Genova (Italy)</i>, vol. 4199/2006, Springer,
    2006, pp. 737–52, doi:<a href="https://doi.org/dx.doi.org/10.1007/11880240_51">dx.doi.org/10.1007/11880240_51</a>.
  short: 'T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the
    International Conference on Model Driven Engineering Languages and Systems (MoDELS
    2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.'
date_created: 2019-02-21T11:40:29Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/11880240_51
language:
- iso: eng
page: 737-752
place: Berlin/Heidelberg
publication: Proceedings of the International Conference on Model Driven Engineering
  Languages and Systems (MoDELS 2006), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Using UML Activities for System-on-Chip Design and Synthesis
type: conference
user_id: '52534'
volume: 4199/2006
year: '2006'
...
---
_id: '7953'
abstract:
- lang: eng
  text: As the Unified Modeling Language (UML) has by now seen widespread and successful
    use in the software industry and academia alike, it has also found its way into
    many computer science curricula. An outstanding advantage of teaching UML is that
    it enables an illustration of many crucial concepts of software engineering, far
    beyond its concrete notation. Most important among these concepts is that of abstraction.
    We present a course design which demonstrates the use of UML as a vehicle for
    teaching such core concepts of software engineering. Multimedia elements and tools
    help to efficiently convey the courses message to the students.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- 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, Hendrik Hausmann J, Lohmann M, Sauer S. Teaching UML Is Teaching
    Software Engineering Is Teaching Abstraction. In: <i>Proceedings of the Satellite
    Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>. Vol 3844 / 2006.
    LNCS. Berlin/Heidelberg: Springer; 2006:306-319.'
  apa: 'Engels, G., Hendrik Hausmann, J., Lohmann, M., &#38; Sauer, S. (2006). Teaching
    UML Is Teaching Software Engineering Is Teaching Abstraction. In <i>Proceedings
    of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>
    (Vol. 3844 / 2006, pp. 306–319). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Engels_Hendrik Hausmann_Lohmann_Sauer_2006, place={Berlin/Heidelberg},
    series={LNCS}, title={Teaching UML Is Teaching Software Engineering Is Teaching
    Abstraction}, volume={3844 / 2006}, booktitle={Proceedings of the Satellite Events
    at the MoDELS 2005 Conference, Montego Bay (Jamaica)}, publisher={Springer}, author={Engels,
    Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2006},
    pages={306–319}, collection={LNCS} }'
  chicago: 'Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer.
    “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” In <i>Proceedings
    of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>,
    3844 / 2006:306–19. LNCS. Berlin/Heidelberg: Springer, 2006.'
  ieee: G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, “Teaching UML Is
    Teaching Software Engineering Is Teaching Abstraction,” in <i>Proceedings of the
    Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, 2006,
    vol. 3844 / 2006, pp. 306–319.
  mla: Engels, Gregor, et al. “Teaching UML Is Teaching Software Engineering Is Teaching
    Abstraction.” <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference,
    Montego Bay (Jamaica)</i>, vol. 3844 / 2006, Springer, 2006, pp. 306–19.
  short: 'G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of
    the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer,
    Berlin/Heidelberg, 2006, pp. 306–319.'
date_created: 2019-02-21T11:44:20Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 306-319
place: Berlin/Heidelberg
publication: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego
  Bay (Jamaica)
publisher: Springer
series_title: LNCS
status: public
title: Teaching UML Is Teaching Software Engineering Is Teaching Abstraction
type: conference
user_id: '52534'
volume: 3844 / 2006
year: '2006'
...
---
_id: '7954'
abstract:
- lang: eng
  text: The model-driven development (MDD) approach for constructing software systems
    advocates a stepwise refinement and transformation process starting from high-level
    models to concrete program code. In contrast to numerous research efforts that
    try to generate executable function code from models, we propose a novel approach
    termed model-driven monitoring. Here, models are used to specify minimal requirements
    and are transformed into assertions on the code level for monitoring hand-coded
    programs during execution. We show how well-understood results from the graph
    transformation community can be deployed to support this model-driven monitoring
    approach. In particular, models in the form of visual contracts are defined by
    graph transitions with loose semantics, while the automatic transformation from
    models to JML assertions on the code level is defined by strict graph transformation
    rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.
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
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Engels G, Lohmann M, Sauer S, Heckel R. Model-Driven Monitoring: An Application
    of Graph Transformation for Design by Contract. In: <i>Proceedings of the 3rd
    International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>.
    Vol 4178. LNCS. Berlin/Heidelberg: Springer; 2006:336-350. doi:<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>'
  apa: 'Engels, G., Lohmann, M., Sauer, S., &#38; Heckel, R. (2006). Model-Driven
    Monitoring: An Application of Graph Transformation for Design by Contract. In
    <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT
    2006), Natal (Brazil)</i> (Vol. 4178, pp. 336–350). Berlin/Heidelberg: Springer.
    <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>'
  bibtex: '@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg},
    series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation
    for Design by Contract}, volume={4178}, DOI={<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>},
    booktitle={Proceedings of the 3rd International Conference on Graph Transformation
    (ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and
    Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350},
    collection={LNCS} }'
  chicago: 'Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven
    Monitoring: An Application of Graph Transformation for Design by Contract.” In
    <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT
    2006), Natal (Brazil)</i>, 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006.
    <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>.'
  ieee: 'G. Engels, M. Lohmann, S. Sauer, and R. Heckel, “Model-Driven Monitoring:
    An Application of Graph Transformation for Design by Contract,” in <i>Proceedings
    of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal
    (Brazil)</i>, 2006, vol. 4178, pp. 336–350.'
  mla: 'Engels, Gregor, et al. “Model-Driven Monitoring: An Application of Graph Transformation
    for Design by Contract.” <i>Proceedings of the 3rd International Conference on
    Graph Transformation (ICGT 2006), Natal (Brazil)</i>, vol. 4178, Springer, 2006,
    pp. 336–50, doi:<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>.'
  short: 'G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International
    Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg,
    2006, pp. 336–350.'
date_created: 2019-02-21T11:44:21Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11841883
intvolume: '      4178'
language:
- iso: eng
page: 336-350
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Conference on Graph Transformation
  (ICGT 2006), Natal (Brazil)
publisher: Springer
series_title: LNCS
status: public
title: 'Model-Driven Monitoring: An Application of Graph Transformation for Design
  by Contract'
type: conference
user_id: '52534'
volume: 4178
year: '2006'
...
---
_id: '7955'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Ragnhild
  full_name: Van Der Straeten, Ragnhild
  last_name: Van Der Straeten
citation:
  ama: 'Förster A, Schattkowsky T, Engels G, Van Der Straeten R. A Pattern-driven
    Development Process for Quality Standard-conforming Business Process Models. In:
    <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006),
    Brighton (UK)</i>. Washington, DC, USA: IEEE Computer Society; 2006:135-142.'
  apa: 'Förster, A., Schattkowsky, T., Engels, G., &#38; Van Der Straeten, R. (2006).
    A Pattern-driven Development Process for Quality Standard-conforming Business
    Process Models. In <i>IEEE Symposium on Visual Languages and Human-Centric Computing
    (VL/HCC 2006), Brighton (UK)</i> (pp. 135–142). Washington, DC, USA: IEEE Computer
    Society.'
  bibtex: '@inproceedings{Förster_Schattkowsky_Engels_Van Der Straeten_2006, place={Washington,
    DC, USA}, title={A Pattern-driven Development Process for Quality Standard-conforming
    Business Process Models}, booktitle={IEEE Symposium on Visual Languages and Human-Centric
    Computing (VL/HCC 2006), Brighton (UK)}, publisher={IEEE Computer Society}, author={Förster,
    Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild},
    year={2006}, pages={135–142} }'
  chicago: 'Förster, Alexander, Tim Schattkowsky, Gregor Engels, and Ragnhild Van
    Der Straeten. “A Pattern-Driven Development Process for Quality Standard-Conforming
    Business Process Models.” In <i>IEEE Symposium on Visual Languages and Human-Centric
    Computing (VL/HCC 2006), Brighton (UK)</i>, 135–42. Washington, DC, USA: IEEE
    Computer Society, 2006.'
  ieee: A. Förster, T. Schattkowsky, G. Engels, and R. Van Der Straeten, “A Pattern-driven
    Development Process for Quality Standard-conforming Business Process Models,”
    in <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006),
    Brighton (UK)</i>, 2006, pp. 135–142.
  mla: Förster, Alexander, et al. “A Pattern-Driven Development Process for Quality
    Standard-Conforming Business Process Models.” <i>IEEE Symposium on Visual Languages
    and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, IEEE Computer Society,
    2006, pp. 135–42.
  short: 'A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium
    on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK),
    IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.'
date_created: 2019-02-21T11:44:22Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 135-142
place: Washington, DC, USA
publication: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
  2006), Brighton (UK)
publisher: IEEE Computer Society
status: public
title: A Pattern-driven Development Process for Quality Standard-conforming Business
  Process Models
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7956'
abstract:
- lang: eng
  text: The Visual Contract Workbench is a tool that supports model-driven development
    of software systems by lifting the Design by Contract idea, which is usually used
    at the code level, to the model level. It uses visual contracts for graphically
    specifying the pre- and post-conditions of an operation. Java classes with JML
    (Java Modeling Language) assertions are generated from visual contracts to facilitate
    automatic monitoring of the correctness of the programmer's implementation.
author:
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions
    from Visual Contracts. In: <i>Proceedings of the 21st IEEE International Conference
    on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>. Los Alamitos, CA,
    USA: IEEE Computer Society; 2006:355-356. doi:<a href="http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>'
  apa: 'Lohmann, M., Engels, G., &#38; Sauer, S. (2006). Model-driven Monitoring:
    Generating Assertions from Visual Contracts. In <i>Proceedings of the 21st IEEE
    International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>
    (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. <a href="http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>'
  bibtex: '@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA},
    title={Model-driven Monitoring: Generating Assertions from Visual Contracts},
    DOI={<a href="http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>},
    booktitle={Proceedings of the 21st IEEE International Conference on Automated
    Software Engineering (ASE 06), Tokyo (Japan)}, publisher={IEEE Computer Society},
    author={Lohmann, Marc and Engels, Gregor and Sauer, Stefan}, year={2006}, pages={355–356}
    }'
  chicago: 'Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring:
    Generating Assertions from Visual Contracts.” In <i>Proceedings of the 21st IEEE
    International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>,
    355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. <a href="http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.'
  ieee: 'M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating
    Assertions from Visual Contracts,” in <i>Proceedings of the 21st IEEE International
    Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 2006,
    pp. 355–356.'
  mla: 'Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from
    Visual Contracts.” <i>Proceedings of the 21st IEEE International Conference on
    Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, IEEE Computer Society,
    2006, pp. 355–56, doi:<a href="http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.'
  short: 'M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International
    Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer
    Society, Los Alamitos, CA, USA, 2006, pp. 355–356.'
date_created: 2019-02-21T11:44:23Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52
language:
- iso: eng
page: 355-356
place: Los Alamitos, CA, USA
publication: Proceedings of the 21st IEEE International Conference on Automated Software
  Engineering (ASE 06), Tokyo (Japan)
publisher: IEEE Computer Society
status: public
title: 'Model-driven Monitoring: Generating Assertions from Visual Contracts'
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7957'
abstract:
- lang: eng
  text: Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente
    Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse
    eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise
    Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert
    eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen
    Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist
    an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden.
    Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen
    Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im
    Kontext einer SOA vor.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Oliver
  full_name: Juwig, Oliver
  last_name: Juwig
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Jan-Peter
  full_name: Richter, Jan-Peter
  last_name: Richter
citation:
  ama: 'Engels G, Güldali B, Juwig O, Lohmann M, Richter J-P. Industrielle Fallstudie:
    Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: <i>Proceedings
    of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
    (SE 2006), Leipzig (Germany)</i>. Vol 79. Lecture Notes in Informatics. Bonn:
    Gesellschaft für Informatik (GI); 2006:111-122. doi:<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>'
  apa: 'Engels, G., Güldali, B., Juwig, O., Lohmann, M., &#38; Richter, J.-P. (2006).
    Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen.
    In <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI
    Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i> (Vol. 79, pp. 111–122).
    Bonn: Gesellschaft für Informatik (GI). <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>'
  bibtex: '@inproceedings{Engels_Güldali_Juwig_Lohmann_Richter_2006, place={Bonn},
    series={Lecture Notes in Informatics}, title={Industrielle Fallstudie: Einsatz
    visueller Kontrakte in serviceorientierten Architekturen}, volume={79}, DOI={<a
    href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>},
    booktitle={Proceedings of the conference on Software Enginneering, Fachtagung
    des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, publisher={Gesellschaft
    für Informatik (GI)}, author={Engels, Gregor and Güldali, Baris and Juwig, Oliver
    and Lohmann, Marc and Richter, Jan-Peter}, year={2006}, pages={111–122}, collection={Lecture
    Notes in Informatics} }'
  chicago: 'Engels, Gregor, Baris Güldali, Oliver Juwig, Marc Lohmann, and Jan-Peter
    Richter. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten
    Architekturen.” In <i>Proceedings of the Conference on Software Enginneering,
    Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>,
    79:111–22. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
    2006. <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>.'
  ieee: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, and J.-P. Richter, “Industrielle
    Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen,”
    in <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI
    Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, 2006, vol. 79,
    pp. 111–122.'
  mla: 'Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte
    in Serviceorientierten Architekturen.” <i>Proceedings of the Conference on Software
    Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig
    (Germany)</i>, vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:<a
    href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a>.'
  short: 'G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings
    of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik
    (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp.
    111–122.'
date_created: 2019-02-21T11:44:25Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11841883
intvolume: '        79'
language:
- iso: eng
page: 111-122
place: Bonn
publication: Proceedings of the conference on Software Enginneering, Fachtagung des
  GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
  Architekturen'
type: conference
user_id: '52534'
volume: 79
year: '2006'
...
---
_id: '8215'
author:
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Jan-Peter
  full_name: Richter, Jan-Peter
  last_name: Richter
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Oliver
  full_name: Juwig, Oliver
  last_name: Juwig
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: Lohmann M, Richter J-P, Engels G, Güldali B, Juwig O, Sauer S. <i>Semantische
    Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University
    of Paderborn, s-lab; 2006.
  apa: Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., &#38; Sauer,
    S. (2006). <i>Semantische Beschreibung von Enterprise Services – Eine industrielle
    Fallstudie</i>. University of Paderborn, s-lab.
  bibtex: '@book{Lohmann_Richter_Engels_Güldali_Juwig_Sauer_2006, title={Semantische
    Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, publisher={University
    of Paderborn, s-lab}, author={Lohmann, Marc and Richter, Jan-Peter and Engels,
    Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}, year={2006} }'
  chicago: Lohmann, Marc, Jan-Peter Richter, Gregor Engels, Baris Güldali, Oliver
    Juwig, and Stefan Sauer. <i>Semantische Beschreibung von Enterprise Services –
    Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.
  ieee: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, and S. Sauer,
    <i>Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie</i>.
    University of Paderborn, s-lab, 2006.
  mla: Lohmann, Marc, et al. <i>Semantische Beschreibung von Enterprise Services –
    Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.
  short: M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische
    Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University
    of Paderborn, s-lab, 2006.
date_created: 2019-03-03T16:13:14Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, s-lab
report_number: '1'
status: public
title: Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
type: report
user_id: '52534'
year: '2006'
...
---
_id: '7549'
abstract:
- lang: eng
  text: The current situation of ad hoc development of Web applications reminds us
    of the software development practices of the 1960s, before it was realized that
    the development of applications required more than programming expertise. This
    book counteracts this situation by giving a comprehensive, practice-oriented and
    thorough insight into the new discipline of Web Engineering. The text highlights
    the need to examine and re-use the body of knowledge found within software engineering.
    It demonstrates how to use that knowledge within the Web environment, in order
    to achieve a highly disciplined and methodological means of producing Web-based
    software, putting emphasize on current practices, experiences and pitfalls. The
    book demonstrates the distinctions between software engineering and Web engineering,
    for instance, the shorter lead times that Web engineering has compared to its
    software counterpart, whilst also demonstrating the rapid prototyping and agile
    methods of development needed to meet these criteria. The book covers important
    topics of Web Engineering, including requirements analysis, design, architectures,
    technologies, test, operation and maintenance; this is complemented by in-depth
    knowledge about Web project management and process issues as well as important
    quality aspects of Web applications like usability, performance and security.
    An overview of Semantic Web concepts points the way to the development of future
    Web applications.
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: Annika
  full_name: Wagner, Annika
  last_name: Wagner
citation:
  ama: 'Engels G, Lohmann M, Wagner A. The Web Application Development Process. In:
    Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. <i>Web Engineering: The Discipline
    of Systematic Development of Web Applications</i>. Wiley; 2006.'
  apa: 'Engels, G., Lohmann, M., &#38; Wagner, A. (2006). The Web Application Development
    Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), <i>Web Engineering:
    The Discipline of Systematic Development of Web Applications</i>. Wiley.'
  bibtex: '@inbook{Engels_Lohmann_Wagner_2006, title={The Web Application Development
    Process}, booktitle={Web Engineering: The Discipline of Systematic Development
    of Web Applications}, publisher={Wiley}, author={Engels, Gregor and Lohmann, Marc
    and Wagner, Annika}, editor={Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.Editor},
    year={2006} }'
  chicago: 'Engels, Gregor, Marc Lohmann, and Annika Wagner. “The Web Application
    Development Process.” In <i>Web Engineering: The Discipline of Systematic Development
    of Web Applications</i>, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger.
    Wiley, 2006.'
  ieee: 'G. Engels, M. Lohmann, and A. Wagner, “The Web Application Development Process,”
    in <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>,
    G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Ed. Wiley, 2006.'
  mla: 'Engels, Gregor, et al. “The Web Application Development Process.” <i>Web Engineering:
    The Discipline of Systematic Development of Web Applications</i>, edited by G.
    Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006.'
  short: 'G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W.
    Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development
    of Web Applications, Wiley, 2006.'
date_created: 2019-02-05T13:03:09Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: G.
  full_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.
  last_name: Kappel, B. Pröll, S. Reich, W. Retschitzegger
language:
- iso: eng
publication: 'Web Engineering: The Discipline of Systematic Development of Web Applications'
publisher: Wiley
status: public
title: The Web Application Development Process
type: book_chapter
user_id: '52534'
year: '2006'
...
---
_id: '8405'
abstract:
- lang: eng
  text: The Model-Driven Architecture (MDA) approach for constructing software systems
    advocates a stepwise refinement and transformation process starting from high-level
    models to concrete program code. In contrast to numerous research efforts that
    try to generate executable function code from models, we propose a novel approach
    termed model-driven monitoring. On the model level the behavior of an operation
    is specified with a pair of UML composite structure diagrams (visual contract),
    a visual notation for pre- and post-conditions. The specified behavior is implemented
    by a programmer manually. An automatic translation from our visual contracts to
    JML assertions allows for monitoring the hand-coded programs during their execution.
    In this paper we present an approach to extend our model-driven monitoring approach
    to allow for model-driven unit testing. In this approach we utilize the generated
    JML assertions as test oracles. Further, we present an idea how to generate sufficient
    test cases from our visual contracts with the help of model-checking techniques.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings
    of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>.
    Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.'
  apa: 'Engels, G., Güldali, B., &#38; Lohmann, M. (2006). Towards Model-Driven Unit
    Testing. In <i>Proceedings of the workshop on Model Design and Validation (MoDeVa
    2006), Toulouse (France)</i> (pp. 16–29). Berlin / Heidelberg: Le Commissariat
    à l’Energie Atomique - CEA.'
  bibtex: '@inproceedings{Engels_Güldali_Lohmann_2006, place={Berlin / Heidelberg},
    title={Towards Model-Driven Unit Testing}, booktitle={Proceedings of the workshop
    on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, publisher={Le
    Commissariat à l’Energie Atomique - CEA}, author={Engels, Gregor and Güldali,
    Baris and Lohmann, Marc}, year={2006}, pages={16–29} }'
  chicago: 'Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven
    Unit Testing.” In <i>Proceedings of the Workshop on Model Design and Validation
    (MoDeVa 2006), Toulouse (France)</i>, 16–29. Berlin / Heidelberg: Le Commissariat
    à l’Energie Atomique - CEA, 2006.'
  ieee: G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,”
    in <i>Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
    Toulouse (France)</i>, 2006, pp. 16–29.
  mla: Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings
    of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>,
    Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29.
  short: 'G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model
    Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie
    Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.'
date_created: 2019-03-06T11:44:46Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 16-29
place: Berlin / Heidelberg
publication: Proceedings of the workshop on Model Design and Validation (MoDeVa 2006),
  Toulouse (France)
publisher: Le Commissariat à l'Energie Atomique - CEA
status: public
title: Towards Model-Driven Unit Testing
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '8406'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Matthias
  full_name: Gehrke, Matthias
  last_name: Gehrke
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Engels G, Gehrke M, Sauer S. Multi-Private Public Partnership (MPPP) - Softwaretechnik
    auf dem Weg in die Industrie. In: <i>Proceedings of the Workshop on Vernetzung
    von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite
    Event of the Informatik 2006 - Informatik Für Menschen)</i>. Vol 93. Lecture Notes
    in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:281-287.'
  apa: 'Engels, G., Gehrke, M., &#38; Sauer, S. (2006). Multi-Private Public Partnership
    (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In <i>Proceedings of the
    Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung
    (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)</i>
    (Vol. 93, pp. 281–287). Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inproceedings{Engels_Gehrke_Sauer_2006, place={Bonn}, series={Lecture
    Notes in Informatics}, title={Multi-Private Public Partnership (MPPP) - Softwaretechnik
    auf dem Weg in die Industrie}, volume={93}, booktitle={Proceedings of the Workshop
    on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF,
    satellite event of the Informatik 2006 - Informatik für Menschen)}, publisher={Gesellschaft
    für Informatik (GI)}, author={Engels, Gregor and Gehrke, Matthias and Sauer, Stefan},
    year={2006}, pages={281–287}, collection={Lecture Notes in Informatics} }'
  chicago: 'Engels, Gregor, Matthias Gehrke, and Stefan Sauer. “Multi-Private Public
    Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” In <i>Proceedings
    of the Workshop on Vernetzung von Software Engineering Expertise in Industrie
    Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für
    Menschen)</i>, 93:281–87. Lecture Notes in Informatics. Bonn: Gesellschaft für
    Informatik (GI), 2006.'
  ieee: G. Engels, M. Gehrke, and S. Sauer, “Multi-Private Public Partnership (MPPP)
    - Softwaretechnik auf dem Weg in die Industrie,” in <i>Proceedings of the Workshop
    on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF,
    satellite event of the Informatik 2006 - Informatik für Menschen)</i>, 2006, vol.
    93, pp. 281–287.
  mla: Engels, Gregor, et al. “Multi-Private Public Partnership (MPPP) - Softwaretechnik
    Auf Dem Weg in Die Industrie.” <i>Proceedings of the Workshop on Vernetzung von
    Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event
    of the Informatik 2006 - Informatik Für Menschen)</i>, vol. 93, Gesellschaft für
    Informatik (GI), 2006, pp. 281–87.
  short: 'G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung
    von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite
    Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik
    (GI), Bonn, 2006, pp. 281–287.'
date_created: 2019-03-06T11:44:48Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: '        93'
language:
- iso: eng
page: 281-287
place: Bonn
publication: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise
  in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik
  für Menschen)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die
  Industrie
type: conference
user_id: '52534'
volume: 93
year: '2006'
...
---
_id: '8407'
author:
- first_name: Stephan
  full_name: Frohnhoff, Stephan
  last_name: Frohnhoff
- first_name: Volker
  full_name: Jung, Volker
  last_name: Jung
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Frohnhoff S, Jung V, Engels G. Use Case Points in der industriellen Praxis.
    In: <i>Proceedings of the International Workshop on Software Metrics and DASMA
    Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>. Magdeburger
    Schriften zum Empirischen Software-Engineering; 2006:511-526.'
  apa: Frohnhoff, S., Jung, V., &#38; Engels, G. (2006). Use Case Points in der industriellen
    Praxis. In <i>Proceedings of the International Workshop on Software Metrics and
    DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i> (pp.
    511–526). Magdeburger Schriften zum Empirischen Software-Engineering.
  bibtex: '@inproceedings{Frohnhoff_Jung_Engels_2006, title={Use Case Points in der
    industriellen Praxis}, booktitle={Proceedings of the International Workshop on
    Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
    (Germany)}, publisher={Magdeburger Schriften zum Empirischen Software-Engineering},
    author={Frohnhoff, Stephan and Jung, Volker and Engels, Gregor}, year={2006},
    pages={511–526} }'
  chicago: Frohnhoff, Stephan, Volker Jung, and Gregor Engels. “Use Case Points in
    Der Industriellen Praxis.” In <i>Proceedings of the International Workshop on
    Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
    (Germany)</i>, 511–26. Magdeburger Schriften zum Empirischen Software-Engineering,
    2006.
  ieee: S. Frohnhoff, V. Jung, and G. Engels, “Use Case Points in der industriellen
    Praxis,” in <i>Proceedings of the International Workshop on Software Metrics and
    DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, 2006,
    pp. 511–526.
  mla: Frohnhoff, Stephan, et al. “Use Case Points in Der Industriellen Praxis.” <i>Proceedings
    of the International Workshop on Software Metrics and DASMA Software Metrik Kongress
    (IWSM/MetriKon 2006), Potsdam (Germany)</i>, Magdeburger Schriften zum Empirischen
    Software-Engineering, 2006, pp. 511–26.
  short: 'S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop
    on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam
    (Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp.
    511–526.'
date_created: 2019-03-06T11:44:49Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 511-526
publication: Proceedings of the International Workshop on Software Metrics and DASMA
  Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)
publisher: Magdeburger Schriften zum Empirischen Software-Engineering
status: public
title: Use Case Points in der industriellen Praxis
type: conference
user_id: '52534'
year: '2006'
...
---
_id: '7936'
abstract:
- lang: eng
  text: Spreadsheets are widely used in all kinds of business applications. Numerous
    studies have shown that they contain many errors that sometimes have dramatic
    impacts. One reason for this situation is the low-level, cell-oriented development
    process of spreadsheets. We improve this process by introducing and formalizing
    a higher-level object-oriented model termed ClassSheet. While still following
    the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to
    express explicitly business object structures within a spreadsheet, which is achieved
    by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic
    transformation process generates a spreadsheet application that is consistent
    with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets,
    a large variety of errors can be prevented that occur in many existing spreadsheet
    applications today. The presented ClassSheet approach links spreadsheet applications
    to the object-oriented modeling world and advocates an automatic model-driven
    development process for spreadsheet applications of high quality.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Martin
  full_name: Erwig, Martin
  last_name: Erwig
citation:
  ama: 'Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications
    from object-oriented specifications. In: <i>Proceedings of the 20th IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>.
    New York, NY, USA: ACM Press; 2005:124-133.'
  apa: 'Engels, G., &#38; Erwig, M. (2005). ClassSheets: automatic generation of spreadsheet
    applications from object-oriented specifications. In <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i> (pp. 124–133). New York, NY, USA: ACM Press.'
  bibtex: '@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets:
    automatic generation of spreadsheet applications from object-oriented specifications},
    booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated
    Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press},
    author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }'
  chicago: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of
    Spreadsheet Applications from Object-Oriented Specifications.” In <i>Proceedings
    of the 20th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2005), Long Beach, CA (USA)</i>, 124–33. New York, NY, USA: ACM Press, 2005.'
  ieee: 'G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet
    applications from object-oriented specifications,” in <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i>, 2005, pp. 124–133.'
  mla: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet
    Applications from Object-Oriented Specifications.” <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i>, ACM Press, 2005, pp. 124–33.'
  short: 'G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA),
    ACM Press, New York, NY, USA, 2005, pp. 124–133.'
date_created: 2019-02-21T11:33:39Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 124-133
place: New York, NY, USA
publication: Proceedings of the 20th IEEE/ACM International Conference on Automated
  Software Engineering (ASE 2005), Long Beach, CA (USA)
publisher: ACM Press
status: public
title: 'ClassSheets: automatic generation of spreadsheet applications from object-oriented
  specifications'
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7937'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Förster A, Engels G, Schattkowsky T. Activity Diagram Patterns for Modeling
    Quality Constraints in Business Processes. In: <i>Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica)</i>. Vol 3713. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.'
  apa: 'Förster, A., Engels, G., &#38; Schattkowsky, T. (2005). Activity Diagram Patterns
    for Modeling Quality Constraints in Business Processes. In <i>Proceedings of the
    8th International Conference on Model Driven Engineering Languages and Systems
    (MoDELS 2005), Montego Bay (Jamaica)</i> (Vol. 3713, pp. 2–16). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inproceedings{Förster_Engels_Schattkowsky_2005, place={Berlin/Heidelberg},
    series={LNCS}, title={Activity Diagram Patterns for Modeling Quality Constraints
    in Business Processes}, volume={3713}, booktitle={Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor
    and Schattkowsky, Tim}, year={2005}, pages={2–16}, collection={LNCS} }'
  chicago: 'Förster, Alexander, Gregor Engels, and Tim Schattkowsky. “Activity Diagram
    Patterns for Modeling Quality Constraints in Business Processes.” In <i>Proceedings
    of the 8th International Conference on Model Driven Engineering Languages and
    Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 3713:2–16. LNCS. Berlin/Heidelberg:
    Springer, 2005.'
  ieee: A. Förster, G. Engels, and T. Schattkowsky, “Activity Diagram Patterns for
    Modeling Quality Constraints in Business Processes,” in <i>Proceedings of the
    8th International Conference on Model Driven Engineering Languages and Systems
    (MoDELS 2005), Montego Bay (Jamaica)</i>, 2005, vol. 3713, pp. 2–16.
  mla: Förster, Alexander, et al. “Activity Diagram Patterns for Modeling Quality
    Constraints in Business Processes.” <i>Proceedings of the 8th International Conference
    on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>,
    vol. 3713, Springer, 2005, pp. 2–16.
  short: 'A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.'
date_created: 2019-02-21T11:34:17Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: '      3713'
language:
- iso: eng
page: 2-16
place: Berlin/Heidelberg
publication: Proceedings of the 8th International Conference on Model Driven Engineering
  Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)
publisher: Springer
series_title: LNCS
status: public
title: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
type: conference
user_id: '52534'
volume: 3713
year: '2005'
...
