Andrew Coombes John McDermid Department of Computer Science, University of...  Home/Search
Context Related
| cs.york.ac.uk/ftpdir/r...YCS92176.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/ftpdir/reports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems, to provide a specification of timeliness properties. Unfortunately, the main methods which would seem to provide this form of requirement appear to be targeted at specifying communication protocols. While it is possible to adapt these methods for simple timeliness properties, their use for describing constraints on distributed systems would be impractical... (Update)
Context of citations to this paper: More
...of abstraction, the concept of a retiming is introduced, viz. a mapping between two clocks. 3. 2 The Choice of Z In an Interval Logic in Z [53], INTERVAL is a given set representing time intervals, and relations between intervals are axiomatically defined, for example before,...
...techniques are provided. A different kind of approach involves introducing time into data specification languages such as Z [10, 13, 14], with the closest work to ours being that by Fidge et al. [12] which allows the timed refinement of concurrent systems, including...
Cited by: More
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
Select Z Bibliography - Bowen (1994) (Correct)
Integrating AORTA with Model-Based Data Specification.. - Bradley, Henderson.. (1997) (Correct)
Similar documents (at the sentence level):
73.3%: Specifying Temporal Requirements for Distributed Real-Time.. - Andrew Coombes John (1992) (Correct)
Active bibliography (related documents): More All
0.8: Using Diagrams to give a Formal Specification of Timing.. - Coombes, McDermid (Correct)
0.3: CADiZ: An Architecture for Z Tools and its Implementation - Toyn, McDermid (1993) (Correct)
0.3: Specifying Real-Time Requirements for SDL Specifications - A.. - Leue (1995) (Correct)
Similar documents based on text: More All
0.4: Causality as a Means for the Expression of Requirements.. - Coombes, Dermid, Morris (1994) (Correct)
0.3: A Model for a Causal Logic for Requirements Engineering - Moffett, Hall (1996) (Correct)
0.2: Requirements and Traceability - Philip Morris (1994) (Correct)
Related documents from co-citation: More All
8: Specification of Viper1 in Z (context) - Kemp - 1988
8: Formal Methods: Use and Relevance for the Development of Safety-Critical Systems - Barroca, McDermid - 1992
7: Specification and Verification of Real-Time Behaviour using Z and RTL (context) - Fidge - 1992
BibTeX entry: (Update)
A. Coombes and J. McDermid, "Specifying Temporal Requirements for Distributed Real-Time Systems in Z", YCS 176, Department of Computer Science, University of York (July 1992). http://citeseer.ist.psu.edu/coombes92specifying.html More
@misc{ coombes92specifying,
author = "A. Coombes and J. McDermid",
title = "Specifying Temporal Requirements for Distributed Real-Time Systems in Z",
text = "A. Coombes and J. McDermid, Specifying Temporal Requirements for Distributed
Real-Time Systems in Z, YCS 176, Department of Computer Science, University
of York (July 1992).",
year = "1992",
url = "citeseer.ist.psu.edu/coombes92specifying.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
616 Notation: A Reference Manual (context) - Spivey - 1989
218 Safety Analysis of Timing Properties in Real-Time Systems (context) - Jahanian, Mok - 1986
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
19 Temporal logic and Z specifications - Duke, Smith - 1989
17 A Real-Time Interval Logic for Reasoning about Executions of.. (context) - Razouk, Gorlick - 1989
15 The logic of time: a model-theoretic investigation into the .. (context) - Johan, van Benthem - 1983
10 The Challenge of Building Process-Control Software (context) - Leveson - 1990
4 An Architectural Framework for Timely and Reliable Distribut.. (context) - Lister, Burns - 1990
3 A Model for the Technology Transfer of Formal Method Techniq.. (context) - Diss, Goldsack et al. - 1989
3 Interim Defence Standard 00-55: Requirements for the Procure.. (context) - MoD - 1991
3 Specification of Timing Constraints (context) - Bowen - 1986
3 Extending Interval Logic to Real Time Systems (context) - Melliar-Smith - 1987
2 An Investigation into Modelling and Categorisation of Non-Fu.. (context) - McDermid, Dobson - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.york.ac.uk/ftpdir/reports/): More
TAM Technical Notes 1 and 2 - Scholefield (1993) (Correct)
Debugging Distributed Ada Programs - Briggs, Jamieson, Randall, Wand (1994) (Correct)
Structuring Architectural Topologies for Real-Time.. - Nicholson, Burns (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC