Predicate Logic for Software Engineering

About this presentation

... software engineering because they do not deal with partial functions. Parnas' team defines an interpretation for predicate expressions that is suitable for ...