Architectural unification.

Ralph E. Melton David Garlan

Published in: CASCON (1997)

Keyphrases

software architecture
higher order
theorem proving
knuth bendix
real time
neural network
architectural design
genetic algorithm
video sequences
pairwise
theorem prover
equational theories