Predicate Logic For Software Engineering

Dr. David Lorge Parnas

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


Conventional interpretations of expressions that describe predicates are not suitable for use in software engineering because they do not deal with partial functions. We define an interpretation for predicate expressions that is suitable for use in software documentation.