English
Related papers

Related papers: Spec-Driven Development:From Code to Contract in t…

200 papers

Many modern software-intensive systems employ artificial intelligence / machine-learning (AI/ML) components and are, thus, inherently data-centric. The behaviour of such systems depends on typically large amounts of data processed at…

Software Engineering · Computer Science 2021-03-10 Tatiana Chuprina , Daniel Mendez , Krzysztof Wnuk

Secure by Design has become the mainstream development approach ensuring that software systems are not vulnerable to cyberattacks. Architectural security controls need to be carefully monitored over the software development life cycle to…

Software Engineering · Computer Science 2023-07-13 Ahmet Okutan , Ali Shokri , Viktoria Koscinski , Mohamad Fazelinia , Mehdi Mirakhorli

Enterprise API design is often bottlenecked by the tension between rapid feature delivery and the rigorous maintenance of usability standards. We present an industrial case study evaluating an AI-assisted design workflow trained on API…

Software Engineering · Computer Science 2026-03-16 Mak Ahmad , Andrew Macvean , JJ Geewax , David Karger

We present a comprehensive real-world evaluation of AI-assisted software development tools deployed at enterprise scale. Over one year, 300 engineers across multiple teams integrated an in-house AI platform (DeputyDev) that combines code…

Self-Admitted Technical Debt (SATD) refers to instances where developers knowingly introduce suboptimal solutions into code and document them, often through textual artifacts. This paper provides a comprehensive state-of-practice report on…

Software Engineering · Computer Science 2025-03-20 Edi Sutoyo , Andrea Capiluppi

We present Test-Driven AI Agent Definition (TDAD), a methodology that treats agent prompts as compiled artifacts: engineers provide behavioral specifications, a coding agent converts them into executable tests, and a second coding agent…

Software Engineering · Computer Science 2026-03-11 Tzafrir Rehan

The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without direct human interaction in a seemingly uncontrollable manner.…

The automotive industry is shifting from hardware-centric development toward software-defined vehicles (SDVs), where software drives functionality, value creation, and competitive differentiation. Growing software complexity renders…

Software Engineering · Computer Science 2026-04-21 Heidi Hietala , Nirnaya Tripathi , Prabhash Rathnayake , Yueqiang Xu , Tero Päivärinta , Ella Peltonen

Speculative decoding (SD) has become a popular technique to accelerate Large Language Model (LLM) inference, yet its real-world effectiveness remains unclear as prior evaluations rely on research prototypes and unrealistically small batch…

Computation and Language · Computer Science 2026-03-19 Xiaoxuan Liu , Jiaxiang Yu , Jongseok Park , Ion Stoica , Alvin Cheung

Modern software engineering increasingly relies on open, community-driven standards, yet how such standards are created in fast-evolving domains like AI-powered systems remains underexplored. This paper presents a detailed experience report…

The problem of writing a specification which accurately reflects the intent of the developer has long been recognized as fundamental. We propose a method and a supporting tool to write and check a specification and an implementation using a…

Software Engineering · Computer Science 2013-05-20 Paul C Attie , Fadi A Zaraket , Mohammad Fawaz , Mohammad Noureddine

Software development includes diverse tasks such as implementing new features, analyzing requirements, and fixing bugs. Being an expert in those tasks requires a certain set of skills, knowledge, and experience. Several studies investigated…

Software Engineering · Computer Science 2018-11-06 Sebastian Baltes , Stephan Diehl

Technologies play an important role in the hiring process for software professionals. Within this process, several studies revealed misconceptions and bad practices which lead to suboptimal recruitment experiences. In the same context, grey…

Software Engineering · Computer Science 2021-08-24 Jonas Fritzsch , Marvin Wyrich , Justus Bogner , Stefan Wagner

This study provides a comprehensive benchmark framework for Source-Free Unsupervised Domain Adaptation (SF-UDA) in image classification, aiming to achieve a rigorous empirical understanding of the complex relationships between multiple key…

Computer Vision and Pattern Recognition · Computer Science 2024-02-27 Andrea Maracani , Raffaello Camoriano , Elisa Maiettini , Davide Talon , Lorenzo Rosasco , Lorenzo Natale

Automatic code generation has recently attracted large attention and is becoming more significant to the software development process. Solutions based on Machine Learning and Artificial Intelligence are being used to increase human and…

Software Engineering · Computer Science 2023-05-22 Leon Chemnitz , David Reichenbach , Hani Aldebes , Mariam Naveed , Krishna Narasimhan , Mira Mezini

Software design patterns are standard solutions to common problems in software design and architecture. Knowing that a particular module implements a design pattern is a shortcut to design comprehension. Manually detecting design patterns…

Software Engineering · Computer Science 2021-12-03 Najam Nazar , Aldeida Aleti , Yaokun Zheng

The rise of AI-assisted software engineering (SE 2.0), powered by Foundation Models (FMs) and FM-powered coding assistants, has shown promise in improving developer productivity. However, it has also exposed inherent limitations, such as…

Software Engineering · Computer Science 2026-01-12 Ahmed E. Hassan , Gustavo A. Oliva , Dayi Lin , Boyuan Chen , Zhen Ming , Jiang

One of the goals of Software design is to model a system in such a way that it is reused. Actively reusing designs or code allows taking advantage of the investment made on reusable components. However development of domain specific…

Software Engineering · Computer Science 2014-06-17 N. Md Jubair Basha , Salman Abdul Moiz

Professional designers work from client briefs that specify goals and constraints but often lack concrete design details. Translating these abstract requirements into visual designs poses a central challenge, yet existing tools address…

Human-Computer Interaction · Computer Science 2026-04-14 Kotaro Kikuchi , Nami Ogawa

Using cloud-based computer vision services is gaining traction, where developers access AI-powered components through familiar RESTful APIs, not needing to orchestrate large training and inference infrastructures or curate/label training…

Software Engineering · Computer Science 2020-12-29 Alex Cummaudo , Rajesh Vasa , John Grundy , Mohamed Abdelrazek