Educating the Programmer: Notation, Proofs and the Development of Programs.

Published in: IFIP Congress (1980)

Keyphrases

programming environment
programming environments
programming language
computer programs
software engineering
search engine
website
database
data sets
social networks
case study
open source
knowledge based systems
theorem prover
modeling language
data entry