English
Related papers

Related papers: Formal Semantics of Architectural Decision Models

200 papers

The continuous software engineering paradigm is gaining popularity in modern development practices, where the interleaving of design and runtime activities is induced by the continuous evolution of software systems. In this context,…

Software Engineering · Computer Science 2024-01-31 Romina Eramo , Michele Tucci , Daniele Di Pompeo , Vittorio Cortellessa , Antinisca Di Marco , Davide Taibi

This paper proposes Architectural Pattern Recommender (APR) system which helps in such architecture selection process. Main contribution of this work is in replacing the manual effort required to identify and analyse relevant architectural…

Software Engineering · Computer Science 2018-09-13 Shipra Sharma , Balwinder Sodhi

Modeling and simulation of complex systems is key to explore systems dynamics. Many scientific approaches were developed to represent dynamic structure systems but most of these approaches are efficient for some kinds of systems and…

Software Engineering · Computer Science 2024-04-08 Aya Attia , Clément Foucher , Luiz Fernando Lavado Villa

Although models are built on the basis of some observations of reality, the concepts that derive theoretically from their definitions as well as from their characteristics and properties are not necessarily direct consequences of these…

Discrete Mathematics · Computer Science 2011-11-11 Mathilde Noual , Sylvain Sené

Building software systems often requires knowledge and skills beyond what developers already possess. In such cases, developers have to leverage different sources of information to seek help. A growing number of researchers and…

Software Engineering · Computer Science 2021-12-22 Musengamana Jean de Dieu , Peng Liang , Mojtaba Shahin

Foundation model-enabled generative artificial intelligence facilitates the development and implementation of agents, which can leverage distinguished reasoning and language processing capabilities to takes a proactive, autonomous role to…

Artificial Intelligence · Computer Science 2024-11-07 Yue Liu , Sin Kit Lo , Qinghua Lu , Liming Zhu , Dehai Zhao , Xiwei Xu , Stefan Harrer , Jon Whittle

This paper introduces a conceptual, yet quantifiable, architecture framework by extending the notion of system modularity in its broadest sense. Acknowledging that modularity is not a binary feature and comes in various types and levels,…

Systems and Control · Computer Science 2016-08-05 Babak Heydari , Mohsen Mosleh , Kia Dalili

Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing feature of model-driven development is that clients of a…

Software Engineering · Computer Science 2017-04-03 Sebastian Erdweg , Klaus Ostermann

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

Artificial Intelligence · Computer Science 2026-01-06 Bin Xu

Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainability. Existing approaches to model differencing concentrate…

Software Engineering · Computer Science 2014-09-10 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards…

Software Engineering · Computer Science 2014-09-24 Manfred Broy , Maria Victoria Cengarle , Bernhard Rumpe

Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculate the solutions. This paper focuses on efficient model…

Artificial Intelligence · Computer Science 2010-02-16 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Designing domain models and software architectures represents a significant challenge in software development, as the resulting architectures play a vital role in fulfilling the system's quality of service. Due to time pressure, architects…

Software Engineering · Computer Science 2024-02-02 Tobias Eisenreich , Sandro Speth , Stefan Wagner

Orientation of modern software systems towards data-intensive processing raises new difficulties in software engineering on how to build and maintain such systems. Some of the important challenges concern the design of software…

Software Engineering · Computer Science 2023-12-07 Aleksandar Dimov , Simeon Emanuilov , Boyan Bontchev , Yavor Dankov , Tasos Papapostolu

Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties of the system under design. This supports developers in…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Lutz Rothhart , Bernhard Rumpe

Decision-making is a central yet under-defined goal in visualization research. While existing task models address decision processes, they often neglect the conditions framing a decision. To better support decision-making tasks, we propose…

Human-Computer Interaction · Computer Science 2025-07-25 Lena Cibulski , Stefan Bruckner

A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in…

Software Engineering · Computer Science 2020-04-17 Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev , Manuel Mazzara , Bertrand Meyer

A software architect uses quality requirements to design the architecture of a system. However, it is essential to ensure that the system's final architectural design achieves the standard quality requirements. The existing architectural…

Software Engineering · Computer Science 2021-05-21 Ritu Kapur , Sumit Kalra , Kamlesh Tiwari , Geetika Arora

The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to the work developed on an IDE. We propose the definition of a…

Software Engineering · Computer Science 2011-01-24 Bruno Antunes , Francisco Correia , Paulo Gomes

This chapter reviews the purpose and use of models from the field of complex systems and, in particular, the implications of trying to use models to understand or make decisions within complex situations, such as policy makers usually face.…

Multiagent Systems · Computer Science 2013-11-25 Bruce Edmonds , Carlos Gershenson