Révolution scientifiquevignette|Fresque représentant Galilée et le Doge de Venise, Giuseppe Bertini, 1858 La révolution scientifique est généralement considérée comme une discontinuité de la pensée scientifique à une époque donnée, cette rupture amenant un champ disciplinaire — ou plusieurs — à se réorganiser autour de principes et axiomes nouveaux. La notion de « révolution scientifique », portée notamment par Alexandre Koyré (1892, Taganrog - 1964, Paris), Herbert Butterfield (1900, Yorkshire - 1979, Sawston) et Thomas Kuhn (1922, Cincinnati - 1996 Cambridge, Massachusetts), a fait l'objet d'un certain nombre de critiques, car elle implique une rupture totale avec les savoirs anciens.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
