Cover Image

Software Engineering as a Domain to Formalize

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Meyer, Bertrand
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

A formal definition of loop unrolling with applications to test coverage
by: Meyer, Bertrand
Published: (2024)

Engineering Formality and Software Risk in Debian Python Packages
by: Gaughan, Matthew, et al.
Published: (2024)

The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)

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

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
by: Meyer, Bertrand, et al.
Published: (2024)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
by: Kananchuk, Victoria, et al.
Published: (2025)

Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
by: Srinivasan, Srinath, et al.
Published: (2026)

Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies
by: Alami, Adam, et al.
Published: (2024)

Generative Software Engineering
by: Huang, Yuan, et al.
Published: (2024)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

Do Research Software Engineers and Software Engineering Researchers Speak the Same Language?
by: Kehrer, Timo, et al.
Published: (2025)

Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
by: Bentele, Manuel, et al.
Published: (2025)

Quantum Software Engineering and Potential of Quantum Computing in Software Engineering Research: A Review
by: Mandal, Ashis Kumar, et al.
Published: (2025)

Formal Analysis of Metastable Failures in Software Systems
by: Alvaro, Peter, et al.
Published: (2025)

Teaching Software Metrology: The Science of Measurement for Software Engineering
by: Ralph, Paul, et al.
Published: (2024)

An Architecture for Software Engineering Gamification
by: Pedreira, Óscar, et al.
Published: (2024)

Trustworthy AI Software Engineers
by: Aleti, Aldeida, et al.
Published: (2026)

Taxing Collaborative Software Engineering
by: Dorner, Michael, et al.
Published: (2023)

Ethics of Care for Software Engineering
by: Serebrenik, Alexander, et al.
Published: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

What's in a Software Engineering Job Posting?
by: Wyrich, Marvin, et al.
Published: (2025)

Promptware Engineering: Software Engineering for Prompt-Enabled Systems
by: Chen, Zhenpeng, et al.
Published: (2025)

On the Future of Software Reuse in the Era of AI Native Software Engineering
by: Taivalsaari, Antero, et al.
Published: (2025)

Extending Behavioral Software Engineering: Decision-Making and Collaboration in Human-AI Teams for Responsible Software Engineering
by: Rani, Lekshmi Murali
Published: (2025)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Comparing Open-Source and Commercial LLMs for Domain-Specific Analysis and Reporting: Software Engineering Challenges and Design Trade-offs
by: Koraag, Theo, et al.
Published: (2025)

Digital Twins for Software Engineering Processes
by: Kimmel, Robin, et al.
Published: (2025)

Enhancing Women's Experiences in Software Engineering
by: Fortunato, Júlia Rocha, et al.
Published: (2025)

Ten Years of Software Engineering in Society
by: Fatima, Iffat, et al.
Published: (2025)

Is Your Automated Software Engineer Trustworthy?
by: Mathews, Noble Saji, et al.
Published: (2025)

On the Economic Implications of Diversity in Software Engineering
by: Montana, Sofia Tapias, et al.
Published: (2026)

Teaching Theorizing in Software Engineering Research
by: Stol, Klaas-Jan
Published: (2024)

Assured LLM-Based Software Engineering
by: Alshahwan, Nadia, et al.
Published: (2024)

Teaching Survey Research in Software Engineering
by: Kalinowski, Marcos, et al.
Published: (2024)

State of the Quantum Software Engineering Ecosystem
by: Siavash, Nazanin, et al.
Published: (2026)

Teaching Research Design in Software Engineering
by: Molleri, Jefferson Seide, et al.
Published: (2024)

Statistical Software Engineering with Tuned Variables
by: Busany, Nimrod
Published: (2026)

Automated Quantum Software and AI Engineering
by: Siavash, Nazanin, et al.
Published: (2026)

Ten Simple Rules for Catalyzing Collaborations and Building Bridges between Research Software Engineers and Software Engineering Researchers
by: Eisty, Nasir U., et al.
Published: (2025)