paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A DSL for requirements in the context of a seamless approach

无缝方法语境下面向需求的 DSL
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 2/10 · 论文关注需求工程中的DSL与无缝规约方法,属于软件工程/形式化方法领域,但未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心研究方向,匹配度低。引用 2 inbox
Florian Galinier
crossref: 2026-09-12

AI 速览

一句话:提出让用户用同一种语言表达需求、规约与系统的无缝方法,并为其设计需求侧 DSL。

需求工程(RE)中的核心难题之一是需求与应当满足这些需求的系统之间缺乏一致性,二者之间存在鸿沟。作者在博士论文工作中提出一种无缝(seamless)方法,目标是让用户能够用唯一一种语言同时表达需求、规约以及系统本身,从而缩小需求与系统之间的距离。论文聚焦于该无缝方法中用于表达需求的那一部分,即一个需求 DSL。摘要仅陈述了研究动机与目标,未披露该 DSL 的具体语法或语义设计细节,也未给出实现情况或评估结果。

问题
需求工程中,需求与最终应满足这些需求的系统之间缺乏一致性,二者之间存在鸿沟。
方法
提出无缝方法,使用户能够用唯一一种语言表达需求、规约与系统本身;本文工作聚焦于其中用于表达需求的 DSL。
评估
摘要未描述任何具体的评估方式、案例研究或实验结果,仅给出了研究目标。
原文摘要(Abstract)

Reducing the lack of consistency between requirements and the system that should satisfy these requirements is one of the major issue in Requirement Engineering (RE). The objective of my thesis work is to propose a seamless approach, allowing users to express requirements, specifications and the system itself in a unique language.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4738,
  title = {A DSL for requirements in the context of a seamless approach},
  author = {Florian Galinier},
  booktitle = {ASE},
  year = {2018},
  doi = {10.1145/3238147.3241538}
}