Image de couverture de livre

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ma, Zhi, Wen, Cheng, Su, Jie, Zhao, Ming, Yu, Bin, Lu, Xu, Tian, Cong
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated LTL Specification Generation from Industrial Aerospace Requirements
par: Ma, Zhi, et autres
Publié: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
par: Ma, Zhi, et autres
Publié: (2025)

Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software
par: Liu, Yang, et autres
Publié: (2026)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
par: Lu, Xu, et autres
Publié: (2025)

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap
par: Perera, Judith, et autres
Publié: (2024)

Agentic Verification of Software Systems
par: Tu, Haoxin, et autres
Publié: (2025)

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

Towards a Taxonomy of Sustainability Requirements for Software Design
par: Roy, Mandira, et autres
Publié: (2025)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
par: Ramadan, Qusai, et autres
Publié: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
par: Su, Jie, et autres
Publié: (2025)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
par: Aaramaa, Sanja, et autres
Publié: (2026)

A Requirements Engineering Technology for the IoT Software Systems
par: da Silva, Danyllo Valente, et autres
Publié: (2021)

Selene: Pioneering Automated Proof in Software Verification
par: Zhang, Lichen, et autres
Publié: (2024)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
par: Barbie, Alexander, et autres
Publié: (2023)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
par: Ullrich, Jonathan, et autres
Publié: (2025)

Using Assurance Cases to Guide Verification and Validation of Research Software
par: Smith, W. Spencer, et autres
Publié: (2024)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
par: Zhou, Zhi Quan, et autres
Publié: (2026)

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
par: Mao, Zhenyu, et autres
Publié: (2025)

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
par: Sun, Simin, et autres
Publié: (2026)

REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
par: Shi, Junjie, et autres
Publié: (2026)

Towards Extracting Ethical Concerns-related Software Requirements from App Reviews
par: Sorathiya, Aakash, et autres
Publié: (2024)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
par: Kuang, Shiqi, et autres
Publié: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
par: Amilon, Jesper, et autres
Publié: (2026)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
par: Ye, Jingwei, et autres
Publié: (2026)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
par: Frattini, Julian, et autres
Publié: (2026)

Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
par: Katapara, Parthiv, et autres
Publié: (2025)

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

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
par: Alves, Antonio Pedro Santos, et autres
Publié: (2024)

ARC: Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems
par: Kong, Weiyu, et autres
Publié: (2026)

Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software
par: KC, Pragyan, et autres
Publié: (2025)

Towards Extracting Software Requirements from App Reviews using Seq2seq Framework
par: Sorathiya, Aakash, et autres
Publié: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
par: Lubos, Sebastian, et autres
Publié: (2024)

Requirements Engineering for Research Software: A Vision
par: Bajraktari, Adrian, et autres
Publié: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
par: Jin, Dongming, et autres
Publié: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
par: Abdeen, Waleed, et autres
Publié: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
par: Sousa, Tiago, et autres
Publié: (2024)

A Comprehensive Study on the Use of Word Embedding Models in Software Engineering Domain
par: Chen, Xiaohan, et autres
Publié: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
par: Qi, Binhang, et autres
Publié: (2025)

A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
par: Uphues, Marc, et autres
Publié: (2025)