WorldCat Identities

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

Overview
Works: 169 works in 516 publications in 5 languages and 10,074 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Honoree, Thesis advisor, Other, Contributor, Translator
Classifications: QA76.6, 001.642
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( )

9 editions published in 2007 in English and held by 1,599 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( )

4 editions published in 2011 in English and held by 1,579 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,516 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 )

40 editions published between 1972 and 1990 in English and Undetermined and held by 952 WorldCat member libraries worldwide

Details the use of practical programming techniques and abstract, theoretical data processing concepts in structured computer systems
Communicating sequential processes by C. A. R Hoare( Book )

30 editions published between 1985 and 2000 in 4 languages and held by 712 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 VDM-Europe( Book )

16 editions published in 1990 in English and Italian and held by 437 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 371 WorldCat member libraries worldwide

Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971 by C. A. R Hoare( Book )

25 editions published between 1971 and 1976 in English and Undetermined and held by 364 WorldCat member libraries worldwide

The seminar formed a part of a continuing research project, the purpose of which is to investigate, classify and evaluate the practical techniques which have been used in the implementation of successful operating systems. It is hoped to relate each technique to its objective, and to the range of circumstances in which it is applicable; and thus produce a reliable guide upon which an operating system designer can base their decisions
Essays in computing science by C. A. R Hoare( Book )

14 editions published between 1988 and 1989 in English and held by 300 WorldCat member libraries worldwide

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

14 editions published between 1998 and 2019 in English and German and held by 287 WorldCat member libraries worldwide

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming. --
Developments in concurrency and communication( Book )

12 editions published between 1989 and 1991 in English and held by 244 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 104 WorldCat member libraries worldwide

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

13 editions published in 1992 in English and held by 101 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 95 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

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR
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 German and held by 36 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 35 WorldCat member libraries worldwide

Systematic software development using VDM by C. B Jones( Book )

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

Software -- Software Engineering
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.32 (from 0.01 for An intervi ... to 0.77 for Specificat ...)

Engineering methods and tools for software safety and security
Covers
Engineering methods and tools for software safety and securityA 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 HoareThe dawn of software engineering : from Turing to Dijkstra
Alternative Names
C. A. R. Hoare

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

Çarlz Entoni Britaniyalı kompyuter alimi

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 brytyjski informatyk

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.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-

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

Хоор К.

Хоор, К 1934-

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

טוני הואר סופר בריטי

توني هور

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

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

টোনি হোর

ਟੋਨੀ ਹੋਏਰ

찰스 앤터니 리처드 호어

アントニー・ホーア Computer scientist

ホーア, C. A. R.

東尼·霍爾

Languages