default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBrian A. Wichmann
Person information
- affiliation: National Physical Laboratory, Teddington, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1987
[b1]David A. Watt, Brian A. Wichmann, William Findlay:
Ada - language and methodology. Prentice Hall International Series in Computer Science, Prentice Hall 1987, ISBN 978-0-13-004086-2, pp. I-XVII, 1-518
Journal Articles
- 2006
- [j32]Brian A. Wichmann, I. D. Hill:
Generating good pseudo-random numbers. Comput. Stat. Data Anal. 51(3): 1614-1622 (2006) - 2004
- [j31]Mary Croarken, Dorian James Rutter, Tony Mann, Alexander M. Fedorec, Brian A. Wichmann:
Events & Sightings. IEEE Ann. Hist. Comput. 26(1): 68-70 (2004) - 1996
- [j30]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): 115-116 (1996) - 1995
- [j29]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): 69-75 (1995) - 1994
- [j28]Brian A. Wichmann:
Contribution of standard programming languages to software quality. Softw. Eng. J. 9(1): 3-12 (1994) - 1993
- [j27]Brian A. Wichmann:
Microprocessor design faults. Microprocess. Microsystems 17(7): 399-401 (1993) - 1992
- [j26]Brian A. Wichmann:
A Note on the Use of Floating Point in Critical Systems. Comput. J. 35(1): 41-44 (1992) - [j25]Brian A. Wichmann, M. G. Cox:
Problems and Strategies for Software Component Testing Standards. Softw. Test. Verification Reliab. 2(4): 167-185 (1992) - 1991
- [j24]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): 51-58 (1991) - 1990
- [j23]Mary Payne, Craig Schaffert, Brian A. Wichmann:
Proposal for a Language Compatible Arithmetic Standard. ACM SIGPLAN Notices 25(1): 59-86 (1990) - [j22]Willett Kempton
, Brian A. Wichmann:
Run-time Detection of Undefined Variables Considered Essential. Softw. Pract. Exp. 20(4): 391-402 (1990) - 1989
- [j21]Brian A. Wichmann:
Towards a Formal Specification of Floating Point. Comput. J. 32(5): 432-436 (1989) - [j20]Brian A. Wichmann:
Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point. ACM SIGPLAN Notices 24(6): 20-22 (1989) - 1988
- [j19]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): 47-52 (1988) - [j18]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): 413 (1988) - 1984
- [j17]Peter J. L. Wallis, Brian A. Wichmann:
Requirements Analysis for Ada Compilers. Commun. ACM 27(1): 37-41 (1984) - [j16]Brian A. Wichmann:
Is Ada Too Big? A designer Answers the Critics. Commun. ACM 27(2): 98-103 (1984) - 1982
- [j15]Brian A. Wichmann:
A Comparison of Pascal and Ada. Comput. J. 25(2): 248-252 (1982) - 1979
- [j14]Brian A. Wichmann, J. Du Croz:
A Program to Calculate the GAMM Measure. Comput. J. 22(4): 317-322 (1979) - [j13]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): 1-261 (1979) - [j12]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): 381-424 (1979) - 1978
- [j11]R. M. De Morgan, I. D. Hill, Brian A. Wichmann:
Modified ALGOL 60 and the Step-Until Element. Comput. J. 21(3): 282 (1978) - 1977
- [j10]Brian A. Wichmann:
How to Call Procedures, or Secong Thoughts on Ackermann's Function. Softw. Pract. Exp. 7(3): 317-329 (1977) - 1976
- [j9]H. J. Curnow, Brian A. Wichmann:
A Synthetic Benchmark. Comput. J. 19(1): 43-49 (1976) - [j8]Brian A. Wichmann, B. Jones:
Testing ALGOL 60 Compilers. Softw. Pract. Exp. 6(2): 261-270 (1976) - 1975
- [j7]I. D. Hill, Roger S. Scowen, Brian A. Wichmann:
Writing algorithms in ALGOL 60. ACM SIGPLAN Notices 10(2): 14-31 (1975) - [j6]I. D. Hill, Roger S. Scowen, Brian A. Wichmann:
Writing Algorithms in ALGOL 60. Softw. Pract. Exp. 5(3): 229-244 (1975) - 1974
- [j5]Roger S. Scowen, Brian A. Wichmann:
The Definition of Comments in Programming Languages. Softw. Pract. Exp. 4(2): 181-188 (1974) - 1973
- [j4]W. Morven Gentleman, Brian A. Wichmann:
Timing on computers. SIGARCH Comput. Archit. News 2(3): 20-23 (1973) - 1972
- [j3]Brian A. Wichmann:
Five ALGOL compilers. Comput. J. 15(1): 8-12 (1972) - [j2]Brian A. Wichmann:
Estimating the execution speed of an Algol program. ACM SIGPLAN Notices 7(8): 24-44 (1972) - 1971
- [j1]D. A. Bell, Brian A. Wichmann:
An ALGOL-like Assembly Language for a Small Computer. Softw. Pract. Exp. 1(1): 61-72 (1971)
Conference and Workshop Papers
- 2011
- [c10]Brian A. Wichmann:
Whetstone Wanderings. Dependable and Historic Computing 2011: 84-92 - 1998
- [c9]Brian A. Wichmann:
Ada for High Integrity. SSS 1998: 70-81 - [c8]Stephen Michell, Mark Saaltink, Brian A. Wichmann:
Looking into Safety with the Safety and Security Rapporteur Group. SIGAda 1998: 7-11 - 1997
- [c7]Brian A. Wichmann:
High Integrity Ada. SAFECOMP 1997: 173-184 - 1993
- [c6]Graeme I. P. Parkin, Brian A. Wichmann:
Conformity Clause for VDM-SL. FME 1993: 501-520 - 1991
- [c5]S. M. Austin, D. R. Wilkins, Brian A. Wichmann:
An Ada program test generator. TRI-Ada 1991: 320-325 - 1981
- [c4]Brian A. Wichmann:
The Efficiency of Pascal. Pascal - The Language and its Implementation 1981: 49-55 - 1979
- [c3]Brian A. Wichmann:
The Development of Ada, the DoD Language. GI Jahrestagung 1979: 52-63 - 1971
- [c2]Brian A. Wichmann:
The Performance of Some Algol Systems. IFIP Congress (1) 1971: 327-334 - 1968
- [c1]Brian A. Wichmann:
A modular operating system. IFIP Congress (1) 1968: 548-556
Parts in Books or Collections
- 1980
- [p1]Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann:
Modules and Visibility in the Ada Programming Language. On the Construction of Programs 1980: 153-192
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
