Brian A. Wichmann

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Whetstone Wanderings.
Proceedings of the Dependable and Historic Computing, 2011

2006
Generating good pseudo-random numbers.
Computational Statistics & Data Analysis, 2006

2004
Events & Sightings.
IEEE Annals of the History of Computing, 2004

1998
Looking into Safety with the Safety and Security Rapporteur Group.
SIGAda, 1998

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

1994
Contribution of standard programming languages to software quality.
Software Engineering Journal, 1994

1993
Microprocessor design faults.
Microprocessors and Microsystems - Embedded Hardware Design, 1993

Conformity Clause for VDM-SL.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992
Problems and Strategies for Software Component Testing Standards.
Softw. Test., Verif. Reliab., 1992

A Note on the Use of Floating Point in Critical Systems.
Comput. J., 1992

1991
The choice of computer languages for use in safety-critical systems.
Software Engineering Journal, 1991

1990
Run-time Detection of Undefined Variables Considered Essential.
Softw., Pract. Exper., 1990

Proposal for a Language Compatible Arithmetic Standard.
SIGPLAN Notices, 1990

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

Towards a Formal Specification of Floating Point.
Comput. J., 1989

1988
Good programming practice in Ada: Luker, P A Blackwell Scientific, Oxford, UK (1987) £14.95 (soft cover), pp 320.
Microprocessors and Microsystems - Embedded Hardware Design, 1988

A prototype system for the validation of Pascal programs.
Software Engineering Journal, 1988

1987
Ada - language and methodology.
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.
Commun. ACM, 1984

Requirements Analysis for Ada Compilers.
Commun. ACM, 1984

1982
A Comparison of Pascal and Ada.
Comput. J., 1982

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

1980
Modules and Visibility in the Ada Programming Language.
On the Construction of Programs, 1980

1979
A Draft Description of Pascal.
Softw., Pract. Exper., 1979

A Program to Calculate the GAMM Measure.
Comput. J., 1979

The Development of Ada, the DoD Language.
Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979

1978
Modified ALGOL 60 and the Step-Until Element.
Comput. J., 1978

1977
How to Call Procedures, or Secong Thoughts on Ackermann's Function.
Softw., Pract. Exper., 1977

1976
Testing ALGOL 60 Compilers.
Softw., Pract. Exper., 1976

A Synthetic Benchmark.
Comput. J., 1976

1975
Writing Algorithms in ALGOL 60.
Softw., Pract. Exper., 1975

1974
The Definition of Comments in Programming Languages.
Softw., Pract. Exper., 1974

1972
Five ALGOL compilers.
Comput. J., 1972

1971
An ALGOL-like Assembly Language for a Small Computer.
Softw., Pract. Exper., 1971

The Performance of Some Algol Systems.
IFIP Congress (1), 1971

1968
A modular operating system.
IFIP Congress (1), 1968


  Loading...