Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Duration_calculus> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Duration_calculus 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.DC 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). DC 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.".
- Duration_calculus wikiPageExternalLink dc.
- Duration_calculus wikiPageID "2575903".
- Duration_calculus wikiPageRevisionID "458424516".
- Duration_calculus hasPhotoCollection Duration_calculus.
- Duration_calculus subject Category:1991_introductions.
- Duration_calculus subject Category:Formal_specification_languages.
- Duration_calculus subject Category:Temporal_logic.
- Duration_calculus type Abstraction100002137.
- Duration_calculus type Communication100033020.
- Duration_calculus type FormalSpecificationLanguages.
- Duration_calculus type Language106282651.
- Duration_calculus 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.DC 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.).".
- Duration_calculus label "Duration calculus".
- Duration_calculus sameAs m.07p3k2.
- Duration_calculus sameAs Q5316264.
- Duration_calculus sameAs Q5316264.
- Duration_calculus sameAs Duration_calculus.
- Duration_calculus wasDerivedFrom Duration_calculus?oldid=458424516.
- Duration_calculus isPrimaryTopicOf Duration_calculus.