WorldCat Identities

Hoare, C. A. R. (Charles Antony Richard) 1934-

Overview
Works: 166 works in 490 publications in 5 languages and 9,151 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Thesis advisor, Honoree, Other, Contributor, Translator
Publication Timeline
.
Most widely held works about C. A. R Hoare
 
Most widely held works by C. A. R Hoare
Software system reliability and security( )

8 editions published in 2007 in English and held by 1,461 WorldCat member libraries worldwide

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering
Software and systems safety : specification and verification by NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification( )

3 editions published in 2011 in English and held by 1,427 WorldCat member libraries worldwide

Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Specification and Verification held at Marktoberdorf, Germany, in August 2010, and provides an excellent overview of current research results with special emphasis on software information security. Leading international researchers and experts present their experience in the specification and verification of software systems, accompanied by corresponding tools and methods. Subjects addressed include: model-based testing, schemes and patterns of assumption/promise-based system specification, requirements models for critical systems, engineering evolving and self-adaptive systems, unifying models of data flow, model-based verification and analysis of real-time systems, and model checking. The book will be of interest to all those dealing with information systems for whom security is of paramount importance
Engineering methods and tools for software safety and security by M Broy( )

3 editions published in 2009 in English and held by 1,362 WorldCat member libraries worldwide

Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice
Structured programming by Ole-Johan Dahl( Book )

44 editions published between 1972 and 1990 in English and Undetermined and held by 775 WorldCat member libraries worldwide

Communicating sequential processes by C. A. R Hoare( Book )

30 editions published between 1985 and 2000 in 4 languages and held by 728 WorldCat member libraries worldwide

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings by D Bjørner( Book )

14 editions published in 1990 in English and Italian and held by 402 WorldCat member libraries worldwide

"The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems."--Publisher's website
Mathematical logic and programming languages( Book )

20 editions published between 1984 and 1986 in English and Undetermined and held by 376 WorldCat member libraries worldwide

Operating systems techniques; proceedings by International Seminar on Operating Systems Techniques( Book )

24 editions published between 1972 and 1976 in English and Undetermined and held by 369 WorldCat member libraries worldwide

Operating system requirements. Operating system principles. Operating system structure. Store management techniques. Filing system techniques. Titan operation system. CDC operating system. Burroughs operating systems. Miscellaneous operating systems 1. Miscellaneous operating system 2
Essays in computing science by C. A. R Hoare( Book )

13 editions published between 1988 and 1989 in English and held by 292 WorldCat member libraries worldwide

Developments in concurrency and communication( Book )

12 editions published between 1989 and 1991 in English and held by 247 WorldCat member libraries worldwide

A classical mind : essays in honour of C.A.R. Hoare( Book )

7 editions published in 1994 in English and Italian and held by 143 WorldCat member libraries worldwide

The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics. It will appeal to computer scientists working in all areas of the subject
Scientific applications of multiprocessors by R. J Elliott( Book )

9 editions published in 1989 in English and held by 103 WorldCat member libraries worldwide

Mechanized reasoning and hardware design by C. A. R Hoare( Book )

12 editions published in 1992 in English and held by 97 WorldCat member libraries worldwide

The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985 by C. A. R Hoare( Book )

12 editions published in 1986 in English and held by 93 WorldCat member libraries worldwide

Unifying theories of programming by C. A. R Hoare( Book )

11 editions published in 1998 in English and German and held by 85 WorldCat member libraries worldwide

Engineering theories of software construction( Book )

6 editions published in 2001 in English and held by 53 WorldCat member libraries worldwide

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare by Oxford-Microsoft Symposium( Book )

2 editions published in 2000 in English and held by 40 WorldCat member libraries worldwide

Specification-oriented semantics for communicating processes by E.-R Olderog( Book )

9 editions published between 1984 and 1985 in English and held by 37 WorldCat member libraries worldwide

VDM : une méthode rigoureuse pour le développement du logiciel by C. B Jones( Book )

1 edition published in 1993 in French and held by 34 WorldCat member libraries worldwide

Computer science; an inaugural lecture delivered before the Queen's University of Belfast on 10 February 1971 by C. A. R Hoare( Book )

2 editions published in 1971 in English and held by 33 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.32 (from 0.01 for Engineerin ... to 0.88 for VDM : une ...)

Engineering methods and tools for software safety and security
Covers
Engineering methods and tools for software safety and securityCommunicating sequential processesVDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedingsA classical mind : essays in honour of C.A.R. HoareMillennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
Alternative Names
C. A. R. Hoare

C. A. R. Hoare informático teórico del Reino Unido

Çarlz Entoni

Charles Antony Richard Hoare britisk ingeniør og informatikar

Charles Antony Richard Hoare britisk ingeniør og informatiker

Charles Antony Richard Hoare brittisk ingenjör och datavetare

Charles Antony Richard Hoare informàtic britànic

Charles Antony Richard Hoare informaticien britannique

Choar, Č. 1934-

Choor, K.

Choor, K. 1934-

Hoar, Č.

Hoare, Antony

Hoare, C. A.

Hoare C.A.R.

Hoare, C. A. R. 1934-

Hoare, C. A. R. (Charles Antony Richard), 1934-

Hoare, Charles A. 1934-

Hoare, Charles Antony Richard

Hoare, Charles Antony Richard 1934-

Hoare Tony

Hoare, Tony 1934-

Hoor, K.

Toni Hor

Tony Hoare britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls

Tony Hoare British computer scientist

Tony Hoare Een Brits informaticus die het sorteeralgoritme quicksort heeft uitgevonden

Tony Hoare informatico britannico

Сұрыптаудың хоор әдісі

Тони Хор

Тоні Гоар

Хоар, Чарлз Энтони Ричард британский учёный

Хоар, Чарльз Энтони Ричард британский учёный

Хоор К.

Хоор, К 1934-

Չարլզ Անտոնի Ռիչարդ Հոար

توني هور

توني هور عالم حاسوب بريطاني

تونی هور دانشمند علوم کامپیوتر و مهندس بریتانیایی

টোনি হোর

ਟੋਨੀ ਹੋਏਰ

찰스 앤터니 리처드 호어

アントニー・ホーア Computer scientist

ホーア, C. A. R.

東尼·霍爾

Languages