http://dbpedia.org/ontology/abstract
|
Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework (TTF) proposed by Phil Stocks and David Carrington in.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.iso.ch/iso/en/CatalogueDetailPage.CatalogueDetail%3FCSNUMBER=21573 +
, http://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002%28E%29.zip +
|
http://dbpedia.org/ontology/wikiPageID
|
27090357
|
http://dbpedia.org/ontology/wikiPageLength
|
10098
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1088328960
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/International_Organization_for_Standardization +
, http://dbpedia.org/resource/Test_Template_Framework +
, http://dbpedia.org/resource/Category:Articles_with_example_Java_code +
, http://dbpedia.org/resource/LaTeX +
, http://dbpedia.org/resource/IEEE +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Category:Software_testing_tools +
, http://dbpedia.org/resource/Category:Z_notation +
, http://dbpedia.org/resource/Cartesian_product +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Model-based_testing +
, http://dbpedia.org/resource/Client%E2%80%93server_model +
, http://dbpedia.org/resource/Interface_%28Java%29 +
, http://dbpedia.org/resource/Z_notation +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Formal_methods_tools +
, http://dbpedia.org/resource/Community_Z_Tools +
, http://dbpedia.org/resource/Satisfiability +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:About +
, http://dbpedia.org/resource/Template:Harvid +
, http://dbpedia.org/resource/Template:Cite_conference +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Harv +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:When +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Articles_with_example_Java_code +
, http://dbpedia.org/resource/Category:Software_testing_tools +
, http://dbpedia.org/resource/Category:Formal_methods_tools +
, http://dbpedia.org/resource/Category:Z_notation +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Tool +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Fastest?oldid=1088328960&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Fastest +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.0bs4fdv +
, http://yago-knowledge.org/resource/Fastest +
, http://dbpedia.org/resource/Fastest +
, https://global.dbpedia.org/id/4jMHZ +
, http://www.wikidata.org/entity/Q5437082 +
|
rdf:type |
http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/ontology/Software +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsTools +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Implement103563967 +
, http://dbpedia.org/class/yago/Tool104451818 +
, http://dbpedia.org/class/yago/Instrumentality103575240 +
|
rdfs:comment |
Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework (TTF) proposed by Phil Stocks and David Carrington in.
|
rdfs:label |
Fastest
|