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

Bibliographic Item (1.0)

EdwardsJacksonTorlak04

  1. Jonathan Edwards & Daniel Jackson & Emina Torlak
  2. A Type System for Object Models
  3. Proc SIGSOFT'04/FSE-12& ACM SIGSOFT Software Engineering Notes V29n6(Nov 2004)pp189-199
  4. =IDEA LOGIC RELATIONAL TYPES Alloy 2.0
  5. Defines an improved type system for Alloy with subtypes, relations, etc.
  6. Compares with UML OCL.
  7. Precisely defines two types for formulas: bounding type and relevance type.
  8. An empty relevance type indicates an error.

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]