http://dbpedia.org/ontology/abstract
|
Praspel (PHP Realistic Annotation and Spec … 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.automatique, grâce aux domaines réalistes.
|
http://dbpedia.org/ontology/developer
|
http://fr.dbpedia.org/resource/Hoa_%28informatique%29 +
|
http://dbpedia.org/ontology/influencedBy
|
http://fr.dbpedia.org/resource/Java_Modeling_Language +
|
http://dbpedia.org/ontology/license
|
http://fr.dbpedia.org/resource/Licence_BSD +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://disc.univ-fcomte.fr/~publis/papers/pub/2010/RR2010-01.pdf +
, http://hoa-project.net +
|
http://dbpedia.org/ontology/wikiPageID
|
6287198
|
http://dbpedia.org/ontology/wikiPageLength
|
2940
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
179237513
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Programmation_par_contrat +
, http://fr.dbpedia.org/resource/Hoa_%28informatique%29 +
, http://fr.dbpedia.org/resource/Licence_BSD +
, http://fr.dbpedia.org/resource/Sp%C3%A9cification_%28norme_technique%29 +
, http://fr.dbpedia.org/resource/Pr%C3%A9condition +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:PHP +
, http://fr.dbpedia.org/resource/Java_Modeling_Language +
, http://fr.dbpedia.org/resource/Commentaire_%28informatique%29 +
, http://fr.dbpedia.org/resource/PHP +
|
http://fr.dbpedia.org/property/année
|
2010
, 2011
, 2012
|
http://fr.dbpedia.org/property/auteur
|
Ivan Enderlin, Frédéric Dadeau, Abdallah Ben Othman, Alain Giorgetti, Fabrice Bouquet
|
http://fr.dbpedia.org/property/doi
|
10.1007
, 10.1109
|
http://fr.dbpedia.org/property/développeur
|
http://fr.dbpedia.org/resource/Hoa_%28informatique%29 +
|
http://fr.dbpedia.org/property/format
|
pdf
|
http://fr.dbpedia.org/property/implémentations
|
http://fr.dbpedia.org/resource/PHP +
|
http://fr.dbpedia.org/property/influencéPar
|
JML, ACSL
|
http://fr.dbpedia.org/property/langue
|
en
|
http://fr.dbpedia.org/property/licence
|
http://fr.dbpedia.org/resource/Licence_BSD +
|
http://fr.dbpedia.org/property/mois
|
9
, 10
, 4
|
http://fr.dbpedia.org/property/nom
|
Giorgetti
, Enderlin
, Ben Othman
, Praspel
, Bouquet
, Dadeau
|
http://fr.dbpedia.org/property/pages
|
64
|
http://fr.dbpedia.org/property/paradigme
|
http://fr.dbpedia.org/resource/Programmation_par_contrat +
|
http://fr.dbpedia.org/property/prénom
|
Alain
, Frédéric
, Abdallah
, Ivan
, Fabrice
|
http://fr.dbpedia.org/property/périodique
|
LNCS
, IEEE
, DISC
|
http://fr.dbpedia.org/property/siteWeb
|
http://hoa-project.net +
|
http://fr.dbpedia.org/property/systèmeD'exploitation
|
tous
|
http://fr.dbpedia.org/property/titre
|
Grammar-based Testing using Realistic Domains in PHP
, Realistic Domains for Unit Tests Generation
, Praspel: A Specification Language for Contract-Driven Testing in PHP
|
http://fr.dbpedia.org/property/url
|
http://disc.univ-fcomte.fr/~publis/papers/pub/2010/RR2010-01.pdf +
|
http://fr.dbpedia.org/property/volume
|
7019
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Langage_de_programmation +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%C3%89bauche +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Etc +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Article +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:PHP +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Praspel?oldid=179237513&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://hoa-project.net +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Praspel +
|
http://xmlns.com/foaf/0.1/name
|
Praspel
|
http://xmlns.com/foaf/0.1/page
|
http://hoa-project.net +
|
owl:sameAs |
http://dbpedia.org/resource/Praspel +
, http://g.co/kg/m/0jt1svn +
, http://fr.dbpedia.org/resource/Praspel +
, http://www.wikidata.org/entity/Q3401385 +
|
rdf:type |
http://www.wikidata.org/entity/Q9143 +
, http://schema.org/Language +
, http://dbpedia.org/ontology/Language +
, http://www.wikidata.org/entity/Q315 +
, http://dbpedia.org/ontology/ProgrammingLanguage +
|
rdfs:comment |
Praspel (PHP Realistic Annotation and Spec … 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.automatique, grâce aux domaines réalistes.
|
rdfs:label |
Praspel
|