Copertina

CertiA360: Enhance Compliance Agility in Aerospace Software Development

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Macedo, J. Antonio Dantas, Fernandes, Hugo, Ribeiro, J. Eduardo Ferreira
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering N/A D.0; D.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
di: Ribeiro, J. Eduardo Ferreira, et al.
Pubblicazione: (2025)

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

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

AHA! Strategies for Gaining Insights into Software Design
di: Shaw, Mary
Pubblicazione: (2024)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
di: Akbarpour, Nikta, et al.
Pubblicazione: (2025)

GenAIOps for GenAI Model-Agility
di: Ueno, Ken, et al.
Pubblicazione: (2024)

Enterprise-Driven Open Source Software: A Case Study on Security Automation
di: Angermeir, Florian, et al.
Pubblicazione: (2021)

How (Not) To Write a Software Engineering Abstract
di: Prechelt, Lutz, et al.
Pubblicazione: (2025)

The AI-Native Large-Scale Agile Software Development Manifesto
di: Britto, Ricardo, et al.
Pubblicazione: (2026)

Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
di: Zhong, Suzhen, et al.
Pubblicazione: (2025)

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

Lessons from Formally Verified Deployed Software Systems (Extended version)
di: Huang, Li, et al.
Pubblicazione: (2023)

The Present and Future of Bots in Software Engineering
di: Shihab, Emad, et al.
Pubblicazione: (2022)

Towards Identifying Code Proficiency through the Analysis of Python Textbooks
di: Rojpaisarnkit, Ruksit, et al.
Pubblicazione: (2024)

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

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

Behavior Trees and State Machines in Robotics Applications
di: Ghzouli, Razan, et al.
Pubblicazione: (2022)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

Integrating Sustainability Concerns into Agile Software Development Process
di: Oyedeji, Shola, et al.
Pubblicazione: (2024)

Myriad People Open Source Software for New Media Arts
di: Baudry, Benoit, et al.
Pubblicazione: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
di: Zeng, Zhengran, et al.
Pubblicazione: (2024)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

Breaking Changes in Software Ecosystems: A Systematic Literature Review
di: Chen, Juntao, et al.
Pubblicazione: (2026)

PDLogger: Automated Logging Framework for Practical Software Development
di: Duan, Shengcheng, et al.
Pubblicazione: (2025)

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

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
di: Zadenoori, Mohammad Amin, et al.
Pubblicazione: (2025)

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

The New Dynamics of Open Source: Relicensing, Forks, & Community Impact
di: Foster, Dawn
Pubblicazione: (2024)

Code Documentation and Analysis to Secure Software Development
di: Attie, Paul, et al.
Pubblicazione: (2024)

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

Model checking of hyperproperties for high-level relational models
di: Macedo, Nuno, et al.
Pubblicazione: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

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

Automated Deep Learning Optimization via DSL-Based Source Code Transformation
di: Wang, Ruixin, et al.
Pubblicazione: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
di: Ginac, Frank
Pubblicazione: (2026)

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

Technology Research Software: An Often Overlooked Category of Research Software
di: Hasselbring, Wilhelm, et al.
Pubblicazione: (2026)