English
Related papers

Related papers: Model-driven system development: Experimental desi…

200 papers

Several institutions are collaborating on the development of a new web-based Open Education Resources (OER) system designed exclusively for non-commercial educational purposes. This initiative is underpinned by meticulous research aimed at…

Computers and Society · Computer Science 2024-05-28 Nimol Thuon , Wangrui Zhang

Throughout the history of software, evolution has occurred in cycles of rise and fall driven by competition, and open-source software (OSS) is no exception. This cycle is accelerating, particularly in rapidly evolving domains such as web…

Software Engineering · Computer Science 2026-02-20 Yuki Takei , Toshiaki Aoki , Chaiyong Ragkhitwetsagul

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting…

Software Engineering · Computer Science 2019-04-16 Przemyslaw Daca , Thomas A. Henzinger , Willibald Krenn , Dejan Nickovic

The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give…

Software Engineering · Computer Science 2016-11-17 Robert France , Bernhard Rumpe

Over the last decade, researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this topic, few…

Software Engineering · Computer Science 2021-08-23 Zhuoqun Yang , Zhi Li , Zhi Jin

Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers…

Software Engineering · Computer Science 2019-05-17 Khavee Agustus Botangen , Jian Yu , Sira Yongchareon , LiangHuai Yang , Quan Bai

[Context & Motivation] Adaptive systems are an important research area. The dominant reason for adaptivity in systems are changes in the environment. Thus, it is an important question how to model the environment and how to determine the…

Software Engineering · Computer Science 2020-11-17 Fabian Kneer , Erik Kamsties , Klaus Schmid

This paper is more an essay than a report. There is a gentle introduction to some issues in modeling, followed by the use of steepest descent methods to develop a model as contrasted to using such methods to solve one already in hand, as in…

Dynamical Systems · Mathematics 2015-04-07 Nikolas O. Aksamit , Don H. Tucker , James F. Tucker

Service Oriented Software Engineering is based on concepts and principles for constructing complex enterprise systems in which services as building block of the system, are distributed in large networks. The main goal of the service…

Software Engineering · Computer Science 2020-04-21 Mahdi Fahmideh , Jafar Habibi , Fereidoon Shams , Sedigheh Khoshnevis

Model driven development is an effective method due to its benefits such as code transformation, increasing productivity and reducing human based error possibilities. Meanwhile, agile software development increases the software flexibility…

Software Engineering · Computer Science 2017-01-03 Gürkan Alpaslan , Oya Kalıpsız

Computational simulations are a popular method for testing hypotheses about the emergence of communication. This kind of research is performed in a variety of traditions including language evolution, developmental psychology, cognitive…

Artificial Intelligence · Computer Science 2023-03-09 Julian Zubek , Tomasz Korbak , Joanna Rączaszek-Leonardi

This report contains instructions to install, uninstall and use GREAT Process Modeller, a tool that supports Communication Analysis, a communication-oriented business process modelling method. GREAT allows creating communicative event…

Other Computer Science · Computer Science 2015-02-27 Urko Rueda , Sergio España , Marcela Ruiz

The purpose of this work is to offer a methodology that allows to construct a standard in Knowledge Management and Technological Innovation which may be used in various organizations in M\'exico to improve the operation of their resources…

Other Computer Science · Computer Science 2020-01-31 Jorge Romero-Hidalgo

Developing a structured method for analyzing various aspects of a system requires a novel methodology. This study is aimed at developing such as methodology through combining two major matrix methods, namely, Design Structure Matrix (DSM)…

Systems and Control · Electrical Eng. & Systems 2019-07-02 Hossein Sabzian , Seyyed Mostafa Seyyed Hashemi , Ehsan Kamrani

The idea of automatizing the assessment of objectoriented design is not new. Different approaches define and apply their own quality models, which are composed of single metrics or combinations thereof, to operationalize software design.…

Software Engineering · Computer Science 2016-02-24 Johannes Bräuer

Ontologies are key enablers for sharing precise and machine-understandable semantics among different applications and parties. Yet, for ontologies to meet these expectations, their quality must be of a good standard. The quality of an…

Artificial Intelligence · Computer Science 2012-07-13 Mutaz M. Al-Debei , Mohammad Mourhaf Al Asswad , Sergio de Cesare , Mark Lycett

Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards a more successful transfer into practice.…

Software Engineering · Computer Science 2021-01-29 Mario Gleirscher , Diego Marmsoler

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes. In this paper collaborative processes are modeled using the interaction view of BPMN 2.0 standard. Then,…

Software Engineering · Computer Science 2017-07-29 Amir Ebrahimifard , Mostafa Khoramabadi Arani , Mohammad Javad Amiri , Saeed Parsa

The Object-Oriented (OO) software system evolves over the time to meet the new requirements. Based on the initial release of software, the continuous modification of software code leads to software evolution. Software needs to evolve over…

Software Engineering · Computer Science 2018-03-28 Ra'Fat Al-Msie'deen , Anas H. Blasi