Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification. EDS. P. B. Ladkin and F. H. Vogt. Berkeley, CA: International Computer Science Institute, 1990, TR-90-060. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Analyzing Software Requirements Errors in Safety-Critical.. - Lutz (1993) (42 citations) (Correct)
....parts of the system (maximum transfer rate, consequences of race conditions or cycle slippage) The capability to describe dynamic events, the timing of process interactions in distinct computers, decentralized supervisory functions, etc. should be 10 considered in chooosing a formal method [3, 5, 6, 15, 21, 24]. 4. Promote informal communication among teams. Many safety related software errors resulted from one individual or team misunderstanding a requirement or not knowing a fact about the system that member(s) of another development team knew. The goal is to be able to modularize responsibility in ....
Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification. EDS. P. B. Ladkin and F. H. Vogt. Berkeley, CA: International Computer Science Institute, 1990, TR-90-060.
Targeting Safety-Related Errors During Software Requirements.. - Robyn Lutz (1996) (25 citations) (Correct)
....to model and represent the specifications and behavior of systems [21] In addition, much work has been done in recent years on formal specification languages. Timing constraints, which are a major source of software interface errors, often can be accurately modeled and interactively checked [2, 8, 10, 17, 19]. The capability to verify that the software require ments for a system satisfy the safety constraints on that system is a focus of much recent work [7, 12, 14] Similarly, the capability to analyze specifications by proving theorems regarding them allows verification of the safety critical ....
Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification. Eds. P. B. Ladkin and F. H. Vogt. Berkeley, CA: International Computer Science Institute, 1990, TR-90060.
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