Brian A. Wichmann

Publication Activity (10 Years)

Years Active: 1968-2011
Publications (10 Years): 0

Publications

Brian A. Wichmann
Whetstone Wanderings. Dependable and Historic Computing (2011)
Brian A. Wichmann, I. D. Hill
Generating good pseudo-random numbers. Comput. Stat. Data Anal. 51 (3) (2006)
Mary Croarken, Dorian James Rutter, Tony Mann, Alexander M. Fedorec, Brian A. Wichmann
Events & Sightings. IEEE Ann. Hist. Comput. 26 (1) (2004)
Stephen Michell, Mark Saaltink, Brian A. Wichmann
Looking into Safety with the Safety and Security Rapporteur Group. SIGAda (1998)
Brian A. Wichmann
Ada for High Integrity. SSS (1998)
Brian A. Wichmann
High Integrity Ada. SAFECOMP (1997)
Brian A. Wichmann
Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review). Softw. Test. Verification Reliab. 6 (2) (1996)
Brian A. Wichmann, A. A. Canning, D. L. Clutterbuck, L. A. Winsborrow, N. J. Ward, D. William R. Marsh
Industrial perspective on static analysis. Softw. Eng. J. 10 (2) (1995)
Brian A. Wichmann
Contribution of standard programming languages to software quality. Softw. Eng. J. 9 (1) (1994)
Brian A. Wichmann
Microprocessor design faults. Microprocess. Microsystems 17 (7) (1993)
Graeme I. P. Parkin, Brian A. Wichmann
Conformity Clause for VDM-SL. FME (1993)
Brian A. Wichmann
A Note on the Use of Floating Point in Critical Systems. Comput. J. 35 (1) (1992)
Brian A. Wichmann, M. G. Cox
Problems and Strategies for Software Component Testing Standards. Softw. Test. Verification Reliab. 2 (4) (1992)
S. M. Austin, D. R. Wilkins, Brian A. Wichmann
An Ada program test generator. TRI-Ada (1991)
W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann
The choice of computer languages for use in safety-critical systems. Softw. Eng. J. 6 (2) (1991)
Willett Kempton, Brian A. Wichmann
Run-time Detection of Undefined Variables Considered Essential. Softw. Pract. Exp. 20 (4) (1990)
Mary Payne, Craig Schaffert, Brian A. Wichmann
Proposal for a Language Compatible Arithmetic Standard. ACM SIGPLAN Notices 25 (1) (1990)
Brian A. Wichmann
Towards a Formal Specification of Floating Point. Comput. J. 32 (5) (1989)
Brian A. Wichmann
Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point. ACM SIGPLAN Notices 24 (6) (1989)
Brian A. Wichmann
Good programming practice in Ada: Luker, P A Blackwell Scientific, Oxford, UK (1987) £14.95 (soft cover), pp 320. Microprocess. Microsystems 12 (7) (1988)
Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann
A prototype system for the validation of Pascal programs. Softw. Eng. J. 3 (2) (1988)
Peter J. L. Wallis, Brian A. Wichmann
Requirements Analysis for Ada Compilers. Commun. ACM 27 (1) (1984)
Brian A. Wichmann
Is Ada Too Big? A designer Answers the Critics. Commun. ACM 27 (2) (1984)
Brian A. Wichmann
A Comparison of Pascal and Ada. Comput. J. 25 (2) (1982)
Brian A. Wichmann
The Efficiency of Pascal. Pascal - The Language and its Implementation (1981)
A. M. Addyman, R. Brewer, D. G. Burnett-Hall, R. M. De Morgan, W. Findlay, M. I. Jackson, David A. Joslin, Michael J. Rees, David A. Watt, Jim Welsh, Brian A. Wichmann
A Draft Description of Pascal. Softw. Pract. Exp. 9 (5) (1979)
Jean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard
Rationale for the design of the Ada programming language. ACM SIGPLAN Notices 14 (6b) (1979)
Brian A. Wichmann, J. Du Croz
A Program to Calculate the GAMM Measure. Comput. J. 22 (4) (1979)
Brian A. Wichmann
The Development of Ada, the DoD Language. GI Jahrestagung (1979)
R. M. De Morgan, I. D. Hill, Brian A. Wichmann
Modified ALGOL 60 and the Step-Until Element. Comput. J. 21 (3) (1978)
Brian A. Wichmann
How to Call Procedures, or Secong Thoughts on Ackermann's Function. Softw. Pract. Exp. 7 (3) (1977)
Brian A. Wichmann, B. Jones
Testing ALGOL 60 Compilers. Softw. Pract. Exp. 6 (2) (1976)
H. J. Curnow, Brian A. Wichmann
A Synthetic Benchmark. Comput. J. 19 (1) (1976)
I. D. Hill, Roger S. Scowen, Brian A. Wichmann
Writing Algorithms in ALGOL 60. Softw. Pract. Exp. 5 (3) (1975)
I. D. Hill, Roger S. Scowen, Brian A. Wichmann
Writing algorithms in ALGOL 60. ACM SIGPLAN Notices 10 (2) (1975)
Roger S. Scowen, Brian A. Wichmann
The Definition of Comments in Programming Languages. Softw. Pract. Exp. 4 (2) (1974)
W. Morven Gentleman, Brian A. Wichmann
Timing on computers. SIGARCH Comput. Archit. News 2 (3) (1973)
Brian A. Wichmann
Five ALGOL compilers. Comput. J. 15 (1) (1972)
Brian A. Wichmann
Estimating the execution speed of an Algol program. ACM SIGPLAN Notices 7 (8) (1972)
D. A. Bell, Brian A. Wichmann
An ALGOL-like Assembly Language for a Small Computer. Softw. Pract. Exp. 1 (1) (1971)
Brian A. Wichmann
The Performance of Some Algol Systems. IFIP Congress (1) (1971)
Brian A. Wichmann
A modular operating system. IFIP Congress (1) (1968)