This HTML5 document contains 79 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8http://g.co/kg/m/
n9http://disc.univ-fcomte.fr/~publis/papers/pub/2010/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n13http://fr.dbpedia.org/resource/Modèle:
n6http://
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Praspel
rdf:type
wikidata:Q9143 dbo:Language wikidata:Q315 schema:Language dbo:ProgrammingLanguage owl:Thing
rdfs:label
Praspel
rdfs:comment
Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariants, etc. Les spécifications sont ajoutées dans les commentaires du code PHP (toujours accessible). Praspel est utilisé pour de la validation et de la vérification logiciel manuelle ou automatique, grâce aux domaines réalistes.
owl:sameAs
n8:0jt1svn wikidata:Q3401385 dbr:Praspel
dbo:wikiPageID
6287198
dbo:wikiPageRevisionID
179237513
dbo:wikiPageWikiLink
dbpedia-fr:Java_Modeling_Language dbpedia-fr:Spécification_(norme_technique) dbpedia-fr:Hoa_(informatique) dbpedia-fr:Commentaire_(informatique) dbpedia-fr:Licence_BSD dbpedia-fr:PHP category-fr:PHP dbpedia-fr:Précondition dbpedia-fr:Programmation_par_contrat
dbo:wikiPageExternalLink
n6:hoa-project.net n9:RR2010-01.pdf
dbo:wikiPageLength
2940
dct:subject
category-fr:PHP
foaf:homepage
n6:hoa-project.net
foaf:name
Praspel
prop-fr:wikiPageUsesTemplate
n13:Infobox_Langage_de_programmation n13:Portail n13:Ébauche n13:Article n13:Etc
prov:wasDerivedFrom
wikipedia-fr:Praspel?oldid=179237513&ns=0
foaf:page
n6:hoa-project.net
prop-fr:année
2010 2011 2012
prop-fr:auteur
Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet
prop-fr:doi
10.1109 10.1007
prop-fr:développeur
dbpedia-fr:Hoa_(informatique)
prop-fr:format
pdf
prop-fr:langue
en
prop-fr:mois
9 10 4
prop-fr:nom
Giorgetti Bouquet Dadeau Enderlin Ben Othman Praspel
prop-fr:pages
64
prop-fr:prénom
Abdallah Frédéric Ivan Fabrice Alain
prop-fr:périodique
IEEE DISC LNCS
prop-fr:siteWeb
n6:hoa-project.net
prop-fr:titre
Grammar-based Testing using Realistic Domains in PHP Praspel: A Specification Language for Contract-Driven Testing in PHP Realistic Domains for Unit Tests Generation
prop-fr:url
n9:RR2010-01.pdf
prop-fr:volume
7019
prop-fr:licence
dbpedia-fr:Licence_BSD
prop-fr:influencéPar
JML, ACSL
prop-fr:implémentations
dbpedia-fr:PHP
prop-fr:paradigme
dbpedia-fr:Programmation_par_contrat
prop-fr:systèmeD'exploitation
tous
foaf:isPrimaryTopicOf
wikipedia-fr:Praspel
dbo:abstract
Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariants, etc. Les spécifications sont ajoutées dans les commentaires du code PHP (toujours accessible). Praspel est utilisé pour de la validation et de la vérification logiciel manuelle ou automatique, grâce aux domaines réalistes.
dbo:developer
dbpedia-fr:Hoa_(informatique)
dbo:influencedBy
dbpedia-fr:Java_Modeling_Language
dbo:license
dbpedia-fr:Licence_BSD