About: dbpedia-fr:Property_Specification

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

About: dbpedia-fr:Property_Specification_Language Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	PSL (język opisu właściwości) (pl) Property Specification Language (de) Property Specification Language (fr)
rdfs:comment	Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par l’IEEE en septembre 2004. C'est un langage formel qui permet de réaliser une spécification matérielle à l'aide de propriétés et d'assertions. Du fait de la haute précision mathématique du langage, l'opération de description retire toute ambiguïté à la spécification résultante. C'est un langage rapide à assimiler, basé sur une syntaxe relativement simple. (fr)
sameAs	dbr:Property_Specification_Language wikidata:Q751505 dbpedia-de:Property_Specification_Language dbpedia-ja:Property_Specification_Language dbpedia-pl:PSL_(język_opisu_właściwości) http://g.co/kg/m/0398fx http://ma-graph.org/entity/2779898345
Wikipage page ID	864942 (xsd:integer)
Wikipage revision ID	169804859 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Conception_électronique dbpedia-fr:Assertion category-fr:Format_de_données_numériques category-fr:Génie_logiciel category-fr:Langage_informatique Institute of Electrical and Electronics Engineers Sugar (disambiguation)
page length (characters) of wiki page	2534 (xsd:nonNegativeInteger)
dct:subject	category-fr:Conception_électronique category-fr:Format_de_données_numériques category-fr:Génie_logiciel category-fr:Langage_informatique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Voir_homonymes dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Property_Specification_Language?oldid=169804859&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Property_Specification_Language
has abstract	Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par l’IEEE en septembre 2004. C'est un langage formel qui permet de réaliser une spécification matérielle à l'aide de propriétés et d'assertions. Du fait de la haute précision mathématique du langage, l'opération de description retire toute ambiguïté à la spécification résultante. C'est un langage rapide à assimiler, basé sur une syntaxe relativement simple. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Dolphin_Integration dbpedia-fr:PSL dbpedia-fr:Programmation_par_contrat
is Wikipage disambiguates of	dbpedia-fr:PSL
is oa:hasTarget of	De labels Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Property_Specification_Language

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software