Welsh A. The Specification, Design and Implementation of NDB, M.Sc. Thesis, Dept. of Comp. Science, Univ. of Manchester, October 1982. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Transformational Paradigm as a Means of Smoothing Abrupt.. - Oliveira (1985) (2 citations) (Correct)
....refinement decisions are taken on BODY , this step is proved correct by using rules devoted to while loop decomposition [3] The example below illustrates an alternative, transformational approach to operation refinement in VDM. The specification used in the example, borrowed from [11] see also [12, 13]) appears in an intermediate model between an abstract mapping Key m Data and its realization (in Pascal) in terms of binary trees. An intermediate type BinT ree is defined as follows: BinT ree = BinNode] BinNode : LT: BinTree K: Key D: Data RT: BinTree subject to the data type ....
Welsh A. The Specification, Design and Implementation of NDB, M.Sc. Thesis, Dept. of Comp. Science, Univ. of Manchester, October 1982.
Understanding the differences between VDM and Z - Hayes, Jones, Nicholls (1993) (16 citations) (Correct)
....level, only conventions for making use of the other notation to describe abstract machines. It is worth noting that Z notation the first two levels has been used with a different set of conventions for other purposes, such as specifying real time systems. 3 Originally formally specified in [Wel82] and revised in [Wal90] this was used as a challenge problem in [FJ90] to which a Z response is given in [Hay92] 4 The description of the NDB state presented here is given postfacto rather than attempting to emulate the process by which specifications are produced. two elements: a from value ....
A. Welsh. The specification, design and implementation of NDB. Master's thesis, University of Manchester, October 1982.
The VDM Bibliography - Larsen (1996) (1 citation) (Correct)
No context found.
A. Welsh. The Specication, Design and Implementation of NDB. Master's thesis, Univ. of Manchester, Oct. 1982.
Systematic Software Development Using VDM - Teaching Notes - Jones (1995) (662 citations) (Correct)
No context found.
A. Welsh. The specification, design and implementation of NDB. Master's thesis, University of Manchester, October 1982.
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