Suchergebnisse - Software and _ engineering Software notations and tools System description languages

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

“… While model-based system engineering is prevalent in automotive software development, its application is typically confined to the requirements and design phases, with manual coding still dominating …”
Volltext

Proceedings, technology of object-oriented languages and systems : TOOLS 29, June 7-10, 1999, Nancy, France von TOOLS (Conference), Mitchell, Richard, Interactive Software Engineering

Volltext

Proceedings, technology of object-oriented languages and systems : TOOLS 32, 22-25 November, 1999, Melbourne, Australia von TOOLS (Conference), Mingins, Christine, Meyer, Bertrand, Monash University, Interactive Software Engineering

Volltext

Proceedings, technology of object-oriented languages and systems : TOOLS 30,August 1-5, 1999, Santa Barbara, California von TOOLS (Conference), Firesmith, Donald G., Interactive Software Engineering

Volltext

Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements von 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 …”
Volltext

Proceedings, 33rd technology of object-oriented languages and systems, TOOLS 33, June 5-8, 2000, Mont-Saint-Michel, France von TOOLS (Conference), Mitchell, Richard, DGA, INRIA, Interactive Software Engineering

Volltext

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

“… research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL …”
Volltext

The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products von 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 prototypes to products …”
Volltext

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

“… Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering …”
Volltext

Towards an Open Repository for Teaching Software Modeling applying Active Learning Strategies von 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 …”
Volltext

UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software von 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 …”
Volltext

Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts von 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 …”
Volltext

ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection von 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 …”
Volltext

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability von 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 …”
Volltext

BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs von 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 …”
Volltext

Requirement Specification, Analysis and Verification for Autonomous Systems von 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 time, especially for those systems …”
Volltext

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

“… Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs …”
Volltext

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams von 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 …”
Volltext

Continuous Process Model Refinement from Business Vision to Event Simulation and Software Automation : Bridging Gaps between Stakeholder Communities, Practices, Notations, and Tools von 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 different stages of refinement …”
Volltext

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

“… In this demo paper we present the Gamification Design Framework (GDF), a tool for designing gamified applications through model-driven engineering mechanisms …”
Volltext