[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- David Lorge Parnas
- Predicate Logic for Software Enginering
- IEEE Trans software Engineering SE-V19n9(Sep 1993)pp856-862
- =EXPERIENCE FORMAL SPECIFICATION LOGIC partial functions
Problem with partial functions in specification. example: sqrt, subscript, ...
Simple fix for engineering purposes:
- state that primitive predicates have the value false when an
argument is undefined. A primitive predicate is one that (1) has values
defined for all defined arguments, (2) is not defined in terms of any other
predicate, (3) is false if any argument is undefined.
Not unsimilar to the Logic of Partial Terms:
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]