[CSUSB] >> [CNS] >> [Comp Sci] >> [R J Botting] >> newb1222
[Index] || [Blog] || [Research] Mon Dec 22 15:11:12 PST 2003

Contents


    Chatzigeorgiou03

    AlshayebLi03

    Spinellis03d

    FossStensrudKitchenhamMyrtveit03

    Add correspondence

  1. to BarbierEtal03.
  2. V29n11(Nov 2003)pp1054-1056
  3. "On formalization of the whole-part relationship in the unified modeling Language" by Hee Beng Kuan Tan & Lun Hao & Yong Hang corrects discrepancies,
  4. "Controversies about the Black and White Diamonds" by Frank Barbier & Brian Henderson-Sellers" responds by changing name of "antisymmetry", accepting new formula for "transitivity", and agreeing to minor correction in a proof. Regrets the absence of "scientific" review of UML specifications.

Formulae and Definitions in Alphabetical Order