“Computer Science is the only discipline in which we view adding a new wing to a building as being maintenance.” ViewsLearningBuildingDisciplineComputerWingsSimplicityProgrammingMaintenanceComputer ProgrammingComputer ScienceProgramming LanguagesComputer Language Author:Jim Horning
“To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.” EndsUsedQualityLearningCostProgramTreatsImportancePropertyProgrammingSoftwareFormalMaintainingUtilityComputer ProgrammingProgramming LanguagesComputer LanguageFormalitySpecifications Author:Jim Horning
