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.

resources.1347296228.txt.gz · Last modified: 2012/09/10 16:57 by pawluk