English
Related papers

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

200 papers

Selecting third-party software packages in open-source ecosystems like Python is challenging due to the large number of alternatives and limited transparent evidence for comparison. Generative AI tools are increasingly used in development…

Artificial Intelligence (AI) tools for automating design artifact generation are increasingly used in Requirements Engineering (RE) to transform textual requirements into structured diagrams and models. While these AI tools, particularly…

Software Engineering · Computer Science 2025-07-15 Syed Tauhid Ullah Shah , Mohammad Hussein , Ann Barcomb , Mohammad Moshirpour

To enable robots to achieve high level objectives, engineers typically write scripts that apply existing specialized skills, such as navigation, object detection and manipulation to achieve these goals. Writing good scripts is challenging…

Robotics · Computer Science 2022-07-21 Or Wertheim , Dan R. Suissa , Ronen I. Brafman

Virtual assistants such as Google Assistant, Alexa and Siri provide a conversational interface to a large number of services and APIs spanning multiple domains. Such systems need to support an ever-increasing number of services with…

Computation and Language · Computer Science 2020-01-30 Abhinav Rastogi , Xiaoxue Zang , Srinivas Sunkara , Raghav Gupta , Pranav Khaitan

Several approaches have been presented, which aim to extract models from natural language specifications. These approaches have inherent weaknesses for they assume an initial problem understanding that is perfect, and they leave no room for…

Information Retrieval · Computer Science 2023-10-24 Vasiliy Seibert

Test Driven Development (TDD) is one of the major practices of Extreme Programming for which incremental testing and refactoring trigger the code development. TDD has limited adoption in the industry, as it requires more code to be…

Software Engineering · Computer Science 2025-01-15 Moritz Mock , Jorge Melegati , Barbara Russo

The development of modern Artificial Intelligence (AI) models, particularly diffusion-based models employed in computer vision and image generation tasks, is undergoing a paradigmatic shift in development methodologies. Traditionally…

Machine Learning · Computer Science 2025-06-13 Sajjad Abdoli , Freeman Lewin , Gediminas Vasiliauskas , Fabian Schonholz

Currently, the field of structure-based drug design is dominated by three main types of algorithms: search-based algorithms, deep generative models, and reinforcement learning. While existing works have typically focused on comparing models…

Machine Learning · Computer Science 2026-01-22 Kangyu Zheng , Kai Zhang , Jiale Tan , Xuehan Chen , Yingzhou Lu , Zaixi Zhang , Lichao Sun , Marinka Zitnik , Tianfan Fu , Zhiding Liang

Large language models (LLMs) are now an integral part of software development workflows and are reshaping the whole process. Traditional technology stack selection has not caught up. Most of the existing selection methods focus solely on…

Software Engineering · Computer Science 2025-09-16 Xiaoyu Zhang , Weipeng Jiang , Juan Zhai , Shiqing Ma , Qingshuang Bao , Chenhao Lin , Chao Shen , Tianlin Li , Yang Liu

Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications.…

Software Engineering · Computer Science 2018-06-26 Christian Attiogbé

AI tools are enabling engineers to absorb roles previously distributed across cross-functional squads, yet there is little structured evidence on how to design or evaluate such a one-person squad in a regulated enterprise setting. Without…

Software Engineering · Computer Science 2026-05-21 Marcelo Vilas Boas , Gustavo Pinto , Edward Roberto Monteiro , Vinicius Fernandes Carida , Danilo Ribeiro

Artefacts play a vital role in software and systems development processes. Other terms like documents, deliverables, or work products are widely used in software development communities instead of the term artefact. In the following, we use…

Software Engineering · Computer Science 2021-04-08 D. Méndez Fernández , W. Böhm , A. Vogelsang , J. Mund , M. Broy , M. Kuhrmann , T. Weyer

The multiplicity of software projects' stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. The process of establishing such…

Software Engineering · Computer Science 2017-11-20 Alexandr Naumchev

Expertise is often built by learning from examples. This process, known as schema induction, helps us identify patterns from examples. Despite its importance, schema induction remains a challenging cognitive task. Recent advances in…

Human-Computer Interaction · Computer Science 2025-02-24 Sitong Wang , Lydia B. Chilton

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

Software Engineering · Computer Science 2025-05-20 Tarik Houichime , Younes El Amrani

Continuous practices that rely on automation in the software development workflow have been widely adopted by industry for over a decade. Despite this widespread use, software development remains a primarily human-driven activity that is…

Software Engineering · Computer Science 2021-04-07 Omar Elazhary , Margaret-Anne Storey , Neil A. Ernst , Elise Paradis

The desire to build quality software systems has been the focus of most software developers and researchers for decades. This has culminated in the design of practices that promote quality in the designed software. Originating from the…

Software Engineering · Computer Science 2022-09-20 Sibonile Moyo

AI-empowered tools have emerged as a transformative force, fundamentally reshaping the software development industry and promising far-reaching impacts across diverse sectors. This study investigates the adoption, impact, and security…

Software Engineering · Computer Science 2024-11-22 Shidong Pan , Litian Wang , Tianyi Zhang , Zhenchang Xing , Yanjie Zhao , Qinghua Lu , Xiaoyu Sun

Effective collaboration is a key factor in the success of a software project developed by a team. In this work, we suggest the approach of Synchronized Software Development (SSD), which promotes a new mechanism of collaboration in general,…

Software Engineering · Computer Science 2015-04-29 Stanislav Levin , Amiram Yehudai

Many software systems originate as prototypes or minimum viable products (MVPs), developed with an emphasis on delivery speed and responsiveness to changing requirements rather than long-term code maintainability. While effective for rapid…

Software Engineering · Computer Science 2026-04-06 Ema Smolic , Mario Brcic , Luka Hobor , Mihael Kovac