83 lines
6.4 KiB
XML
83 lines
6.4 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!--re3data.org Schema for the Description of Research Data Repositories. Version 2.2, December 2014. doi:10.2312/re3.006-->
|
|
<r3d:re3data xmlns:r3d="http://www.re3data.org/schema/2-2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.re3data.org/schema/2-2 http://schema.re3data.org/2-2/re3dataV2-2.xsd">
|
|
<r3d:repository>
|
|
<r3d:re3data.orgIdentifier>r3d100010119</r3d:re3data.orgIdentifier>
|
|
<r3d:repositoryName language="eng">Spec Patterns</r3d:repositoryName>
|
|
<r3d:additionalName language="eng">Specification Patterns</r3d:additionalName>
|
|
<r3d:repositoryURL>http://patterns.projects.cis.ksu.edu/</r3d:repositoryURL>
|
|
<r3d:description language="eng">Specification Patterns is an online repository for information about property specification for finite-state verification. The intent of this repository is to collect patterns that occur commonly in the specification of concurrent and reactive systems.</r3d:description>
|
|
<r3d:repositoryContact>spec-patterns@cis.ksu.edu</r3d:repositoryContact>
|
|
<r3d:type>disciplinary</r3d:type>
|
|
<r3d:size updated=""></r3d:size>
|
|
<r3d:startDate>1998</r3d:startDate>
|
|
<r3d:endDate></r3d:endDate>
|
|
<r3d:repositoryLanguage>eng</r3d:repositoryLanguage>
|
|
<r3d:subject subjectScheme="DFG">4 Engineering Sciences</r3d:subject>
|
|
<r3d:subject subjectScheme="DFG">409 Computer Science</r3d:subject>
|
|
<r3d:subject subjectScheme="DFG">44 Computer Science, Electrical and System Engineering</r3d:subject>
|
|
<r3d:missionStatementURL>http://patterns.projects.cis.ksu.edu/</r3d:missionStatementURL>
|
|
<r3d:contentType contentTypeScheme="parse">Raw data</r3d:contentType>
|
|
<r3d:contentType contentTypeScheme="parse">Scientific and statistical data formats</r3d:contentType>
|
|
<r3d:contentType contentTypeScheme="parse">Source code</r3d:contentType>
|
|
<r3d:contentType contentTypeScheme="parse">Standard office documents</r3d:contentType>
|
|
<r3d:contentType contentTypeScheme="parse">Structured graphics</r3d:contentType>
|
|
<r3d:contentType contentTypeScheme="parse">Structured text</r3d:contentType>
|
|
<r3d:providerType>dataProvider</r3d:providerType>
|
|
<r3d:providerType>serviceProvider</r3d:providerType>
|
|
<r3d:keyword>finite-state model</r3d:keyword>
|
|
<r3d:keyword>finite-state verification</r3d:keyword>
|
|
<r3d:keyword>formal methods</r3d:keyword>
|
|
<r3d:keyword>property specification patterns</r3d:keyword>
|
|
<r3d:institution>
|
|
<r3d:institutionName language="eng">Kansas State University, Computing and Information Sciences Department, SAnToS laboratory</r3d:institutionName>
|
|
<r3d:institutionAdditionalName language="eng">CIS</r3d:institutionAdditionalName>
|
|
<r3d:institutionAdditionalName language="eng">K-State</r3d:institutionAdditionalName>
|
|
<r3d:institutionAdditionalName language="eng">SAnToS Lab</r3d:institutionAdditionalName>
|
|
<r3d:institutionCountry>USA</r3d:institutionCountry>
|
|
<r3d:responsibilityType>funding</r3d:responsibilityType>
|
|
<r3d:responsibilityType>general</r3d:responsibilityType>
|
|
<r3d:responsibilityType>technical</r3d:responsibilityType>
|
|
<r3d:institutionType>non-profit</r3d:institutionType>
|
|
<r3d:institutionURL>http://www.santoslab.org/</r3d:institutionURL>
|
|
<r3d:responsibilityStartDate>1998</r3d:responsibilityStartDate>
|
|
<r3d:responsibilityEndDate></r3d:responsibilityEndDate>
|
|
<r3d:institutionContact>spec-patterns@cis.ksu.edu</r3d:institutionContact>
|
|
</r3d:institution>
|
|
<r3d:institution>
|
|
<r3d:institutionName language="eng">National Science Foundation</r3d:institutionName>
|
|
<r3d:institutionAdditionalName language="eng">NSF</r3d:institutionAdditionalName>
|
|
<r3d:institutionCountry>USA</r3d:institutionCountry>
|
|
<r3d:responsibilityType>funding</r3d:responsibilityType>
|
|
<r3d:institutionType>non-profit</r3d:institutionType>
|
|
<r3d:institutionURL>https://www.nsf.gov/</r3d:institutionURL>
|
|
<r3d:responsibilityStartDate>1998</r3d:responsibilityStartDate>
|
|
<r3d:responsibilityEndDate></r3d:responsibilityEndDate>
|
|
</r3d:institution>
|
|
<r3d:databaseAccess>
|
|
<r3d:databaseAccessType>open</r3d:databaseAccessType>
|
|
</r3d:databaseAccess>
|
|
<r3d:dataAccess>
|
|
<r3d:dataAccessType>open</r3d:dataAccessType>
|
|
</r3d:dataAccess>
|
|
<r3d:dataLicense>
|
|
<r3d:dataLicenseName>Public Domain</r3d:dataLicenseName>
|
|
<r3d:dataLicenseURL>http://patterns.projects.cis.ksu.edu/</r3d:dataLicenseURL>
|
|
</r3d:dataLicense>
|
|
<r3d:dataUpload>
|
|
<r3d:dataUploadType>restricted</r3d:dataUploadType>
|
|
<r3d:dataUploadRestriction>other</r3d:dataUploadRestriction>
|
|
</r3d:dataUpload>
|
|
<r3d:software>
|
|
<r3d:softwareName>unknown</r3d:softwareName>
|
|
</r3d:software>
|
|
<r3d:versioning></r3d:versioning>
|
|
<r3d:pidSystem>none</r3d:pidSystem>
|
|
<r3d:citationGuidelineURL></r3d:citationGuidelineURL>
|
|
<r3d:enhancedPublication>unknown</r3d:enhancedPublication>
|
|
<r3d:qualityManagement>yes</r3d:qualityManagement>
|
|
<r3d:remarks></r3d:remarks>
|
|
<r3d:entryDate>2012-12-05</r3d:entryDate>
|
|
<r3d:lastUpdate>2018-11-08</r3d:lastUpdate>
|
|
</r3d:repository>
|
|
</r3d:re3data> |