Integrating HOL-CASL into the Development Graph Manager MAYA.

Serge Autexier Till Mossakowski

Published in: FroCoS (2002)

Keyphrases

development process
software engineering
connected components
case study
knowledge representation

random walk
design process
structured data
st century

databases
theorem proving
bipartite graph
design principles

graph matching
management system
e learning
artificial intelligence