:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ma, Zhi, Wen, Cheng, Su, Jie, Zhao, Ming, Yu, Bin, Lu, Xu, Tian, Cong
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2404.00795
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)

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

Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software
von: Liu, Yang, et al.
Veröffentlicht: (2026)

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

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
von: Lu, Xu, et al.
Veröffentlicht: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
von: Su, Jie, et al.
Veröffentlicht: (2025)

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

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

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

Towards a Taxonomy of Sustainability Requirements for Software Design
von: Roy, Mandira, et al.
Veröffentlicht: (2025)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
von: Aaramaa, Sanja, et al.
Veröffentlicht: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
von: Ramadan, Qusai, et al.
Veröffentlicht: (2025)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

A Requirements Engineering Technology for the IoT Software Systems
von: da Silva, Danyllo Valente, et al.
Veröffentlicht: (2021)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
von: Ullrich, Jonathan, et al.
Veröffentlicht: (2025)

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

Using Assurance Cases to Guide Verification and Validation of Research Software
von: Smith, W. Spencer, et al.
Veröffentlicht: (2024)

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

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

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

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
von: Sun, Simin, et al.
Veröffentlicht: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
von: Ye, Jingwei, et al.
Veröffentlicht: (2026)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
von: Kuang, Shiqi, et al.
Veröffentlicht: (2026)

Towards Extracting Ethical Concerns-related Software Requirements from App Reviews
von: Sorathiya, Aakash, et al.
Veröffentlicht: (2024)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
von: Frattini, Julian, et al.
Veröffentlicht: (2026)

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

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

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

ARC: Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems
von: Kong, Weiyu, et al.
Veröffentlicht: (2026)

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

Towards Extracting Software Requirements from App Reviews using Seq2seq Framework
von: Sorathiya, Aakash, et al.
Veröffentlicht: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
von: Lubos, Sebastian, et al.
Veröffentlicht: (2024)

Requirements Engineering for Research Software: A Vision
von: Bajraktari, Adrian, et al.
Veröffentlicht: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
von: Jin, Dongming, et al.
Veröffentlicht: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
von: Usama Quadri Syed
Veröffentlicht: (2019)

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

Generating Project-Specific Test Cases with Requirement Validation Intention
von: Qi, Binhang, et al.
Veröffentlicht: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
von: Sousa, Tiago, et al.
Veröffentlicht: (2024)