About: Duration calculus

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Duration calculus Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalSpecificationLanguages, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDuration_calculus

Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.

Attributes	Values
rdf:type	yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFormalSpecificationLanguages
rdfs:label	Duration calculus (en)
rdfs:comment	Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems. (en)
dcterms:subject	Formal specification languages 1991 introductions Temporal logic
Wikipage page ID	2575903 (xsd:integer)
Wikipage revision ID	1025930868 (xsd:integer)
Link from a Wikipage to another Wikipage	Modal logic UNU-IIST Requirements Interval temporal logic Mumbai Macau Zhou Chaochen Temporal logic of actions Formal specification languages Anders P. Ravn European Strategic Program on Research in Information Technology Basic Research Action Discrete time Real-time computing Tata Institute of Fundamental Research Temporal logic 1991 introductions Temporal logic Software development Interval logic C. A. R. Hoare Continuous time
Link from a Wikipage to an external page	https://web.archive.org/web/20050830165833/http:/www.iist.unu.edu/dc/
sameAs	Duration calculus Duration calculus Duration calculus Duration calculus
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Formalmethods-stub
has abstract	Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems. Duration calculus is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID, etc.). Subsets of duration calculus have been studied (e.g., using discrete time rather than continuous time). Duration calculus is especially espoused by UNU-IIST in Macau and the Tata Institute of Fundamental Research in Mumbai, which are major centres of excellence for the approach. (en)
gold:hypernym	Logic
prov:wasDerivedFrom	wikipedia-en:Duration_calculus?oldid=1025930868&ns=0
page length (characters) of wiki page	2008 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Duration_calculus
is Link from a Wikipage to another Wikipage of	List of computer scientists Interval temporal logic Zhou Chaochen Anders P. Ravn Temporal logic Duration Calculus Charles Leonard Hamblin Wu Chinese-speaking people
is Wikipage redirect of	Duration Calculus
is known for of	Zhou Chaochen Anders P. Ravn
is known for of	Zhou Chaochen Anders P. Ravn
is foaf:primaryTopic of	wikipedia-en:Duration_calculus

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software