Duration calculus
id:
duration-calculus-256-5599622
title:
Duration calculus
text:
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. Subsets of duration calculus have been studied. Duration calculus is especially espoused by UNU-
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Duration_calculus
date created:
date modified:
2021-05-30T12:08:44Z
main entity:
{"identifier":"Q5316264","url":"https://www.wikidata.org/entity/Q5316264"}
image:
fields total:
13
integrity:
13