Brian A. Wichmann

发表

Intelligent modules

Graeme Parkin, Brian A. Wichmann, 1989 .

A supplement to the ALGOL 60 Revised Report

I. D. Hill, Brian A. Wichmann, R. M. De Morgan, 1976 .

A prototype system for the validation of Pascal programs

Michael A. Hennell, Brian A. Wichmann, Graeme I. Parkin, 1988, Softw. Eng. J..

Writing algorithms in algol 60

I. D. Hill, Brian A. Wichmann, Roger S. Scowen, 1975, Softw. Pract. Exp..

Requirements analysis for Ada compilers

Peter J. L. Wallis, Brian A. Wichmann, 1984, CACM.

Reference Manual for the Ada Programming Language. Proposed Standard Document

Brian A. Wichmann, Jean D. Ichbiah, Bernd Krieg-Brueckner, 1980 .

A Comparison of Pascal and Ada

Brian A. Wichmann, 1982, Comput. J..

The Development of Ada, the DoD Language

Brian A. Wichmann, 1979, GI Jahrestagung.

Good programming practice in Ada: Luker, P A Blackwell Scientific, Oxford, UK (1987) £14.95 (soft cover), pp 320

Brian A. Wichmann, 1988, Microprocess. Microsystems.

Events & Sightings

Tony Mann, Alexander M. Fedorec, Brian A. Wichmann, 2004, IEEE Ann. Hist. Comput..

Is Ada too big? A designer answers the critics

Brian A. Wichmann, 1984, CACM.

Looking into Safety with the Safety and Security Rapporteur Group

Brian A. Wichmann, Stephen Michell, Mark Saaltink, 1998, SIGAda.

Software in safety-related systems

Brian A. Wichmann, 1992 .

Validation of software in measurement systems (Software for Metrology Best Practice Guide No. 1).

R M Barker, Brian A. Wichmann, Graeme Parkin, 2007 .

Modified ALGOL 60 and the Step-Until Element

I. D. Hill, Brian A. Wichmann, R. M. De Morgan, 1978, Comput. J..

The choice of computer languages for use in safety-critical systems

W. J. Cullyer, Brian A. Wichmann, S. J. Goodenough, 1991, Softw. Eng. J..

Algorithm 123

I. D. Hill, Brian A. Wichmann, D. R. Woodall, 1987 .

Microprocessor design faults

Brian A. Wichmann, 1993, Microprocess. Microsystems.

A modular operating system

Brian A. Wichmann, 1968, IFIP Congress.

An algol‐like assembly language for a small computer

Brian A. Wichmann, D. A. Bell, 1971, Softw. Pract. Exp..

Modified Report on the Algorithmic Language ALGOL 60

Friedrich L. Bauer, I. D. Hill, Bernard Vauquois, 1976 .

Algorithm Supplement: Single Transferable Vote by Meek's Method

I. D. Hill, Brian A. Wichmann, D. R. Woodall, 1987 .

Problems and strategies for software component testing standards

Brian A. Wichmann, M. G. Cox, M. Cox, 1992, Softw. Test. Verification Reliab..

A Program to Calculate the GAMM Measure

Brian A. Wichmann, J. Du Croz, J. D. Croz, 1979, Comput. J..

Generating good pseudo-random numbers

I. D. Hill, Brian A. Wichmann, B. Wichmann, 2006, Comput. Stat. Data Anal..

A Synthetic Benchmark

Brian A. Wichmann, H. J. Curnow, B. Wichmann, 1976, Comput. J..

Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review)

Brian A. Wichmann, 1996, Softw. Test. Verification Reliab..

Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point

Brian A. Wichmann, B. Wichmann, 1989, SIGP.

The definition of comments in programming languages

Brian A. Wichmann, Roger S. Scowen, B. Wichmann, 1974, Softw. Pract. Exp..

Five ALGOL compilers

Brian A. Wichmann, 1972, Comput. J..

Towards a Formal Specification of Floating Point

Brian A. Wichmann, 1989, Comput. J..

Whetstone Wanderings

Brian A. Wichmann, 2011, Dependable and Historic Computing.

How to call procedures, or second thoughts on Ackermann's function

Brian A. Wichmann, B. Wichmann, 1977, Softw. Pract. Exp..

A draft description of Pascal

Jim Welsh, Brian A. Wichmann, A. M. Addyman, 1979, Softw. Pract. Exp..

Has the program been altered?

Brian A. Wichmann, 1981 .

Guidance for accredited laboratories on the use of computers

Brian A. Wichmann, R. Barker, 2000 .

ALGOL 60 compilation and assessment

Brian A. Wichmann, B. Wichmann, 1973 .

Proposal for a language compatible arithmetic standard

Mary Payne, Craig Schaffert, Brian A. Wichmann, 1990, SIGP.

The Performance of Some Algol Systems

Brian A. Wichmann, 1971, IFIP Congress.

Testing ALGOL 60 compilers

B. Jones, Brian A. Wichmann, 1976, Softw. Pract. Exp..

Run‐time detection of undefined variables considered essential

Willett Kempton, Brian A. Wichmann, 1990, Softw. Pract. Exp..

A note on the IFIP input‐output procedures for algol 60

Brian A. Wichmann, 1972 .

Pascal compiler validation

Brian A. Wichmann, Z. J. Ciechanowicz, B. Wichmann, 1983 .

Conformity Clause for VDM-SL

Brian A. Wichmann, Graeme I. Parkin, B. Wichmann, 1993, FME.

A commentary on the ALGOL 60 Revised Report

I. D. Hill, Brian A. Wichmann, R. M. De Morgan, 1974 .

The Efficiency of Pascal

Brian A. Wichmann, 1981, Pascal - The Language and its Implementation.

Contribution of standard programming languages to software quality

Brian A. Wichmann, 1994, Softw. Eng. J..

Design of Dependable ADA Software. G. Motet, A. Mapinard and J. C. Geoffroy. Published by Prentice Hall, Hemel Hempstead, U.K., 1995. ISBN 0–13–204967–8, 407 pages. Price: U.K. £26.95, Soft Cover.

Brian A. Wichmann, 1996 .

ALGOL Sixty Compilation and Assessment

Brian A. Wichmann, 1974 .

Rationale for the design of the Ada programming language

Brian A. Wichmann, Olivier Roubine, Jean D. Ichbiah, 1979, SIGP.

Ada - language and methodology

Brian A. Wichmann, David A. Watt, W. Findlay, 1987, Prentice Hall International Series in Computer Science.

Modules and Visibility in the Ada Programming Language

Bernd Krieg-Brückner, Brian A. Wichmann, Olivier Roubine, 1980, On the Construction of Programs.

A Note on the Use of Floating Point in Critical Systems

Brian A. Wichmann, B. Wichmann, 1992, Comput. J..

Industrial perspective on static analysis

Brian A. Wichmann, D. L. Clutterbuck, William Marsh, 1995, Softw. Eng. J..