English
Related papers

Related papers: Moldable Development Patterns

200 papers

Solvable structures are exploited in order to find families of explicit solutions to evolution PDEs admitting suitable differential constraints. The effectiveness of the method is verified on several explicit examples.

Mathematical Physics · Physics 2020-08-04 Francesco C. De Vecchi , Paola Morando

Customization has long been a central goal in interactive systems, yet prior work shows that end-user tailoring occurs infrequently and is often confined to initial setup or moments of breakdown. Recent advances in generative AI suggest…

Human-Computer Interaction · Computer Science 2026-05-13 Karthik Sreedhar , Aryan Kaul , Lydia B. Chilton

The usual advantages put forward for including nullability declarations in the type systems of programming languages are that they improve program reliability or performance. But there is another, entirely different, reason for doing so. In…

Programming Languages · Computer Science 2011-08-25 William Harrison , Tim Walsh , Paul Biggar

Cross-platform development solutions can help to make software available on different devices and platforms. But these are normally restricted to preconfigured platforms and consider that each individual solution is equal or similar to each…

Software Engineering · Computer Science 2021-05-04 Juliano Zanuzzio Blanco , Daniel Lucrédio

Many current robot designs prioritize efficiency and one-size-fits-all solutions, oftentimes overlooking personalization, adaptability, and sustainability. To explore alternatives, we conducted two co-design workshops with 23 participants,…

Human-Computer Interaction · Computer Science 2026-02-17 Lingyun Chen , Qing Xiao , Zitao Zhang , Eli Blevis , Selma Šabanović

Quality aspects such as ethics, fairness, and transparency have been proven to be essential for trustworthy software systems. Explainability has been identified not only as a means to achieve all these three aspects in systems, but also as…

Software Engineering · Computer Science 2022-04-08 Larissa Chazette , Jil Klünder , Merve Balci , Kurt Schneider

Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose…

Systems and Control · Electrical Eng. & Systems 2019-11-14 Bernhard Wally , Jirí Vyskočil , Petr Novák , Christian Huemer , Radek Šindelář , Petr Kadera , Alexandra Mazak , Manuel Wimmer

So far there have been several efforts for developing software process simulators. However, the approaches for developing the simulators seem to have been ad-hoc and no systematic methodology exists. Since modeling and simulation in support…

Software Engineering · Computer Science 2014-03-17 Ioana Rus , Holger Neu , Jürgen Münch

The influence of machine learning (ML) is quickly spreading, and a number of recent technological innovations have applied ML as a central technology. However, ML development still requires a substantial amount of human expertise to be…

Machine Learning · Computer Science 2021-05-04 Simon Enni , Ira Assent

Understanding why models behave the way they do is critical to learning from them, and to conveying the insights they offer to a broad audience. The Loops that Matter methodology automatically shows which loops are dominating behavior at…

Software Engineering · Computer Science 2020-06-01 William Schoenberg , Robert Eberlein

Model-based development and in particular MDA [1], [2] have promised to be especially suited for the development of complex, heterogeneous, and large software systems. However, so far MDA has failed to fulfill this promise to a larger…

Software Engineering · Computer Science 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

Documenting frameworks provides its users and maintainers useful information on that software's architecture, design, and customization. Despite documentation's importance, the process of creating and maintaining it is considered to imply…

Software Engineering · Computer Science 2022-03-29 João Santos , Filipe Correia

A new workflow for software development (proof-driven development) is presented. An extension of test-driven development, the new workflow utilizes the paradigm of dependently typed programming. The differences in design, complexity and…

Software Engineering · Computer Science 2015-12-08 Ben Goodspeed

It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and investigate the application of Test-Driven Development to the…

Software Engineering · Computer Science 2024-12-31 Alan Rust , Brian Bishop , Kevin McDaid

Component-based software engineering aims to reduce software development effort by reusing established components as building blocks of complex systems. Defining components in general-purpose programming languages restricts their reuse to…

Software Engineering · Computer Science 2014-12-10 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann

Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all software, Simulink models are subject to evolution over their…

Software Engineering · Computer Science 2020-07-21 Monika Jaskolka , Vera Pantelic , Alan Wassyng , Mark Lawford

A code generator systematically transforms compact models to detailed code. Today, code generation is regarded as an integral part of model-driven development (MDD). Despite its relevance, the development of code generators is an inherently…

Software Engineering · Computer Science 2015-09-09 Alexander Roth , Bernhard Rumpe

Unlike static and rigid user interfaces, generative and malleable user interfaces offer the potential to respond to diverse users' goals and tasks. However, current approaches primarily rely on generating code, making it difficult for…

Human-Computer Interaction · Computer Science 2025-03-07 Yining Cao , Peiling Jiang , Haijun Xia

Biological networks have evolved to be highly functional within uncertain environments while remaining extremely adaptable. One of the main contributors to the robustness and evolvability of biological networks is believed to be their…

Molecular Networks · Quantitative Biology 2008-02-14 Arend Hintze , Christoph Adami

Software systems evolve over their lifetime. Changing conditions, such as requirements or customer requests make it inevitable for developers to perform adjustments to the underlying code base. Especially in the context of open source…

Software Engineering · Computer Science 2019-07-15 Christian Zirkelbach , Alexander Krause , Wilhelm Hasselbring