A Systematic Mapping Study on Contract-based Software Design for Dependable Systems

• URL: http://arxiv.org/abs/2505.07542v1
• Date: Mon, 12 May 2025 13:25:29 GMT
• Title: A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
• Authors: Fazli Faruk Okumus, Amra Ramic, Stefan Kugele,
• Abstract summary: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts.<n>It establishes rules that outline the behaviour of software components and their interfaces and interactions.<n>Despite the significance and well-established theoretical background of CbD, there is a need for a comprehensive systematic mapping study for reliable software systems.
• Score: 0.45880283710344055
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Background: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts, thereby enhancing clarity and reliability in software development. It establishes rules that outline the behaviour of software components and their interfaces and interactions. This modular approach enables the design process to be segmented into smaller, independently developed, tested, and verified system components, ultimately leading to more robust and dependable software. Aim: Despite the significance and well-established theoretical background of CbD, there is a need for a comprehensive systematic mapping study for reliable software systems. Our study provides an evidence-based overview of a method and demonstrates its practical feasibility. Method: To conduct this study, we systematically searched three different databases using specially formulated queries, which initially yielded 1,221 primary studies. After voting, we focused on 288 primary studies for more detailed analysis. Finally, a collaborative review allowed us to gather relevant evidence and information to address our research questions. Results: Our findings suggest potential avenues for future research trajectories in CbD, emphasising its role in improving the dependability of software systems. We highlight maturity levels across different domains and identify areas that may benefit from further research. Conclusion: Although CbD is a well-established software design approach, a more comprehensive literature review is needed to clarify its theoretical state about dependable systems. Our study addresses this gap by providing a detailed overview of CbD from various perspectives, identifying key gaps, and suggesting future research directions.

Related papers

• A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models [2.518519330408713]
  Large Language Models (LLMs) in software engineering have sparked interest in their use for software vulnerability detection.<n>The rapid development of this field has resulted in a fragmented research landscape.<n>This fragmentation makes it difficult to obtain a clear overview of the state-of-the-art or compare and categorize studies meaningfully.
  arXiv  Detail & Related papers  (2025-07-30T13:17:16Z)
• Recipe for Discovery: A Framework for Systematic Open Source Project Identification [3.301066200227303]
  Open source software development, particularly within institutions such as universities and research laboratories, is often decentralized and difficult to track.<n>This paper addresses the challenge of discovering, classifying, and analyzing open source software projects developed across distributed institutional systems.<n>We present a framework for systematically identifying institutional affiliated repositories, using the University of California (UC) system as a case study.
  arXiv  Detail & Related papers  (2025-06-23T07:43:21Z)
• Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases [3.8153349016958074]
  We introduce Code-Survey, the first LLM-driven methodology designed to explore and analyze large-scales. By carefully designing surveys, Code-Survey transforms unstructured data, such as commits, emails, into organized, structured, and analyzable datasets. This enables quantitative analysis of complex software evolution and uncovers valuable insights related to design, implementation, maintenance, reliability, and security.
  arXiv  Detail & Related papers  (2024-09-24T17:08:29Z)
• A Comprehensive Survey on Underwater Image Enhancement Based on Deep Learning [51.7818820745221]
  Underwater image enhancement (UIE) presents a significant challenge within computer vision research. Despite the development of numerous UIE algorithms, a thorough and systematic review is still absent.
  arXiv  Detail & Related papers  (2024-05-30T04:46:40Z)
• Deep Configuration Performance Learning: A Systematic Survey and Taxonomy [3.077531983369872]
  We conduct a comprehensive review on the topic of deep learning for performance learning of software, covering 1,206 searched papers spanning six indexing services. Our results outline key statistics, taxonomy, strengths, weaknesses, and optimal usage scenarios for techniques related to the preparation of configuration data. We also identify the good practices and potentially problematic phenomena from the studies surveyed, together with a comprehensive summary of actionable suggestions and insights into future opportunities within the field.
  arXiv  Detail & Related papers  (2024-03-05T21:05:16Z)
• Systematic Mapping Protocol -- UX Design role in software development process [55.2480439325792]
  We present a systematic mapping protocol for investigating the role of the UX designer in the software development process. We define the research questions, scope, sources, search strategy, selection criteria, data extraction, and analysis methods that we will use to conduct the mapping study.
  arXiv  Detail & Related papers  (2024-02-20T16:56:46Z)
• Set-to-Sequence Ranking-based Concept-aware Learning Path Recommendation [49.85548436111153]
  We propose a novel framework named Set-to-Sequence Ranking-based Concept-aware Learning Path Recommendation (SRC) SRC formulates the recommendation task under a set-to-sequence paradigm. We conduct extensive experiments on two real-world public datasets and one industrial dataset.
  arXiv  Detail & Related papers  (2023-06-07T08:24:44Z)
• A Prelimanary Exploration on component based software engineering [0.0]
  Component-based software development (CBD) is a methodology embraced by the software industry to accelerate development, save costs and timelines, minimize testing requirements, and boost quality and output. This paper explores the concept of component-based software engineering which have been around for a while, but proper adaption are still lacking issues are also focused.
  arXiv  Detail & Related papers  (2023-05-23T10:07:59Z)
• A Domain-Agnostic Approach for Characterization of Lifelong Learning Systems [128.63953314853327]
  "Lifelong Learning" systems are capable of 1) Continuous Learning, 2) Transfer and Adaptation, and 3) Scalability. We show that this suite of metrics can inform the development of varied and complex Lifelong Learning systems.
  arXiv  Detail & Related papers  (2023-01-18T21:58:54Z)
• Investigating Fairness Disparities in Peer Review: A Language Model Enhanced Approach [77.61131357420201]
  We conduct a thorough and rigorous study on fairness disparities in peer review with the help of large language models (LMs) We collect, assemble, and maintain a comprehensive relational database for the International Conference on Learning Representations (ICLR) conference from 2017 to date. We postulate and study fairness disparities on multiple protective attributes of interest, including author gender, geography, author, and institutional prestige.
  arXiv  Detail & Related papers  (2022-11-07T16:19:42Z)
• Wizard of Search Engine: Access to Information Through Conversations with Search Engines [58.53420685514819]
  We make efforts to facilitate research on CIS from three aspects. We formulate a pipeline for CIS with six sub-tasks: intent detection (ID), keyphrase extraction (KE), action prediction (AP), query selection (QS), passage selection (PS) and response generation (RG) We release a benchmark dataset, called wizard of search engine (WISE), which allows for comprehensive and in-depth research on all aspects of CIS.
  arXiv  Detail & Related papers  (2021-05-18T06:35:36Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.