Buchumschlag

Lessons from Formally Verified Deployed Software Systems (Extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Li, Ebersold, Sophie, Kogtenkov, Alexander, Meyer, Bertrand, Liu, Yinling
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering A.1; D.0; D.2; F.0; F.3; K.2; K.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PatchTrack: A Comprehensive Analysis of ChatGPT's Influence on Pull Request Outcomes
von: Ogenrwot, Daniel, et al.
Veröffentlicht: (2025)

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

Augmenting software engineering with AI and developing it further towards AI-assisted model-driven software engineering
von: Schieferdecker, Ina K.
Veröffentlicht: (2024)

Kettle: Attested builds for verifiable software provenance
von: Asad, Amean, et al.
Veröffentlicht: (2026)

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

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

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Tag that issue: Applying API-domain labels in issue tracking systems
von: Santos, Fabio, et al.
Veröffentlicht: (2023)

Firmware Distribution as Attack Surface: A Security Study of ASIC Cryptocurrency Miners
von: Pouliquen, Pierre, et al.
Veröffentlicht: (2026)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software
von: Deekshitha, et al.
Veröffentlicht: (2024)

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

RSMM: A Framework to Assess Maturity of Research Software Project
von: Deekshitha, et al.
Veröffentlicht: (2024)

ASE-26: a curriculum for agentic software engineering as a discipline
von: Gorsky, Mikael
Veröffentlicht: (2026)

Privacy Engineering From Principles to Practice: A Roadmap
von: Pallas, Frank, et al.
Veröffentlicht: (2024)

AI Agentic workflows and Enterprise APIs: Adapting API architectures for the age of AI agents
von: Tupe, Vaibhav, et al.
Veröffentlicht: (2025)

Code Review as Decision-Making -- Building a Cognitive Model from the Questions Asked During Code Review
von: Heander, Lo Gullstrand, et al.
Veröffentlicht: (2025)

CertiA360: Enhance Compliance Agility in Aerospace Software Development
von: Macedo, J. Antonio Dantas, et al.
Veröffentlicht: (2025)

Invisible Labor in Open Source Software Ecosystems
von: Meluso, John, et al.
Veröffentlicht: (2024)

Beyond the Tip of the Iceberg: Understanding SATD in Dockerfiles through the Lens of Co-evolution
von: Minn, Wei, et al.
Veröffentlicht: (2026)

Selecting Cybersecurity Requirements: Effects of LLM Use and Professional Software Development Experience
von: Fujs, Damjan, et al.
Veröffentlicht: (2025)

Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education
von: Chang, Hung-Fu, et al.
Veröffentlicht: (2025)

Mining for Cost Awareness in the Infrastructure as Code Artifacts of Cloud-based Applications: an Exploratory Study
von: Feitosa, Daniel, et al.
Veröffentlicht: (2023)

Bridging the Mobile Trust Gap: A Zero Trust Framework for Consumer-Facing Applications
von: Tabalipa, Alexander
Veröffentlicht: (2025)

AI Observability for Developer Productivity Tools: Bridging Cost Awareness and Code Quality
von: Bhati, Happy, et al.
Veröffentlicht: (2026)

EMRGF: A Practitioner Framework for Governance-Driven Enterprise Technology Modernization
von: Punihani, Harveen
Veröffentlicht: (2026)

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

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

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

The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
von: Farrag, Sabry E.
Veröffentlicht: (2026)

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

Teaching Scrum with a focus on compliance assessment
von: Torchiano, Marco, et al.
Veröffentlicht: (2024)

Structural and Connectivity Patterns in the Maven Central Software Dependency Network
von: Ogenrwot, Daniel, et al.
Veröffentlicht: (2025)

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

Docker-based CI/CD for Rocq/OCaml projects
von: Martin-Dorel, Érik
Veröffentlicht: (2025)

Faster than the Team, Faster than the Customer: Tool Integration, Collaboration, and Organisational Lag in AI-assisted RE
von: Steghöfer, Jan-Philipp
Veröffentlicht: (2026)

Empirical Investigation of the Relationship Between Design Smells and Role Stereotypes
von: Ogenrwot, Daniel, et al.
Veröffentlicht: (2024)

Refactoring-Aware Patch Integration Across Structurally Divergent Java Forks
von: Ogenrwot, Daniel, et al.
Veröffentlicht: (2025)

Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study
von: Simon, Emmanuel Iko-Ojo, et al.
Veröffentlicht: (2024)

Challenges in Understanding the Relationship between Teamwork Quality and Project Success in Large-Scale Agile Projects
von: Dingsøyr, Torgeir, et al.
Veröffentlicht: (2024)

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation
von: Calboreanu, Elias
Veröffentlicht: (2026)