| 词条 | Duration calculus |
| 释义 |
DC is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID,[3] IDLVALID,[4] 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. See also
References1. ^Zhou Chaochen, C. A. R. Hoare and Anders P. Ravn, A Calculus of Durations, Information Processing Letters, 40(5):269–276, December 1991. 2. ^Zhou Chaochen and Michael R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems. Springer-Verlag, Monographs in Theoretical Computer Science, An EATCS Series, 2003. {{ISBN|3-540-40823-1}}. 3. ^DCVALID: A tool for model-checking Duration Calculus formulae, TIFR, India. 4. ^IDLVALID: Model checking dense time Duration Calculus formulae, TIFR, India. External links
3 : 1991 introductions|Formal specification languages|Temporal logic |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。