Brian A. Wichmann

According to our database, Brian A. Wichmann authored at least 43 papers between 1968 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Whetstone Wanderings.

Brian A. Wichmann

Proceedings of the Dependable and Historic Computing, 2011

2006

Generating good pseudo-random numbers.

Brian A. Wichmann, I. D. Hill

Comput. Stat. Data Anal., 2006

2004

Events & Sightings.

Mary Croarken, Dorian James Rutter, Tony Mann, Alexander M. Fedorec, Brian A. Wichmann

IEEE Ann. Hist. Comput., 2004

1998

Looking into Safety with the Safety and Security Rapporteur Group.

Stephen Michell, Mark Saaltink, Brian A. Wichmann

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Ada for High Integrity.

Brian A. Wichmann

Proceedings of the Industrial Perspectives of Safety-critical Systems, 1998

1997

High Integrity Ada.

Brian A. Wichmann

Proceedings of the 16th International Conference on Computer Safety, 1997

1996

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

Brian A. Wichmann

Softw. Test. Verification Reliab., 1996

1995

Industrial perspective on static analysis.

Brian A. Wichmann, A. A. Canning, D. L. Clutterbuck, L. A. Winsborrow, N. J. Ward, D. William R. Marsh

Softw. Eng. J., 1995

1994

Contribution of standard programming languages to software quality.

Brian A. Wichmann

Softw. Eng. J., 1994

1993

Microprocessor design faults.

Brian A. Wichmann

Microprocess. Microsystems, 1993

Conformity Clause for VDM-SL.

Graeme I. P. Parkin, Brian A. Wichmann

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Problems and Strategies for Software Component Testing Standards.

Brian A. Wichmann, M. G. Cox

Softw. Test. Verification Reliab., 1992

A Note on the Use of Floating Point in Critical Systems.

Brian A. Wichmann

Comput. J., 1992

1991

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

W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann

Softw. Eng. J., 1991

An Ada program test generator.

S. M. Austin, D. R. Wilkins, Brian A. Wichmann

Proceedings of the Conference on TRI-Ada 1991, 1991

1990

Run-time Detection of Undefined Variables Considered Essential.

Willett Kempton, Brian A. Wichmann

Softw. Pract. Exp., 1990

Proposal for a Language Compatible Arithmetic Standard.

Mary Payne, Craig Schaffert, Brian A. Wichmann

ACM SIGPLAN Notices, 1990

1989

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

Brian A. Wichmann

ACM SIGPLAN Notices, 1989

Towards a Formal Specification of Floating Point.

Brian A. Wichmann

Comput. J., 1989

1988

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

Brian A. Wichmann

Microprocess. Microsystems, 1988

A prototype system for the validation of Pascal programs.

Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann

Softw. Eng. J., 1988

1987

Ada - language and methodology.

David A. Watt, Brian A. Wichmann, William Findlay

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-004086-2, 1987

1984

Is Ada Too Big? A designer Answers the Critics.

Brian A. Wichmann

Commun. ACM, 1984

Requirements Analysis for Ada Compilers.

Peter J. L. Wallis, Brian A. Wichmann

Commun. ACM, 1984

1982

A Comparison of Pascal and Ada.

Brian A. Wichmann

Comput. J., 1982

1981

The Efficiency of Pascal.

Brian A. Wichmann

Proceedings of the Pascal - The Language and its Implementation, 1981

1980

Modules and Visibility in the Ada Programming Language.

Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann

Proceedings of the On the Construction of Programs, 1980

1979

A Draft Description of Pascal.

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

Softw. Pract. Exp., 1979

Rationale for the design of the Ada programming language.

Jean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard

ACM SIGPLAN Notices, 1979

A Program to Calculate the GAMM Measure.

Brian A. Wichmann, J. Du Croz

Comput. J., 1979

The Development of Ada, the DoD Language.

Brian A. Wichmann

Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979

1978

Modified ALGOL 60 and the Step-Until Element.

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

Comput. J., 1978

1977

How to Call Procedures, or Secong Thoughts on Ackermann's Function.

Brian A. Wichmann

Softw. Pract. Exp., 1977

1976

Testing ALGOL 60 Compilers.

Brian A. Wichmann, B. Jones

Softw. Pract. Exp., 1976

A Synthetic Benchmark.

H. J. Curnow, Brian A. Wichmann

Comput. J., 1976

1975

Writing Algorithms in ALGOL 60.

I. D. Hill, Roger S. Scowen, Brian A. Wichmann

Softw. Pract. Exp., 1975

1974

The Definition of Comments in Programming Languages.

Roger S. Scowen, Brian A. Wichmann

Softw. Pract. Exp., 1974

1973

Timing on computers.

W. Morven Gentleman, Brian A. Wichmann

SIGARCH Comput. Archit. News, 1973

1972

Estimating the execution speed of an Algol program.

Brian A. Wichmann

ACM SIGPLAN Notices, 1972

Five ALGOL compilers.

Brian A. Wichmann

Comput. J., 1972

1971

An ALGOL-like Assembly Language for a Small Computer.

D. A. Bell, Brian A. Wichmann

Softw. Pract. Exp., 1971

The Performance of Some Algol Systems.

Brian A. Wichmann

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1968

A modular operating system.

Brian A. Wichmann

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968