Logo des Repositoriums

Auflistung nach Autor:in "Voelter, Markus"

1 - 4 von 4
  • Konferenzbeitrag
    Efficiency of Projectional Editing
    (Software Engineering und Software Management 2018, 2018) Berger, Thorsten; Voelter, Markus; Jensen, Hans Peter; Dangprasert, Taweesap; Siegmund, Janet
    Published at International Symposium on the Foundations of Software Engineering (FSE) 2016. Projectional editors are editors where a user's editing actions directly change the abstract syntax tree without using a parser. They promise essentially unrestricted language composition as well as flexible notations, which supports aligning languages with their respective domain and constitutes an essential ingredient of model-driven development. Such editors have existed since the 1980s and gained widespread attention with the Intentional Programming paradigm, which used projectional editing at its core. However, despite the benefits, programming still mainly relies on editing textual code, where projectional editors imply a very different --typically perceived as worse --editing experience, often seen as the main challenge prohibiting their widespread adoption. We present an experiment of code-editing activities in a projectional editor, conducted with 19 graduate computer-science students and industrial developers. We investigate the effects of projectional editing on editing efficiency, editing strategies, and error rates --each of which we also compare to conventional, parser-based editing. We observe that editing is efficient for basic-editing tasks, but that editing strategies and typical errors differ. More complex tasks require substantial experience and a better understanding of the abstract-syntax-tree structure—then, projectional editing is also efficient. We also witness a tradeoff between fewer typing mistakes and an increased complexity of code editing.
  • Zeitschriftenartikel
    Extensible Debuggers for Extensible Languages
    (Softwaretechnik-Trends: Vol. 33, No. 2, 2013) Pavletic, Domenik; Raza, Syed Aoun; Voelter, Markus; Kolb, Bernd; Kehrer, Timo
    Domenik Pavletic1 , Syed Aoun Raza1 , Markus Voelter2 , Bernd Kolb1 , and Timo Kehrer3 itemis AG, {pavletic,raza,kolb}@itemis.de independent/itemis AG, voelter@acm.org 3 University of Siegen, Germany kehrer@informatik.uni-siegen.de
  • Konferenzbeitrag
    Projectional language workbenches as a foundation for product line engineering
    (Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010) Voelter, Markus
    In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts, mix programs (i.e. descriptions written in general purpose languages) and models (i.e. descriptions expressed with DSLs) and also overlay configurative variability to both of these promises highly integrated and productive tools for product line development.
  • Konferenzbeitrag
    Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development
    (Software Engineering and Software Management 2019, 2019) Voelter, Markus
    In a 2018 article in the journal on Software & Systems Modeling we discussed the use of DSLs and language workbenches in the context of safety-critical software development. Language workbenches support the efficient creation, integration, and use of domain-specific languages. Typically, they execute models by code generation to programming language code. This can lead to increased productivity and higher quality. However, in safety-/mission-critical environments, generated code may not be considered trustworthy, because of the lack of trust in the generation mechanisms. This makes it harder to justify the use of language workbenches in such an environment. In the SOSYM paper, we demonstrate an approach to use such tools in critical environments. We argue that models created with domain-specific languages are easier to validate and that the additional risk resulting from the transformation to code can be mitigated by a suitably designed transformation and verification architecture. We validate the approach with an industrial case study from the healthcare domain. We also discuss the degree to which the approach is appropriate for critical software in space, automotive, and robotics systems.