Imagen de Portada

The development and deployment of formal methods in the UK

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jones, Cliff B., Thomas, Martyn
Formato:	Preprint
Publicado:	2020
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ALPINE: An adaptive language-agnostic pruning method for language models for code
por: Saad, Mootez, et al.
Publicado: (2024)

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

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

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

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

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

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
por: Law, William
Publicado: (2025)