Revision as of 22:09, 15 August 2015 edit Joswig (talk \| contribs) Extended confirmed users 1,261 edits KONWERK application ← Previous edit		Revision as of 22:24, 15 August 2015 edit undo Joswig (talk \| contribs) Extended confirmed users 1,261 edits SPIKE spplication Next edit →
Line 18: * [http://users.encs.concordia.ca/~haarslev/publications/vl96/paper.html GenEd], An Editor with Generic Semantics for Formal Reasoning about Visual Notations * [https://www.aaai.org/Papers/Workshops/1999/WS-99-05/WS99-05-024.pdf KONWERK], a ___domain independent configuration tool * [http://comanche.stsci.edu/institute/software_hardware/spike/documents/spike-chapter3.pdf SPIKE], scheduling system for the Hubble space telescope observations ==References==

Common Lisp Interface Manager: Difference between revisions