:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ma, Zhi, Wen, Cheng, Su, Jie, Zhao, Ming, Yu, Bin, Lu, Xu, Tian, Cong
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2404.00795
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software
by: Liu, Yang, et al.
Published: (2026)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
by: Lu, Xu, et al.
Published: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
by: Su, Jie, et al.
Published: (2025)

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap
by: Perera, Judith, et al.
Published: (2024)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

A Practical Implementation of Customized Scrum-Based Agile Framework in Aerospace Software Development Under DO-178C Constraints
by: Umer, Malik Muhammad
Published: (2025)

Towards a Taxonomy of Sustainability Requirements for Software Design
by: Roy, Mandira, et al.
Published: (2025)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
by: Aaramaa, Sanja, et al.
Published: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

A Requirements Engineering Technology for the IoT Software Systems
by: da Silva, Danyllo Valente, et al.
Published: (2021)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
by: Ullrich, Jonathan, et al.
Published: (2025)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
by: Zhou, Zhi Quan, et al.
Published: (2026)

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
by: Mao, Zhenyu, et al.
Published: (2025)

REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
by: Shi, Junjie, et al.
Published: (2026)

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
by: Sun, Simin, et al.
Published: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
by: Ye, Jingwei, et al.
Published: (2026)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
by: Kuang, Shiqi, et al.
Published: (2026)

Towards Extracting Ethical Concerns-related Software Requirements from App Reviews
by: Sorathiya, Aakash, et al.
Published: (2024)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
by: Frattini, Julian, et al.
Published: (2026)

Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
by: Katapara, Parthiv, et al.
Published: (2025)

Model-Guided Fieldwork: A Practical, Methodological and Philosophical Investigation in the use of Ethnomethodology for Engineering Software Requirements
by: Hinds, Chris
Published: (2024)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
by: Alves, Antonio Pedro Santos, et al.
Published: (2024)

ARC: Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems
by: Kong, Weiyu, et al.
Published: (2026)

Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software
by: KC, Pragyan, et al.
Published: (2025)

Towards Extracting Software Requirements from App Reviews using Seq2seq Framework
by: Sorathiya, Aakash, et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Requirements Engineering for Research Software: A Vision
by: Bajraktari, Adrian, et al.
Published: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
by: Jin, Dongming, et al.
Published: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
by: Usama Quadri Syed
Published: (2019)

A Comprehensive Study on the Use of Word Embedding Models in Software Engineering Domain
by: Chen, Xiaohan, et al.
Published: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
by: Abdeen, Waleed, et al.
Published: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)