https://wiki.kram.nz/index.php?action=history&feed=atom&title=SE401%3AGroup107%3AInterim_ReportSE401:Group107:Interim Report - Revision history2026-04-29T19:02:57ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.kram.nz/index.php?title=SE401:Group107:Interim_Report&diff=10191&oldid=prevMark: 5 revision(s)2008-11-03T05:21:17Z<p>5 revision(s)</p>
<p><b>New page</b></p><div>== Second Examiner ==<br />
'''Dr Jing Sun'''<br />
===Research interest===<br />
* Formal Engineering Methods, Semantic Web<br />
* Formal Specification, Validation and Verification<br />
* Semantic Web Service, Ontology Reasoning<br />
* Theorem Proving, Model Checking<br />
<br />
Meeting time: 2pm, 22 Apr.<br />
<br />
===Notes for writing the report:===<br />
* His research area doesn't overlap with our project, so more background knowledge need to be explained. e.g. what is rendering, VHDL, FPGA.<br />
* Structure first - plan the structure of the report first. Including the background, proposed work, future work and a rough time planning.<br />
* Identify the problem clearly. <br />
* The format should be as close as the final report.<br />
<br />
[[SE401:Group107|Back]]</div>Mark