About: dbpedia:Formal

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

About: dbpedia:Formal_methods Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.

Attributes	Values
rdfs:comment	In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
is academic discipline of	Formal Aspects of Computing
is field of	Eric C. R. Hehner John Rushby He Jifeng (何积丰) Lawrence Paulson Reeves, Steve Dinverno, Mark Bundy, Alan Andrei Voronkov Calder, Muffy Henson, Martin
is known for of	Bowen, Jonathan Peter Daniel Jackson

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software