Search Results - "Software and its engineering Software notations and tools System description languages"

Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development by Liao, Lei, Wang, Junjie, Xu, Zhensheng, Mu, Fangwen, Yang, Yukun

“…The automotive industry is undergoing rapid growth driven by advancements such as electrification, necessitating efficient software development methodologies…”
Get full text

Towards an Open Repository for Teaching Software Modeling applying Active Learning Strategies by Silva, Williamson, Gadelha, Bruno, Steinmacher, Igor, Conte, Tayana

“…Modeling is a core topic in Software Engineering Education. Nevertheless, students face difficulties while learning software modeling. To teach software…”
Get full text

Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements by Ezzini, Saad, Abualhaija, Sallam, Arora, Chetan, Sabetzadeh, Mehrdad, Briand, Lionel C.

“…Ambiguity in natural-language requirements is a pervasive issue that has been studied by the requirements engineering community for more than two decades. A…”
Get full text

Continuous Process Model Refinement from Business Vision to Event Simulation and Software Automation : Bridging Gaps between Stakeholder Communities, Practices, Notations, and Tools by Zimmermann, Olaf, Luban, Katharina, Stocker, Mirko, Bernard, Giuliano

“…Business consultants and software engineers produce and consume process models capturing analysis and design results on different levels of abstraction and at…”
Get full text

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams by Lail, Mustafa Al, Viesca, Antonio, Cardenas, Hector, Zarour, Mohammad, Perez, Alfredo

“…Software scientists and practitioners have criticized Model-driven engineering (MDE) for lacking effective tooling. Although progress has been made, most MDE…”
Get full text

Demystifying Loops in Smart Contracts by Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil

“…This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops…”
Get full text

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability by Vogelsang, Andreas, Korn, Alexander, Broccia, Giovanna, Ferrari, Alessio, Fischbach, Jannik, Arora, Chetan

“…Large language models (LLMs) are increasingly used to generate software artifacts, such as source code, tests, and trace links. Requirements play a central…”
Get full text

Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts by Cirelli, Francisco, Alrajeh, Dalal, Uchitel, Sebastian

“…Boundary conditions express situations under which requirements specifications conflict. They are used within a broader conflict management process to produce…”
Get full text

ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection by Niu, Juxin, Liu, Xiangfeng, Niu, Dan, Wang, Xi, Jiang, Zhe, Guan, Nan

“…Coding with hardware description languages (HDLs) such as Verilog is a time-intensive and laborious task. With the rapid advancement of large language models…”
Get full text

The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products by Nahar, Nadia, Zhang, Haoran, Lewis, Grace, Zhou, Shurui, Kastner, Christian

“…Machine learning (ML) components are increasingly incorporated into software products for end-users, but developers face challenges in transitioning from ML…”
Get full text

Consistent Graph Model Generation with Large Language Models by Chen, Boqi

“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become…”
Get full text

Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets by Tinnes, Christof, Welter, Alisa, Apel, Sven

“…Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering. As with other software engineering…”
Get full text

UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software by Romeo, Joseph, Raglianti, Marco, Nagy, Csaba, Lanza, Michele

“…Since its inception, UML, the Unified Modeling Language, has been touted as the way to go when it comes to designing and documenting software systems. While…”
Get full text

Requirement Specification, Analysis and Verification for Autonomous Systems by Pinto, Alessandro

“…The environments and the goals that an autonomous system needs to be able to understand and act upon are not fully known and clearly identifiable at design…”
Get full text

GDF: A Gamification Design Framework Powered by Model-Driven Engineering by Bucchiarone, Antonio, Cicchetti, Antonio, Marconi, Annapaola

“…Gamification refers to the exploitation of gaming mechanisms for serious purposes, like promoting behavioural changes, soliciting participation and engagement…”
Get full text

BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs by Li, Hebi, He, Youbiao, Xiao, Qi, Tian, Jin, Bao, Forrest Sheng

“…Graphical PCB design tools like KiCAD lack support for high-level abstraction such as functions and loops. To improve PCB design productivity, we hereby…”
Get full text

Towards Model-Based Continuous Deployment of Secure IoT Systems by Ferry, Nicolas, Nguyen, Phu H.

“…Software development and delivery of IoT systems would greatly benefit from DevOps as their requirements for reliability, quality, security and privacy are…”
Get full text

Natural Language is Not Enough: Benchmarking Multi-Modal Generative AI for Verilog Generation by Chang, Kaiyan, Chen, Zhirong, Zhou, Yunhao, Zhu, Wenlong, Wang, Kun, Xu, Haobo, Li, Cangyuan, Wang, Mengdi, Liang, Shengwen, Li, Huawei, Han, Yinhe, Wang, Ying

“…Natural language interfaces have exhibited considerable potential in the automation of Verilog generation derived from high-level specifications through the…”
Get full text

Automated Grading of Class Diagrams by Bian, Weiyi, Alam, Omar, Kienzle, Jorg

“…Drawing UML diagrams, such as class diagrams, is an essential learning task in many software engineering courses. In course assignments, students are tasked to…”
Get full text

Translation of Continuous Function Charts to Imperative Synchronous Quartz Programs by Werner, Marcel Christian, Schneider, Klaus

“…Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time…”
Get full text