All in the Mind—but Not in the Software

All in the Mind—but Not in the Software

Bibliographic Details
Main Author:	Hoare, C
Format:	Journal article
Published:	2015

Similar Items

Reviews of contributions to ‘A Classical Mind'
by: Hoare, C
Published: (1994)

The Quality of Software
by: Hoare, C
Published: (2015)

Software Engineering
by: Hoare, C
Published: (1978)

Software Engineering
by: Hoare, C
Published: (1975)

Software Engineering
by: Hoare, C
Published: (1976)

Behavioral priming: it's all in the mind, but whose mind?
by: Stéphane Doyen, et al.
Published: (2012-01-01)

CALLING ALL MINDS /
by: Grandin, Temple, author 520026, et al.
Published: (2018)

CALLING ALL MINDS /
by: Grandin, Temple, author, et al.
Published: (2018)

An Ideal of Software Engineering
by: Hoare, C
Published: (2015)

Software: Barrier or Frontier?
by: Hoare, C
Published: (2015)

An Education for the Software Engineer
by: Hoare, C
Published: (1982)

Cultures and organizations : software of the mind /
by: 386819 Hofstede, Geert H., et al.
Published: (2005)

Report of a Software Failure
by: Hoare, C
Published: (2015)

Formal Methods in Software Engineering
by: Hoare, C
Published: (1986)

Software Design: A Parable
by: Hoare, C
Published: (1974)

The ideal of verified software
by: Hoare, T
Published: (2006)

The Ideal of Verified Software
by: Hoare, T
Published: (2006)

The Engineering of Software: A Startling Contradiction
by: Hoare, C
Published: (1976)

Assertions in Modern Software Engineering Practice
by: Hoare, C
Published: (2002)

Software Engineering: A Keynote Address
by: Hoare, C
Published: (1978)

Hardware and Software: The Closing Gap
by: Hoare, C, et al.
Published: (1994)

Verified Software: Theories‚ Tools‚ Experiments
by: Hoare, T
Published: (2008)

To have or to do : it's all in the mind(set)
by: Madan, Shilpa
Published: (2018)

How Did Software Get So Reliable Without Proof?
by: Hoare, C
Published: (1996)

Preface to special issue on software verification
by: Hoare, C, et al.
Published: (2009)

All Is Burning: Buddhist Mindfulness as Radical Reflection
by: Sebastjan Vörös
Published: (2021-12-01)

It’s Not All in the Mind of Britain: Will Self’s Umbrella
by: Marc Porée
Published: (2015-12-01)

Is it all in my mind? psychogenic pain revisited
by: Giuseppe De Benedittis
Published: (2008-12-01)

Words of Wisdom : From the greatest minds of all time /
by: Farren, Mick, author 641061
Published: (2004)

Not All ENT Granulomas Are Wegener’s – Keep Tuberculosis in Mind
by: Bárbara Pedro, et al.
Published: (2020-02-01)

“Turtles All the Way Down”: Mind, Emotion and Nothing
by: Ian Maxwell
Published: (2016-09-01)

Baring it all to Software: The Raw Machine
by: Waingold, Elliot, et al.
Published: (2023)

The verified software initiative: A manifesto
by: Hoare, C, et al.
Published: (2009)

Where is all the research software? An analysis of software in UK academic repositories
by: Domhnall Carlin, et al.
Published: (2023-11-01)

The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
by: Hoare, C
Published: (1996)

The verified software repository: a step towards the verifying compiler
by: Bicarregui, J, et al.
Published: (2006)

Compassion conquers all : teachings on the eight verses of mind transformation /
by: Tsem, Tulku Rinpoche, 1965-
Published: (2007)

What are they all doing in that restaurant? Perspectives on the use of theory of mind
by: Ilaria Gabbatore, et al.
Published: (2024-12-01)

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
by: Hoare, T, et al.
Published: (2005)

Cultures and organizations : software of the mind : intercultural cooperation and its importance for survival /
by: 386819 Hofstede, Geert H., et al.
Published: (c201)