Výsledky vyhledávání - Software and _ engineering Software notations and tools System description languages
-
1
Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development
ISSN: 2643-1572Vydáno: ACM 27.10.2024Vydáno v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“… 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…”
Získat plný text
Konferenční příspěvek -
2
Proceedings, technology of object-oriented languages and systems : TOOLS 29, June 7-10, 1999, Nancy, France
ISBN: 076950275X, 9780769502755Vydáno: Los Alamitos, Calif IEEE Computer Society 1999Získat plný text
Kniha -
3
Proceedings, technology of object-oriented languages and systems : TOOLS 32, 22-25 November, 1999, Melbourne, Australia
ISBN: 0769504620, 9780769504629Vydáno: Los Alamitos, Calif IEEE Computer Society 1999Získat plný text
Kniha -
4
Proceedings, technology of object-oriented languages and systems : TOOLS 30,August 1-5, 1999, Santa Barbara, California
ISBN: 9780769502786, 0769502784Vydáno: Los Alamitos, Calif IEEE Computer Society 1999Získat plný text
Kniha -
5
Using Domain-Specific Corpora for Improved Handling of Ambiguity in Requirements
ISBN: 1665402962, 9781665402965ISSN: 1558-1225Vydáno: IEEE 01.05.2021Vydáno v Proceedings / International Conference on Software Engineering (01.05.2021)“…Ambiguity in natural-language requirements is a pervasive issue that has been studied by the requirements engineering community for more than two decades…”
Získat plný text
Konferenční příspěvek -
6
Proceedings, 33rd technology of object-oriented languages and systems, TOOLS 33, June 5-8, 2000, Mont-Saint-Michel, France
ISBN: 076950731X, 9780769507323, 9780769507316, 0769507328Vydáno: Los Alamitos, Calif IEEE Computer Society 2000Získat plný text
Kniha -
7
Demystifying Loops in Smart Contracts
ISSN: 2643-1572Vydáno: ACM 01.09.2020Vydáno v 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)“… research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL…”
Získat plný text
Konferenční příspěvek -
8
The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Machine learning (ML) components are increasingly incorporated into software products for end-users, but developers face challenges in transitioning from ML prototypes to products…”
Získat plný text
Konferenční příspěvek -
9
Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering…”
Získat plný text
Konferenční příspěvek -
10
Towards an Open Repository for Teaching Software Modeling applying Active Learning Strategies
Vydáno: ACM 01.10.2020Vydáno v Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering Education and Training (01.10.2020)“…Modeling is a core topic in Software Engineering Education. Nevertheless, students face difficulties while learning software modeling…”
Získat plný text
Konferenční příspěvek -
11
UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…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…”
Získat plný text
Konferenční příspěvek -
12
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Boundary conditions express situations under which requirements specifications conflict. They are used within a broader conflict management process to produce…”
Získat plný text
Konferenční příspěvek -
13
ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Coding with hardware description languages (HDLs) such as Verilog is a time-intensive and laborious task…”
Získat plný text
Konferenční příspěvek -
14
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
ISSN: 2832-7632Vydáno: IEEE 27.04.2025Vydáno v IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) (27.04.2025)“…Large language models (LLMs) are increasingly used to generate software artifacts, such as source code, tests, and trace links…”
Získat plný text
Konferenční příspěvek -
15
BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs
Vydáno: IEEE 05.12.2021Vydáno v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…Graphical PCB design tools like KiCAD lack support for high-level abstraction such as functions and loops…”
Získat plný text
Konferenční příspěvek -
16
Requirement Specification, Analysis and Verification for Autonomous Systems
Vydáno: IEEE 05.12.2021Vydáno v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…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…”
Získat plný text
Konferenční příspěvek -
17
Consistent Graph Model Generation with Large Language Models
ISSN: 2574-1934Vydáno: IEEE 27.04.2025Vydáno v Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (27.04.2025)“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs…”
Získat plný text
Konferenční příspěvek -
18
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
ISSN: 2574-1934Vydáno: ACM 14.04.2024Vydáno v Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)“…Software scientists and practitioners have criticized Model-driven engineering (MDE) for lacking effective tooling…”
Získat plný text
Konferenční příspěvek -
19
Continuous Process Model Refinement from Business Vision to Event Simulation and Software Automation : Bridging Gaps between Stakeholder Communities, Practices, Notations, and Tools
Vydáno: ACM 01.05.2022Vydáno v Proceedings of the 5th International Workshop on Software-intensive Business: Towards Sustainable Software Business (01.05.2022)“…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…”
Získat plný text
Konferenční příspěvek -
20
GDF: A Gamification Design Framework Powered by Model-Driven Engineering
Vydáno: IEEE 01.09.2019Vydáno v 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.09.2019)“… In this demo paper we present the Gamification Design Framework (GDF), a tool for designing gamified applications through model-driven engineering mechanisms…”
Získat plný text
Konferenční příspěvek

