Predicate Logic for Software Engineering
Auteur : DAVID LORGE PARNAS Parmas
Date de publication : 1992
Éditeur : McMaster University
Nombre de pages : 8
Résumé du livre
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 interpretation for predicate expressions that is suitable for use in software documentation.