Copertina

The development and deployment of formal methods in the UK

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jones, Cliff B., Thomas, Martyn
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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