About: The development and deployment of formal methods in the UK

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The development and deployment of formal methods in the UK Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
title	The development and deployment of formal methods in the UK
Creator	Jones, Cliff Thomas, Martyn
source	ArXiv
abstract	UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact.
has issue date	2020-06-11(xsd:dateTime)
has license	arxiv
sha1sum (hex)	235e8dae6ae36cf7277d9d13831bbaff131c2a07
resource representing a document's title	The development and deployment of formal methods in the UK
resource representing a document's body	covid:235e8dae6ae36cf7277d9d13831bbaff131c2a07#body_text
is schema:about of	named entity 'This' named entity 'ideas' named entity 'The' named entity 'formal methods' named entity 'success' »more»

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software