Výsledky vyhľadávania - Software and _ engineering Software notations and tools System description languages

  1. 1

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

    ISSN: 2643-1572
    Vydavateľské údaje: ACM 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ískať plný text
    Konferenčný príspevok..
  2. 2
  3. 3
  4. 4
  5. 5

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

    ISBN: 1665402962, 9781665402965
    ISSN: 1558-1225
    Vydavateľské údaje: IEEE 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ískať plný text
    Konferenčný príspevok..
  6. 6
  7. 7

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

    ISSN: 2643-1572
    Vydavateľské údaje: ACM 01.09.2020
    “… research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL…”
    Získať plný text
    Konferenčný príspevok..
  8. 8

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

    ISSN: 1558-1225
    Vydavateľské údaje: IEEE 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ískať plný text
    Konferenčný príspevok..
  9. 9

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

    ISSN: 1558-1225
    Vydavateľské údaje: IEEE 26.04.2025
    “…Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering…”
    Získať plný text
    Konferenčný príspevok..
  10. 10

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

    Vydavateľské údaje: ACM 01.10.2020
    “…Modeling is a core topic in Software Engineering Education. Nevertheless, students face difficulties while learning software modeling…”
    Získať plný text
    Konferenčný príspevok..
  11. 11

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

    ISSN: 1558-1225
    Vydavateľské údaje: IEEE 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ískať plný text
    Konferenčný príspevok..
  12. 12

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

    ISSN: 1558-1225
    Vydavateľské údaje: IEEE 26.04.2025
    “…Boundary conditions express situations under which requirements specifications conflict. They are used within a broader conflict management process to produce…”
    Získať plný text
    Konferenčný príspevok..
  13. 13

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

    Vydavateľské údaje: IEEE 22.06.2025
    “…Coding with hardware description languages (HDLs) such as Verilog is a time-intensive and laborious task…”
    Získať plný text
    Konferenčný príspevok..
  14. 14

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

    ISSN: 2832-7632
    Vydavateľské údaje: IEEE 27.04.2025
    “…Large language models (LLMs) are increasingly used to generate software artifacts, such as source code, tests, and trace links…”
    Získať plný text
    Konferenčný príspevok..
  15. 15

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

    Vydavateľské údaje: IEEE 05.12.2021
    “…Graphical PCB design tools like KiCAD lack support for high-level abstraction such as functions and loops…”
    Získať plný text
    Konferenčný príspevok..
  16. 16

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

    Vydavateľské údaje: IEEE 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ískať plný text
    Konferenčný príspevok..
  17. 17

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

    ISSN: 2574-1934
    Vydavateľské údaje: IEEE 27.04.2025
    “…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs…”
    Získať plný text
    Konferenčný príspevok..
  18. 18

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

    ISSN: 2574-1934
    Vydavateľské údaje: ACM 14.04.2024
    “…Software scientists and practitioners have criticized Model-driven engineering (MDE) for lacking effective tooling…”
    Získať plný text
    Konferenčný príspevok..
  19. 19

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

    Vydavateľské údaje: ACM 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ískať plný text
    Konferenčný príspevok..
  20. 20

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

    Vydavateľské údaje: IEEE 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ískať plný text
    Konferenčný príspevok..