Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract).

Dimitur Nikolaev Krustev

Published in: CoRR (2020)

Keyphrases

extended abstract
design process
context sensitive
software engineering
contextual information
database
databases
knowledge base
decision support
rapid development
development environment
formal methods
pervasive computing
experience gained
practical experience