article

Free access

Duration calculus in COOZ

Authors:

Xiaodong Yuan,

Jiajun Chen,

Guoliang ZhengAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 23, Issue 3

Page 78

https://doi.org/10.1145/279437.279473

Published: 01 May 1998 Publication History

PDF eReader

Abstract

No abstract available.

References

[1]

[1] Yuan Xiaodong. Hu Deqiang, Xu Hao, Li Yong and Zheag Guoliang (1998): COOZ: complete object-oriented extension to Z. Software Journal. ACM SIGSOFT Software Engineering Notes, 1998, 23 (3).

Digital Library

Google Scholar

[2]

[2] Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn (1991): A calculus of duration. Information Processing Letters. 1991, 40(5), pp. 269--276.

Crossref

Google Scholar

Cited By

View all

Derrick JBoiten E(2011)Relational concurrent refinementProceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems10.5555/2022067.2022075(121-137)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.5555/2022067.2022075
Derrick JBoiten E(2011)Relational Concurrent Refinement: Timed RefinementFormal Techniques for Distributed Systems10.1007/978-3-642-21461-5_8(121-137)Online publication date: 2011
https://doi.org/10.1007/978-3-642-21461-5_8
Yunfeng WJun PMing ZZhaohui YGuoliang Z(2001)A formal software development approach using refinement calculusJournal of Computer Science and Technology10.1007/BF0294320316:3(251-262)Online publication date: 1-May-2001
https://dl.acm.org/doi/10.1007/BF02943203

Index Terms

Duration calculus in COOZ
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Decidability of a Hybrid Duration Calculus

We present a logic which we call Hybrid Duration Calculus (HDC). HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus (RDC): nominals, satisfaction operators, down-arrow binder, and the global modality. ...
Duration Calculus: A Formal Approach to Real-Time Systems
Model-checking dense-time Duration Calculus
Abstract.
Since the seminal work of Zhou Chaochen, M. R. Hansen, and P. Sestoft on decidability of dense-time Duration Calculus [ZHS93] it is well known that decidable fragments of Duration Calculus can only be obtained through withdrawal of much of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 23, Issue 3

May 1998

129 pages

ISSN:0163-5948

DOI:10.1145/279437

Editor:
Will Tracz
Lockheed Martin Federal Systems, Owego, NY

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1998

Published in SIGSOFT Volume 23, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
202
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)7

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Derrick JBoiten E(2011)Relational concurrent refinementProceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems10.5555/2022067.2022075(121-137)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.5555/2022067.2022075
Derrick JBoiten E(2011)Relational Concurrent Refinement: Timed RefinementFormal Techniques for Distributed Systems10.1007/978-3-642-21461-5_8(121-137)Online publication date: 2011
https://doi.org/10.1007/978-3-642-21461-5_8
Yunfeng WJun PMing ZZhaohui YGuoliang Z(2001)A formal software development approach using refinement calculusJournal of Computer Science and Technology10.1007/BF0294320316:3(251-262)Online publication date: 1-May-2001
https://dl.acm.org/doi/10.1007/BF02943203

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Decidability of a Hybrid Duration Calculus

Duration Calculus: A Formal Approach to Real-Time Systems

Model-checking dense-time Duration Calculus

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations