Specifying and Verifying Semantic Properties of Software Configurations.

Published in: SCM (1988)

Keyphrases

semantic properties
computational properties
semantic knowledge
co occurrence
artificial intelligence
expert systems
natural language processing
domain specific