D. L. Parnas. Precise description and speci cation of software. In V. Stavridou, editor, Mathematics of Dependable Systems II, pages 114. Clarendon Press, 1997. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Sequential Scenarios Verification and Integration using Tabular.. - Khedri (1999) (Correct)
....is called MB2, and the right most button is called MB3. To move the pointer, move your mouse. The pointer moves in the same direction as the mouse. You also choose commands from menus by pressing the mouse buttons. 2 In [18] authors use the term speci cation. According to the distinction made in [35] between the terms speci cation and description we nd that the term description is more suitable June 10, 1999 CRL Report No. 374 Sequential Scenarios Veri cation and Integration using Tabular Expressions 6 Clicking To click a mouse button, press and release the mouse button. You can activate ....
D. L. Parnas. Precise description and speci cation of software. In V. Stavridou, editor, Mathematics of Dependable Systems II, pages 114. Clarendon Press, 1997.
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