Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ma, Zhi, Wen, Cheng, Su, Jie, Zhao, Ming, Yu, Bin, Lu, Xu, Tian, Cong
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

Agentic Verification of Software Systems
por: Tu, Haoxin, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
por: Uphues, Marc, et al.
Publicado: (2025)