English
Related papers

Related papers: Automatization of building IT projects using compo…

200 papers

Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML…

Domain-specific constraint patterns are introduced, which form the counterpart to design patterns in software engineering for the constraint programming setting. These patterns describe the expert knowledge and best-practice solution to…

Software Engineering · Computer Science 2022-06-07 Sophia Saller , Jana Koehler

The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these…

Software Engineering · Computer Science 2024-08-29 Sergio Morales , Robert Clarisó , Jordi Cabot

When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of explicit type annotations in typical scripting languages forces programmers to must (re)discover critical pieces of design information…

Programming Languages · Computer Science 2011-06-15 Sam Tobin-Hochstadt , Matthias Felleisen

Large language models (LLMs) have gained significant interest in industry due to their impressive capabilities across a wide range of tasks. However, the widespread adoption of LLMs presents several challenges, such as integration into…

Artificial Intelligence · Computer Science 2025-04-14 Eser Kandogan , Nikita Bhutani , Dan Zhang , Rafael Li Chen , Sairam Gurajada , Estevam Hruschka

AutomationML (AML) enables standardized data exchange in engineering, yet existing recommendations for proper AML modeling are typically formulated as informal and textual constraints. These constraints cannot be validated automatically…

Artificial Intelligence · Computer Science 2025-06-13 Tom Westermann , Aljosha Köcher , Felix Gehlhoff

Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable…

Formal Languages and Automata Theory · Computer Science 2018-10-25 Rocco De Nicola , Alessandro Maggi , Joseph Sifakis

Computer Aided Design systems provide tools for building and manipulating models of solid objects. Some also provide access to programming languages so that parametrised designs can be expressed. There is a sharp distinction, therefore,…

Logic in Computer Science · Computer Science 2007-05-23 Omid Banyasad , Philip T. Cox

Modern computational advertising platforms typically rely on recommendation systems to predict user responses, such as click-through rates, conversion rates, and other optimization events. To support a wide variety of product surfaces and…

Trained ML models are commonly embedded in optimization problems. In many cases, this leads to large-scale NLPs that are difficult to solve to global optimality. While ML models frequently lead to large problems, they also exhibit…

Optimization and Control · Mathematics 2024-01-17 Artur M. Schweidtmann , Dominik Bongartz , Alexander Mitsos

In this paper, we address the challenges of managing Standard Operating Procedures (SOPs), which often suffer from inconsistencies in language, format, and execution, leading to operational inefficiencies. Traditional process modeling…

Software Engineering · Computer Science 2025-04-02 Deepeka Garg , Sihan Zeng , Sumitra Ganesh , Leo Ardon

The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines1 represent a special breed of systems they are extensible semi-finished…

Software Engineering · Computer Science 2014-10-16 Wolfgang Pree , Marcus Fontoura , Bernhard Rumpe

In recent years, the scaling laws of recommendation models have attracted increasing attention, which govern the relationship between performance and parameters/FLOPs of recommenders. Currently, there are three mainstream architectures for…

Information Retrieval · Computer Science 2026-04-03 Mingming Ha , Guanchen Wang , Linxun Chen , Xuan Rao , Yuexin Shi , Tianbao Ma , Zhaojie Liu , Yunqian Fan , Zilong Lu , Yanan Niu , Han Li , Kun Gai

The ongoing digital transformation in industry applies to all product life cycle's stages. The design decisions and dimensioning carried out in the early conceptual design stages determine a huge part of the product's life cycle costs…

Software Engineering · Computer Science 2020-03-19 Samuel Vogel , Peter Arnold

Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious…

Software Engineering · Computer Science 2016-04-04 Matthias Kowal , Ina Schaefer

An important factor in guaranteeing the quality of a system is developing a conceptual model that reflects the knowledge about its domain as well as knowledge about the functions it has to perform. In software engineering, conceptual…

Software Engineering · Computer Science 2022-06-07 Sabah Al-Fedaghi

Despite the significant strides made by generative AI in just a few short years, its future progress is constrained by the challenge of building modular and robust systems. This capability has been a cornerstone of past technological…

The recent success of specialized Large Language Models (LLMs) in domains such as mathematical reasoning and coding has led to growing interest in methods for merging these expert LLMs into a unified Mixture-of-Experts (MoE) model, with the…

Computation and Language · Computer Science 2025-02-18 Yuhang Zhou , Giannis Karamanolakis , Victor Soto , Anna Rumshisky , Mayank Kulkarni , Furong Huang , Wei Ai , Jianhua Lu

This article introduces a metamodel for the Business Model Canvas (BMC) using the Unified Modelling Language (UML), together with a dedicated Domain-Specific Modelling Language (DSML) tool. Although the BMC is widely adopted by both…

Software Engineering · Computer Science 2026-02-16 Nordine Benkeltoum

Large Language Models (LLMs) require sophisticated prompting, yet current practices face challenges in structure, data integration, format sensitivity, and tooling. Existing methods lack comprehensive solutions for organizing complex…

Human-Computer Interaction · Computer Science 2025-08-20 Yuge Zhang , Nan Chen , Jiahang Xu , Yuqing Yang
‹ Prev 1 3 4 5 6 7 10 Next ›