resources

This is an old revision of the document!

Resources

Sample reports:

ArrayADT
TupleADT
Example of design document describing a XML translation system built based on this sepcification
Documentation of the proof

Eiffel:

https://wiki.cse.yorku.ca/project/eiffel/

Useful Links.

LINKED_LIST description

resources.1347990595.txt.gz · Last modified: 2012/09/18 17:49 by pawluk