中文
相关论文

相关论文: Industrial Experiences with a Formal DSL Semantics…

200 篇论文

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that…

软件工程 · 计算机科学 2015-11-26 Sarmen Keshishzadeh , Arjan J. Mooij , Jozef Hooman

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we…

软件工程 · 计算机科学 2011-07-06 Suzana Andova , Mark van den Brand , Luc Engelen

Domain specific languages (DSLs) allow domain experts to model parts of the system under development in a problem-oriented notation that is well-known in the respective domain. The introduction of a DSL is often accompanied the desire to…

软件工程 · 计算机科学 2014-09-09 Bernhard Rumpe , Ingo Weisemöller

Domain-Specific Languages (DSLs) help practitioners in contributing solutions to challenges of specific domains. The efficient development of user-friendly DSLs suitable for industrial practitioners with little expertise in modelling still…

软件工程 · 计算机科学 2021-03-18 Rohit Gupta , Sieglinde Kranz , Nikolaus Regnat , Bernhard Rumpe , Andreas Wortmann

Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of constraints. Unfortunately, Domain-specific Language (DSL), as an effective tool to express…

机器人学 · 计算机科学 2024-10-31 Yu-Zhe Shi , Haofei Hou , Zhangqian Bi , Fanxu Meng , Xiang Wei , Lecheng Ruan , Qining Wang

Domain Specific Languages (DSLs) can contribute to increment productivity, while reducing the required maintenance and programming expertise. We hypothesize that Software Languages Engineering (SLE) developers consistently skip, or relax,…

软件工程 · 计算机科学 2016-11-25 Pedro Gabriel , Miguel Goulão , Vasco Amaral

To keep a DSL clean, readable and reusable in different contexts, it is useful to define a separate tagging language. A tag model logically adds information to the tagged DSL model while technically keeping the artifacts separated. Using a…

软件工程 · 计算机科学 2016-06-17 Timo Greifenberg , Markus Look , Sebastian Roidl , Bernhard Rumpe

The development of domain-specific languages (DSLs) is a laborious and iterative process that seems to naturally lean to the use of generative artificial intelligence. We design and prototype DSL Assistant, a tool that integrates generative…

软件工程 · 计算机科学 2024-08-20 My M. Mosthaf , Andrzej Wąsowski

Domain-specific languages (DSLs) are routinely created to simplify difficult or specialized programming tasks. They expose useful abstractions and design patterns in the form of language constructs, provide static semantics to eagerly…

编程语言 · 计算机科学 2020-02-19 Ethan K. Jackson

Software requirement analysis can certainly benefit from prevention and early detection of failures, in particular by some kind of automatic analysis. Formal methods offer means to represent and analyze requirements with rigorous tools,…

软件工程 · 计算机科学 2019-11-11 Marzina Vidal , Tiago Massoni , Franklin Ramalho

While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to help produce DSLs quickly. DSLs are already in wide use (HTML…

编程语言 · 计算机科学 2007-05-23 Jan Heering

This paper is an extension to an early presented programming language, called a domain specific language. This paper extends the proposed concept with new sensors and behaviours to address real-life situations. The functionality was tested…

External or internal domain-specific languages (DSLs) or (fluent) APIs? Whoever you are -- a developer or a user of a DSL -- you usually have to choose your side; you should not! What about metamorphic DSLs that change their shape according…

编程语言 · 计算机科学 2014-04-29 Mathieu Acher , Benoit Combemale , Philippe Collet

Generation of software from modeling languages such as UML and domain specific languages (DSLs) has become an important paradigm in software engineering. In this contribution, we present some positions on software development in a model…

软件工程 · 计算机科学 2014-09-09 Bernhard Rumpe , Martin Schindler , Steven Völkel , Ingo Weisemöller

We study the problem of synthesizing domain-specific languages (DSLs) for few-shot learning in symbolic domains. Given a base language and instances of few-shot learning problems, where each instance is split into training and testing…

编程语言 · 计算机科学 2025-08-27 Paul Krogmeier , P. Madhusudan

Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships…

人工智能 · 计算机科学 2022-01-13 Giovanni Sileno , Thomas van Binsbergen , Matteo Pascucci , Tom van Engers

Security engineering, from security requirements engineering to the implementation of cryptographic protocols, is often supported by domain-specific languages (DSLs). Unfortunately, a lack of knowledge about these DSLs, such as which…

密码学与安全 · 计算机科学 2026-04-15 Markus Krausz , Sven Peldszus , Francesco Regazzoni , Thorsten Berger , Tim Güneysu

Designing a new domain specific language is as any other complex task sometimes error-prone and usually time consuming, especially if the language shall be of high-quality and comfortably usable. Existing tool support focuses on the…

软件工程 · 计算机科学 2014-09-09 Gabor Karsai , Holger Krahn , Claas Pinkernell , Bernhard Rumpe , Martin Schindler , Steven Völkel

Reuse is a key technique for a more efficient development and ensures the quality of the results. In object technology explicit encapsulation, interfaces, and inheritance are well known principles for independent development that enable…

软件工程 · 计算机科学 2014-09-24 Holger Krahn , Bernhard Rumpe , Stefan Völkel

When creating a new domain-specific language (DSL) it is common to embed it as a part of a flexible host language, rather than creating it entirely from scratch. The semantics of an embedded DSL (EDSL) is either given directly as a set of…

编程语言 · 计算机科学 2016-12-06 Piotr Danilewski , Philipp Slusallek
‹ 上一页 1 2 3 10 下一页 ›