Differences

This shows you the differences between two versions of the page.

speccheck [2014/08/13 09:34]
127.0.0.1 external edit
speccheck [2014/09/06 19:13] (current)
fadi
Line 32: Line 32:
search, linked list, and trie. search, linked list, and trie.
-[[http://webfea.fea.aub.edu.lb/fadi/speccheck/specConstruct.pdf|pdf]]|[[http://webfea.fea.aub.edu.lb/fadi/speccheck/specConstructFull.pdf|full version]]+[[http://research-fadi.aub.edu.lb/speccheck/specConstruct.pdf|pdf]]|[[http://research-fadi.aub.edu.lb/speccheck/specConstructFull.pdf|full version]]
==== Code ==== ==== Code ====
Line 42: Line 42:
Use the ma binary with the runMA script for the make vocabulary adequate algorithm. Use the ma binary with the runMA script for the make vocabulary adequate algorithm.
-[[http://webfea.fea.aub.edu.lb/fadi/speccheck/scma.latest.tgz| Specification Construction with quantifiers]].+[[http://research-fadi.aub.edu.lb/speccheck/scma.latest.tgz| Specification Construction with quantifiers]].
Line 48: Line 48:
Following is a user experiment and its corresponding session files. Following is a user experiment and its corresponding session files.
-[[http://webfea.fea.aub.edu.lb/fadi/speccheck/experiment.pdf|user experiment 1 instructions]] +[[http://research-fadi.aub.edu.lb/speccheck/experiment.pdf|user experiment 1 instructions]] 
-[[http://webfea.fea.aub.edu.lb/fadi/speccheck/experiment.txt|user experiment 2 instructions]]+[[http://research-fadi.aub.edu.lb/speccheck/experiment.txt|user experiment 2 instructions]]
Sample user session files: Sample user session files:
-[[http://webfea.fea.aub.edu.lb/fadi/speccheck/sessions.tgz| Resultuing session files ]].+[[http://research-fadi.aub.edu.lb/speccheck/sessions.tgz| Resultuing session files ]].
The following is a sample report fully specifying the trie data structure The following is a sample report fully specifying the trie data structure
-[[http://webfea.fea.aub.edu.lb/fadi/pdfs/specP/experiment.pdf|trie specs]].+[[http://research-fadi.aub.edu.lb/pdfs/specP/experiment.pdf|trie specs]].
Line 90: Line 90:
==== Tool ==== ==== Tool ====
-The code can be found at http://webfea.fea.aub.edu.lb/fadi/speccheck/cg.tgz+The code can be found at http://research-fadi.aub.edu.lb/speccheck/cg.tgz
Line 99: Line 99:
==== Linear search example ==== ==== Linear search example ====
-The linear search example can be found at http://webfea.fea.aub.edu.lb/fadi/speccheck/linearSearch.c+The linear search example can be found at http://research-fadi.aub.edu.lb/speccheck/linearSearch.c
==== Justify example ==== ==== Justify example ====
-The linear search example can be found at http://webfea.fea.aub.edu.lb/fadi/speccheck/justify.c+The linear search example can be found at http://research-fadi.aub.edu.lb/speccheck/justify.c
===== Team ===== ===== Team =====
Paul Attie, Fadi Zaraket, Mohamad Noureddine, Farah Al-Hariri, and Mohamad fawaz Paul Attie, Fadi Zaraket, Mohamad Noureddine, Farah Al-Hariri, and Mohamad fawaz
 
speccheck.txt · Last modified: 2014/09/06 19:13 by fadi
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki