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

Bibliographic Item (1.0)

JacksonDSullivan00

  1. Daniel Jackson & Kevin Sullivan
  2. COM Revisited: Toll-Assisted Modeling of an Architectural Framework

    [FSE8] pp149-158

  3. =CASESTUDY Alloy MODEL Microsoft COM SPECIFICATION
  4. Uses Alloy Analyzer [JacksonD00]
  5. Analysis contributes to modeling by validating simplifications and spotting typographical errors rapidly and interactively. Rapid analysis encourages more daring experimental models.
  6. Astonished at how hard it was to preserve precise meanings when restructuring and at how useful the tool was
  7. Z notation may have contributed to typographical errors in previous models.
  8. paper+model is at [ publications ]

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]