logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

State-Based Modelling with a Concept DSL

delete2026-01-01
delete0
PRE
AI
J
Jakobsen, Nikolaj Kuhne *
DOI：10.1007/978-3-031-94533-5_18delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
概念化设计是一种新兴的形式化方法，它使用概念来促进模块化和可重用软件的构建。概念是独立且通用的功能单元，可以组合以形成复杂的应用程序。本研究介绍了Conceptual，一种用于定义和组合概念的领域特定语言。实现了一个从该语言到Alloy6的编译器，建立了一种正式建模和验证软件概念规范的方法。通过利用Alloy的分析工具对文献中现有的概念规范进行推理，定性考察了Conceptual的实际应用。
Keyword:
Concepts
DSL
Alloy
Compiler
Formal methods
LTL

期刊

R
RIGOROUS STATE-BASED METHODS, ABZ 2025
IF:
0
论文数:
23
被引数:
0

机构

A
aarhus university
学者数:
4.7K
论文数: 2.0K
被引数: 0
引用论文

引用论文

The structure and value of modularity in software design
errProceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
IF0
err2001-09-01
err0
PREAI
errKevin J. Sullivan; William G. Griswold; Yuanfang Cai; Ben Hallen
err分享
err收藏
Concept-Centric Software Development: An Experience Report
errProceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
IF0
err2023-10-19
err0
PREAI
errPeter Wilczynski; Taylor Gregoire-Wright; Daniel Jackson
err分享
err收藏
A Concept-Oriented Approach to Software Development
errLecture Notes in Computer Science
IF0
err2024-01-01
err0
PREAI
errJackson,Daniel
err分享
err收藏
Casl Reference Manual
errLecture Notes in Computer Science
IF0
err2004-01-01
err0
PREAI
err
err分享
err收藏
Exploring the Relationship between Software Modularity and Technical Debt
err2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
IF0
err2018-08-01
err0
errOAAI
errPeggy Skiada; Apostolos Ampatzoglou; Elvira-Maria Arvanitou; Alexander Chatzigeorgiou; Ioannis Stamelos
err分享
err收藏
Alloy: A lightweight object modelling notationAlloy: 一种轻量级的对象建模符号
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2002-04-01
err674
PREAI
errJackson, D
err分享
err收藏
The Essence of Software
err
IF0
err2021-11-03
err0
PREAI
errDaniel Jackson
err分享
err收藏
An empirical investigation of modularity metrics for indicating architectural technical debt
errProceedings of the 10th international ACM Sigsoft conference on Quality of software architectures
IF0
err2014-06-27
err0
errOAAI
errZengyang Li; Peng Liang; Paris Avgeriou; Nicolas Guelfi; Apostolos Ampatzoglou
err分享
err收藏
On the Role of Scientific Thought
errSelected Writings on Computing: A personal Perspective
IF0
err1982-01-01
err0
PREAI
errEdsger W. Dijkstra
err分享
err收藏
Declarative assembly of web applications from predefined concepts
errProceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
IF0
err2019-10-23
err0
PREAI
errPerez De Rosso,Santiago; Jackson,Daniel; Archie,Maryam; Lao,Czarina; McNamara III,Barry A.
err分享
err收藏
学者 查看更多内容