Brian A. Wichmann

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