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

Bibliographic Item (1.0)

JacksonDShlyakhterSridharan01

  1. Daniel Jackson & Ilya Shlyakhter & Manu Sridharan
  2. A Micromodularity Mechanism
  3. ACM SIGSOFT proc ESEC-8 FSE-9 Software Engineering Notes V26n5(Sep 2001)pp62-73
  4. =IDEA MODULAR SPECIFICATIONS RELATIONS FORMAL NOTATION LOGIC EXTENSION TOOL? cf Z Alloy
  5. On the WWW [ publications ]
  6. |-A structure is a set of atoms and its fields are global relations that map atoms to other sets of atoms.
  7. |-Structure extensions are just subsets.
  8. sig name [parameters] extends parent[parameters]{ field: associate ...}{properties}: field is a relation between name and associate and name is a subset of parent.
  9. fact { property }: makes assumptions, states constraints, can retrofit fields
  10. assert{properties}: theorems -- properties that are intended to hold, and so need checking.
  11. fun name(para:type...){property}: defines properties that may or may not be true. used to describe methods, abstraction.
  12. Simpler and more focused than Z, VDM, or MATHS

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]