Using assertions about traces to write abstract specifications for software modules.

Wolfram Bartussek David Lorge Parnas

Published in: ECI (1978)

Keyphrases

software modules
high level
software components
development effort
database systems
software engineering
formal specification
artificial intelligence
feature selection
multi agent
text categorization