:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jones, Cliff B., Thomas, Martyn
Format:	Preprint
Published:	2020
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2006.06327
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
by: Yatapanage, Nisansala P., et al.
Published: (2023)

AI-assisted Code Authoring at Scale: Fine-tuning, deploying, and mixed methods evaluation
by: Murali, Vijayaraghavan, et al.
Published: (2023)

Using Information Flow to estimate interference between developers same method contributions
by: Filho, Roberto Souto Maior de Barros, et al.
Published: (2024)

Exploring sustainable alternatives for the deployment of microservices architectures in the cloud
by: Cortellessa, Vittorio, et al.
Published: (2024)

Where do developers admit their security-related concerns?
by: Mock, Moritz, et al.
Published: (2024)

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

Low-code and no-code with BESSER to create and deploy smart web applications
by: Alfonso, Iván, et al.
Published: (2026)

Flow Gym: A framework for the development, benchmarking, training, and deployment of flow-field quantification methods
by: Banelli, Francesco, et al.
Published: (2025)

What a diff makes: automating code migration with large language models
by: Rosenfeld, Katherine A., et al.
Published: (2025)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
by: Attia, Aya, et al.
Published: (2024)

PROSKILL: A formal skill language for acting in robotics
by: Ingrand, Félix
Published: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
by: Kräuter, Tim, et al.
Published: (2023)

Reasoning about expression evaluation under interference
by: Hayes, Ian J., et al.
Published: (2024)

Data reification in a concurrent rely-guarantee algebra
by: Meinicke, Larissa A., et al.
Published: (2024)

Mea culpa: How developers fix their own simple bugs differently from other developers
by: Zhu, Wenhan, et al.
Published: (2021)

Software development in the age of LLMs and XR
by: Gonzalez-Barahona, Jesus M.
Published: (2024)

Making sense of AI systems development
by: Dolata, Mateusz, et al.
Published: (2024)

The role of slicing in test-driven development
by: Dieste, Oscar, et al.
Published: (2024)

Software is infrastructure: failures, successes, costs, and the case for formal verification
by: Bernardi, Giovanni, et al.
Published: (2025)

The role of team diversity in AI systems development
by: Santos, Ronnie de Souza, et al.
Published: (2026)

A Structured Approach to the development of Solutions in Excel
by: Bartholomew, Peter
Published: (2017)

Example-driven development: bridging tests and documentation
by: Nierstrasz, Oscar, et al.
Published: (2024)

Reasoning about concurrent loops and recursion with rely-guarantee rules
by: Hayes, Ian J., et al.
Published: (2025)

Qimax: Efficient quantum simulation via GPU-accelerated extended stabilizer formalism
by: Hai, Vu Tuan, et al.
Published: (2025)

POLARIS: A framework to guide the development of Trustworthy AI systems
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

Towards practicable Machine Learning development using AI Engineering Blueprints
by: Weeger, Nicolas, et al.
Published: (2025)

A systematic mapping on quantum software development in the context of software engineering
by: Junior, Paulo Eduardo Zanni, et al.
Published: (2021)

Re-opening open-source science through AI assisted development
by: Hung, Ling-Hong, et al.
Published: (2025)

Systematic Mapping Protocol -- UX Design role in software development process
by: Ormeño, Emilio, et al.
Published: (2024)

Myth: The loss of core developers is a critical issue for OSS communities
by: Nourry, Olivier, et al.
Published: (2024)

Quantum Algorithm Cards: Streamlining the development of hybrid classical-quantum applications
by: Stirbu, Vlad, et al.
Published: (2023)

How far are AI-powered programming assistants from meeting developers' needs?
by: Tan, Xin, et al.
Published: (2024)

OLIVAW: ACIMOV's GitHub robot assisting agile collaborative ontology development
by: Robert, Nicolas, et al.
Published: (2025)

Efficacy of static analysis tools for software defect detection on open-source projects
by: Yeboah, Jones, et al.
Published: (2024)

Analyzing developer discussions on EU and US privacy legislation compliance in GitHub repositories
by: Kapitsaki, Georgia M., et al.
Published: (2025)

QCSHQD: Quantum computing as a service for Hybrid classical-quantum software development: A Vision
by: Sabzevari, Maryam Tavassoli, et al.
Published: (2024)

Analyzing the concept of technical debt in the context of agile software development: A systematic literature review
by: Behutiye, Woubshet Nema, et al.
Published: (2024)

Revisiting Aristotle vs. Ringelmann: The influence of biases on measuring productivity in Open Source software development
by: Gut, Christian, et al.
Published: (2024)

Towards Effective Collaboration between Software Engineers and Data Scientists developing Machine Learning-Enabled Systems
by: Busquim, Gabriel, et al.
Published: (2024)

A benchmark for vericoding: formally verified program synthesis
by: Bursuc, Sergiu, et al.
Published: (2025)