English
Related papers

Related papers: Towards Artefact-based Requirements Engineering fo…

200 papers

Software (SW) development is a labor intensive activity. Modern software projects generally have to deal with producing and managing large and complex software products. Developing such software has become an extremely challenging job not…

Software Engineering · Computer Science 2011-09-09 Ardhendu Mandal

We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such artifact systems as array-based systems, which allows us to…

Logic in Computer Science · Computer Science 2019-02-28 Diego Calvanese , Silvio Ghilardi , Alessandro Gianola , Marco Montali , Andrey Rivkin

Although the methodology of Design Science Research (DSR) is playing an increasingly important role with the emergence of the "sciences of the artificial", the validity of the resulting artifacts is occasionally questioned. This paper…

Other Computer Science · Computer Science 2025-04-15 Sylvana Kroop

The intersection of artificial intelligence (AI) and digital forensics (DF) is becoming increasingly complex, ubiquitous, and pervasive, with overlapping techniques and technologies being adopted in all types of scientific and technical…

Artificial Intelligence · Computer Science 2025-12-16 Paola Di Maio

Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have…

Databases · Computer Science 2014-08-27 Diego Calvanese , Marco Montali , Montserrat Estanol , Ernest Teniente

This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques,…

Software Engineering · Computer Science 2014-09-24 Bernhard Rumpe

The rapid progress of generative models has intensified the need for reliable and robust detection under real-world conditions. However, existing detectors often overfit to generator-specific artifacts and remain highly sensitive to…

Computer Vision and Pattern Recognition · Computer Science 2025-12-25 Ruiqi Liu , Yi Han , Zhengbo Zhang , Liwei Yao , Zhiyuan Yan , Jialiang Shen , ZhiJin Chen , Boyi Sun , Lubin Weng , Jing Dong , Yan Wang , Shu Wu

Machine learning is now used in many applications thanks to its ability to predict, generate, or discover patterns from large quantities of data. However, the process of collecting and transforming data for practical use is intricate. Even…

Case-hindering, multi-year digital forensic evidence backlogs have become commonplace in law enforcement agencies throughout the world. This is due to an ever-growing number of cases requiring digital forensic investigation coupled with the…

Cryptography and Security · Computer Science 2020-12-04 Xiaoyu Du , Quan Le , Mark Scanlon

In this position paper we argue that just as traditional business process modeling has been adopted to deal with clinical pathways, also the artifact-centric process modeling technique may be successfully used to model various kinds of…

Other Computer Science · Computer Science 2013-03-20 Dmitry Solomakhin

Retrieval-Augmented Generation (RAG) is widely used to ground large language models in external knowledge sources. However, when applied to heterogeneous corpora and multi-step queries, Naive RAG pipelines often degrade in quality due to…

Information Retrieval · Computer Science 2026-04-10 Valeriy Kovalskiy , Nikita Belov , Nikita Miteyko , Igor Reshetnikov , Max Maximov

Requirements Engineering (RE) is known to be critical for the success of software projects, and hence forms an important part of any Software Engineering (SE) education curriculum offered at tertiary level. In this paper, we report the…

Computers and Society · Computer Science 2018-04-06 Saurabh Tiwari , Deepti Ameta , Paramvir Singh , Ashish Sureka

Materials science is becoming increasingly more reliant on digital data to facilitate progress in the field. Due to a large diversity in its scope, breadth, and depth, organizing the data in a standard way to optimize the speed and creative…

Materials Science · Physics 2019-03-01 Timur Bazhirov

While automated experiments and high-throughput methods are becoming more mainstream in the age of data, empowering individual researchers to capture, collate, and contextualize their data faster and more reproducibly still remains a…

Computers and Society · Computer Science 2020-07-30 Ha-Kyung Kwon , Chirranjeevi Balaji Gopal , Jared Kirschner , Santiago Caicedo , Brian D. Storey

Artificial Intelligence has been transforming industries and academic research across the globe, and research software development is no exception. Machine learning and deep learning are being applied in every aspect of the research…

This work examines how AI, especially agentic systems, is being adopted in engineering and manufacturing workflows, what value it provides today, and what is needed for broader deployment. This is an exploratory and qualitative…

Computers and Society · Computer Science 2026-04-14 Kristen M. Edwards , Maxwell Bauer , Claire Jacquillat , A. John Hart , Faez Ahmed

As Artificial Intelligence (AI) permeates many aspects of society, it brings numerous advantages while at the same time raising ethical concerns and potential risks, such as perpetuating inequalities through biased or discriminatory…

Computers and Society · Computer Science 2023-11-28 Muneera Bano , Didar Zowghi , Vincenzo Gervasi , Rifat Shams

Artifact Detection (AD) techniques minimize the impact of artifacts on physiologic data acquired in Critical Care Units (CCU) by assessing quality of data prior to Clinical Event Detection (CED) and Parameter Derivation (PD). This…

Signal Processing · Electrical Eng. & Systems 2018-05-02 Shermeen Nizami , James R. Green , Carolyn McGregor

Often during the requirements engineering (RE) process, the value of a requirement is assessed, e.g., in requirement prioritisation, release planning, and trade-off analysis. In order to support these activities, this research evaluates…

Software Engineering · Computer Science 2013-06-17 Richard Ellis-Braithwaite

Organizations have to adjust to changes in the ecosystem, and customer feedback systems (CFS) provide important information to adapt products and services to changing customer preferences. However, current systems are limited to…

Software Engineering · Computer Science 2023-03-15 Mark C. Ballandies , Valentin Holzwarth , Barry Sunderland , Evangelos Pournaras , Jan vom Brocke