Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Duration_calculus> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples 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 wikiPageLength "1923".
- Duration_calculus wikiPageOutDegree "20".
- Duration_calculus wikiPageRevisionID "458424516".
- Duration_calculus wikiPageWikiLink Anders_P._Ravn.
- Duration_calculus wikiPageWikiLink Basic_research.
- Duration_calculus wikiPageWikiLink Category:1991_introductions.
- Duration_calculus wikiPageWikiLink Category:Formal_specification_languages.
- Duration_calculus wikiPageWikiLink Category:Temporal_logic.
- Duration_calculus wikiPageWikiLink European_Strategic_Program_on_Research_in_Information_Technology.
- Duration_calculus wikiPageWikiLink Interval_temporal_logic.
- Duration_calculus wikiPageWikiLink Macau.
- Duration_calculus wikiPageWikiLink Modal_logic.
- Duration_calculus wikiPageWikiLink Mumbai.
- Duration_calculus wikiPageWikiLink Real-time_computing.
- Duration_calculus wikiPageWikiLink Requirement.
- Duration_calculus wikiPageWikiLink Software_development.
- Duration_calculus wikiPageWikiLink Tata_Institute_of_Fundamental_Research.
- Duration_calculus wikiPageWikiLink Temporal_logic.
- Duration_calculus wikiPageWikiLink Temporal_logic_of_actions.
- Duration_calculus wikiPageWikiLink Tony_Hoare.
- Duration_calculus wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- Duration_calculus wikiPageWikiLink Zhou_Chaochen.
- Duration_calculus wikiPageWikiLinkText "Duration calculus".
- Duration_calculus wikiPageWikiLinkText "duration calculus".
- Duration_calculus wikiPageUsesTemplate Template:Formalmethods-stub.
- Duration_calculus wikiPageUsesTemplate Template:Reflist.
- Duration_calculus subject Category:1991_introductions.
- Duration_calculus subject Category:Formal_specification_languages.
- Duration_calculus subject Category:Temporal_logic.
- Duration_calculus hypernym Logic.
- Duration_calculus type Language.
- Duration_calculus type Language.
- Duration_calculus type Method.
- Duration_calculus type Redirect.
- 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 Q5316264.
- Duration_calculus sameAs m.07p3k2.
- Duration_calculus sameAs Q5316264.
- Duration_calculus wasDerivedFrom Duration_calculus?oldid=458424516.
- Duration_calculus isPrimaryTopicOf Duration_calculus.