-
2
-
-
0004107115
-
-
(2nd edition). Benjamin/Cummings Publishing Company Inc.
-
Booch, G.: Software Engineering with Ada (2nd edition). Benjamin/Cummings Publishing Company Inc., 1987.
-
(1987)
Software Engineering with Ada
-
-
Booch, G.1
-
3
-
-
84896371975
-
Concepts of control objectives and assurance levels in critical systems
-
Proceedings of Conference at Software Tools 87, London. Online Publications
-
Brendish, C. Concepts of control objectives and assurance levels in critical systems. Proceedings of Conference at Software Tools 87, London. Online Publications (Advanced Computing Series: 8), 67-73, 1987.
-
(1987)
Advanced Computing Series
, vol.8
, pp. 67-73
-
-
Brendish, C.1
-
4
-
-
84896375601
-
A strategy for the development of safety-critical software
-
edited by B.K. Daniels, Elsevier Applied Science
-
Bromell, J.Y. and Sadler, S.J. A strategy for the development of safety-critical software. In 'Achieving Safety and Reliability with Computer Systems', edited by B.K. Daniels, Elsevier Applied Science, 1-13, 1987.
-
(1987)
Achieving Safety and Reliability with Computer Systems
, pp. 1-13
-
-
Bromell, J.Y.1
Sadler, S.J.2
-
5
-
-
0008895585
-
-
(second edition), Obtainable from Program Validation Ltd.
-
Carré, B.A., Jennings, T.J., Maclennan, F.J. and Farrow, P.F. SPARK - the SPADE Ada Kernel (second edition), 1989. Obtainable from Program Validation Ltd.
-
(1989)
SPARK - The SPADE Ada Kernel
-
-
Carré, B.A.1
Jennings, T.J.2
Maclennan, F.J.3
Farrow, P.F.4
-
6
-
-
0022942537
-
-
Carré, B.A., O'Neill, I.M., Clutterbuck, D.L. and Debney, C.W.: 'SPADE - the Southampton Program Analysis and Development Environment.' In Sommerville, I. (Ed): 'Software engineering environments', Peter Peregrinus, 1986, 129-134. (Pubitemid 18571624)
-
(1986)
SPADE - THE SOUTHAMPTON PROGRAM ANALYSIS AND DEVELOPMENT ENVIRONMENT
, pp. 129-134
-
-
Carre, B.A.1
O'Neill, I.M.2
Clutterbuck, D.L.3
Debney, C.W.4
-
9
-
-
0025488363
-
Formal verification of Ada programs
-
Guaspari, D., Marceau C. and Polak, W.: 'Formal verification of Ada programs.' IEEE Trans. on Software Engineering, Vol. 16 (1990), 1058-1075.
-
(1990)
IEEE Trans. on Software Engineering
, vol.16
, pp. 1058-1075
-
-
Guaspari, D.1
Marceau, C.2
Polak, W.3
-
11
-
-
0343356818
-
Anna - A language for annotating Ada programs
-
Springer-Verlag
-
Luckham, D.C., von Henke, F.W., Krieg-Bruckner, B. and Owe, O.: 'Anna - a language for annotating Ada programs'. LNCS-260, Springer-Verlag, 1987.
-
(1987)
LNCS
, vol.260
-
-
Luckham, D.C.1
Von Henke, F.W.2
Krieg-Bruckner, B.3
Owe, O.4
-
13
-
-
84896346046
-
The formal verification of safety-critical assembly code
-
O'Neill, I.M., Clutterbuck, D.L., Farrow, P.F., Summers, P.G. and Dolman, W.C.: 'The formal verification of safety-critical assembly code.' Proceedings of 'SAFE-COMP 88', IFAC/IFIP International Symposium on Safety-Related Computers, Fulda, November, 1988.
-
Proceedings of 'SAFE-COMP 88', IFAC/IFIP International Symposium on Safety-Related Computers, Fulda, November, 1988
-
-
O'Neill, I.M.1
Clutterbuck, D.L.2
Farrow, P.F.3
Summers, P.G.4
Dolman, W.C.5
-
14
-
-
84896329160
-
-
Report DITC 160/90, February National Physical Laboratory, Teddington, Middlesex TW11 0LW, U.K.
-
Parkin, G.I. and O'Neill, G.: Specification of the MAA Standard in VDM. Report DITC 160/90, February 1990, National Physical Laboratory, Teddington, Middlesex TW11 0LW, U.K.
-
(1990)
Specification of the MAA Standard in VDM
-
-
Parkin, G.I.1
O'Neill, G.2
|