splash screen icon Lenndi
splash screen name leendi
T

Tony Hoare

Auteurplume

En savoir plus sur l'auteur

...plus

Compte non officiel

    T

    Tony Hoare

    @tonyHoare

    J'ai finalement été persuadé de la nécessité de concevoir des notations de programmation afin de maximiser le nombre d'erreurs qui ne peuvent pas être commises, ou si elles sont faites, peuvent être détectées de manière fiable au moment de la compilation.

    en cours de vérification

    T

    Tony Hoare

    @tonyHoare

    Il existe deux façons de construire une conception de logiciels: une façon est de le rendre si simple qu'il n'y a évidemment pas de carences, et l'autre moyen est de le rendre si compliqué qu'il n'y a pas de carences évidentes. La première méthode est bien plus difficile.

    en cours de vérification

    T

    Tony Hoare

    @tonyHoare

    Un cerveau humain compte environ cent millions de cellules nerveuses... et un programme informatique qui fait la lumière sur l'esprit

    en cours de vérification

    T

    Tony Hoare

    @tonyHoare

    Il existe deux façons de construire une conception de logiciels: une façon est de le rendre si simple qu'il n'y a évidemment pas de carences, et l'autre moyen est de le rendre si compliqué qu'il n'y a pas de carences évidentes. La première méthode est bien plus difficile.

    en cours de vérification

    T

    Tony Hoare

    @tonyHoare

    Dans le développement de la compréhension des phénomènes complexes, l'outil le plus puissant disponible pour l'intellect humain est l'abstraction. L'abstraction découle de la reconnaissance des similitudes entre certains objets, situations ou processus dans le monde réel et la décision de se concentrer sur ces similitudes et d'ignorer, pour le moment, leurs différences.

    en cours de vérification