CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond).

Kenneth Roe Scott F. Smith

Published in: ITP (2016)

Keyphrases

software engineering
st century
software development
decision trees
knowledge based systems
development process
rapid development
development environments
database
website
web services
knowledge acquisition
information processing
design process
product development