[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Parnas93

  1. David Lorge Parnas
  2. Predicate Logic for Software Enginering
  3. IEEE Trans software Engineering SE-V19n9(Sep 1993)pp856-862
  4. =EXPERIENCE FORMAL SPECIFICATION LOGIC partial functions
      Problem with partial functions in specification. example: sqrt, subscript, ...

      Simple fix for engineering purposes:

    1. 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: [LPT].

      Also see [PVS]



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]