Journal article
Predicate logic for software engineering
Abstract
The interpretations of logical expressions found in most introductory textbooks are not suitable for use in software engineering applications because they do not deal with partial functions. More advanced papers and texts deal with partial functions in a variety of complex ways. This paper proposes a very simple change to the classic interpretation of predicate expressions, one that defines their value for all values of all variables, yet is …
Authors
Parnas DL
Journal
IEEE Transactions on Software Engineering, Vol. 19, No. 9, pp. 856–862
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
1993
DOI
10.1109/32.241769
ISSN
0098-5589