[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Daniel Jackson & Kevin Sullivan
- COM Revisited: Toll-Assisted Modeling of an Architectural Framework
- =CASESTUDY Alloy MODEL Microsoft COM SPECIFICATION
- Uses Alloy Analyzer
- Analysis contributes to modeling by validating simplifications and spotting typographical errors rapidly and interactively. Rapid analysis encourages more daring experimental models.
- Astonished at how hard it was to preserve precise meanings when restructuring and at how useful the tool was
- Z notation may have contributed to typographical errors in previous models.
- paper+model is at
[ publications ]
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]