Predicate Logic For Software Engineering

Dr. David Lorge Parnas
(parnas@mcmaster.ca)

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


Abstract

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.