Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5316264> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Q5316264 subject Q7134733.
- Q5316264 subject Q8466135.
- Q5316264 subject Q8842299.
- Q5316264 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.".
- Q5316264 wikiPageExternalLink dc.
- Q5316264 wikiPageWikiLink Q1156.
- Q5316264 wikiPageWikiLink Q142617.
- Q5316264 wikiPageWikiLink Q14773.
- Q5316264 wikiPageWikiLink Q210841.
- Q5316264 wikiPageWikiLink Q2403081.
- Q5316264 wikiPageWikiLink Q2743938.
- Q5316264 wikiPageWikiLink Q3988.
- Q5316264 wikiPageWikiLink Q6057295.
- Q5316264 wikiPageWikiLink Q638608.
- Q5316264 wikiPageWikiLink Q7134733.
- Q5316264 wikiPageWikiLink Q774228.
- Q5316264 wikiPageWikiLink Q781833.
- Q5316264 wikiPageWikiLink Q7888970.
- Q5316264 wikiPageWikiLink Q8071005.
- Q5316264 wikiPageWikiLink Q8466135.
- Q5316264 wikiPageWikiLink Q8842299.
- Q5316264 wikiPageWikiLink Q92602.
- Q5316264 wikiPageWikiLink Q964754.
- Q5316264 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.).".
- Q5316264 label "Duration calculus".