Buchumschlag

CertiA360: Enhance Compliance Agility in Aerospace Software Development

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Macedo, J. Antonio Dantas, Fernandes, Hugo, Ribeiro, J. Eduardo Ferreira
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering N/A D.0; D.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
von: Ribeiro, J. Eduardo Ferreira, et al.
Veröffentlicht: (2025)

Developers' Perceptions on the Impact of ChatGPT in Software Development: A Survey
von: Vaillant, Thiago S., et al.
Veröffentlicht: (2024)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
von: Saberi, Iman, et al.
Veröffentlicht: (2023)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
von: Akbarpour, Nikta, et al.
Veröffentlicht: (2025)

AHA! Strategies for Gaining Insights into Software Design
von: Shaw, Mary
Veröffentlicht: (2024)

GenAIOps for GenAI Model-Agility
von: Ueno, Ken, et al.
Veröffentlicht: (2024)

Enterprise-Driven Open Source Software: A Case Study on Security Automation
von: Angermeir, Florian, et al.
Veröffentlicht: (2021)

How (Not) To Write a Software Engineering Abstract
von: Prechelt, Lutz, et al.
Veröffentlicht: (2025)

The AI-Native Large-Scale Agile Software Development Manifesto
von: Britto, Ricardo, et al.
Veröffentlicht: (2026)

Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
von: Zhong, Suzhen, et al.
Veröffentlicht: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
von: López, Hugo A., et al.
Veröffentlicht: (2024)

Lessons from Formally Verified Deployed Software Systems (Extended version)
von: Huang, Li, et al.
Veröffentlicht: (2023)

The Present and Future of Bots in Software Engineering
von: Shihab, Emad, et al.
Veröffentlicht: (2022)

Towards Identifying Code Proficiency through the Analysis of Python Textbooks
von: Rojpaisarnkit, Ruksit, et al.
Veröffentlicht: (2024)

An Exploratory Study on Fine-Tuning Large Language Models for Secure Code Generation
von: Li, Junjie, et al.
Veröffentlicht: (2024)

Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models
von: Tateishi, Takaaki, et al.
Veröffentlicht: (2025)

Behavior Trees and State Machines in Robotics Applications
von: Ghzouli, Razan, et al.
Veröffentlicht: (2022)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
von: Shirzad, Mohammad Robati, et al.
Veröffentlicht: (2024)

Integrating Sustainability Concerns into Agile Software Development Process
von: Oyedeji, Shola, et al.
Veröffentlicht: (2024)

Myriad People Open Source Software for New Media Arts
von: Baudry, Benoit, et al.
Veröffentlicht: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
von: Zeng, Zhengran, et al.
Veröffentlicht: (2024)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
von: Saberi, Iman, et al.
Veröffentlicht: (2023)

Breaking Changes in Software Ecosystems: A Systematic Literature Review
von: Chen, Juntao, et al.
Veröffentlicht: (2026)

PDLogger: Automated Logging Framework for Practical Software Development
von: Duan, Shengcheng, et al.
Veröffentlicht: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
von: Le, Tuan D, et al.
Veröffentlicht: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
von: Zadenoori, Mohammad Amin, et al.
Veröffentlicht: (2025)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
von: Paramitha, Ranindya, et al.
Veröffentlicht: (2024)

The New Dynamics of Open Source: Relicensing, Forks, & Community Impact
von: Foster, Dawn
Veröffentlicht: (2024)

Code Documentation and Analysis to Secure Software Development
von: Attie, Paul, et al.
Veröffentlicht: (2024)

Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey
von: Li, Caihua, et al.
Veröffentlicht: (2026)

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
von: Helbling, Caleb, et al.
Veröffentlicht: (2025)

Seeking Enlightenment: Incorporating Evidence-Based Practice Techniques in a Research Software Engineering Team
von: Milewicz, Reed, et al.
Veröffentlicht: (2024)

Automated Deep Learning Optimization via DSL-Based Source Code Transformation
von: Wang, Ruixin, et al.
Veröffentlicht: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
von: Ginac, Frank
Veröffentlicht: (2026)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
von: Elgendy, Islam T., et al.
Veröffentlicht: (2023)

Technology Research Software: An Often Overlooked Category of Research Software
von: Hasselbring, Wilhelm, et al.
Veröffentlicht: (2026)