J. McDougall, E. Jankowski, Procedure for the Speci cation of Software Requirements for Safety Critical Systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... closed open Figure 1: A part of the Software Requirements for the Water Level Monitoring System of The A 7 aircraft The tabular notation is currently used among others by the Software Engineering Research Group (SERG) at McMaster University, Hamilton, Ontario, Canada [43] Ontario Hydro [30], Naval Research Laboratory [14] ORA Inc. 19] and University of California at Irvine [13, 27] In this paper we propose a more general and more homogeneous approach. Instead of many di erent classes of tables and separate semantics in each case (as in [36] we shall introduce only one ....

J. McDougall, E. Jankowski, Procedure for the Speci cation of Software Requirements for Safety Critical Systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.

....and many others. Recently the tabular notations have been applied by Ontario Hydro in Darlington Nuclear Plant [3, 21, 22] The tabular notation is currently used among others by the Software Engineering Research Group (SERG) at McMaster University, Hamilton, Ontario, Canada [30] Ontario Hydro [20], Naval Research Laboratory [9, 6, 27] ORA Inc. 12] and University of California at Irvine [8, 19] The model presented here seems to cover all the known types of tables used in Software Engineering (compare [1] The central concept in our approach is so called cell connection graph which ....

J. McDougall, E. Jankowski, Procedure for the Speci cation of Software Requirements for Safety Critical Systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.

.... open closed open Figure 1: A part of the Software Requirements for the Water Level Monitoring System of The A 7 aircraft The tabular notation is currently used among others by the Software Engineering Research Group (SERG) at McMaster University, Hamilton, Ontario, Canada [43] Ontario Hydro [30], Naval Research Laboratory [14] ORA Inc. 19] and University of California at Irvine [13, 27] In this paper we propose a more general and more homogeneous approach. Instead of many di erent classes of tables and separate semantics in each case (as in [36] we shall introduce only one general ....

J. McDougall, E. Jankowski, Procedure for the Specication of Software Requirements for Safety Critical Systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.

....and many others. Recently the tabular notations have been applied by Ontario Hydro in Darlington Nuclear Plant [3, 21, 22] The tabular notation is currently used among others by the Software Engineering Research Group (SERG) at McMaster University, Hamilton, Ontario, Canada [30] Ontario Hydro [20], Naval Research Laboratory [9, 6, 27] ORA Inc. 12] and University of California at Irvine [8, 19] The model presented here seems to cover all the known types of tables used in Software Engineering (compare [1] The central concept in our approach is so called cell connection graph which ....

J. McDougall, E. Jankowski, Procedure for the Specication of Software Requirements for Safety Critical Systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.

....development and veri cation be broken down into series of tasks that result in the production of detailed documents at each stage. The development of software is broken down into stages, of which the ones relevant to this paper are governed by the Software Requirements Speci cation Procedure [1] and the Software Design Description Procedure [4] These procedures respectively produce the Software Requirements Speci cation (SRS) and Software Design Description (SDD) documents. In addition to other methods, these documents make use of a form of Parnas tabular representations of ....

....(i.e. c(z) OUTPUT (m(z) s(z) Also, the value s(z 1) depends on both the values of m(z) and s(z) related by the vector function NEXTSTATE. i.e. s(z 1) NEXTSTATE(m(z) s(z) Note that to be complete, the SRS must de ne the initial value of state variables s(0) The SRS procedure [1] shows how a set of functions f 1 ; f 2 ; f j can be de ned such that when a subset of them are composed, they de ne the OUTPUT function. When a di erent, though not necessarily disjoint, set of them are composed, they de ne the NEXTSTATE function. We have called the process of de ning these ....

[Article contains additional citation context not shown here]

E. Jankowski and J. McDougall. Procedure for the Specication of Software Requirements for Safety Critical Software. CANDU Computer Systems Engineering Centre of Excellence Procedure CE-1001-PROC Rev. 1, July 1995.

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