Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
Articles 1 - 5 of 5
Full-Text Articles in Computer Engineering
Source Code Plagiarism Detection Using Jplag & Stack Overflow Data, Sudheer Yetthapu
Source Code Plagiarism Detection Using Jplag & Stack Overflow Data, Sudheer Yetthapu
Masters Theses & Specialist Projects
Advancements in computer technology and internet services have led to the availability of vast amounts of information like videos, articles, research papers, and code samples. Free online information will increase the possibility of plagiarism and collusion among students. People can commit plagiarism in both text and code [1], as tools used to detect plagiarism between texts and between codes are distinct. Traditionally plagiarism in code is detected using manual inspection, which is a tedious process and misses to compare code from previous submissions and external sources. To overcome this issue, systems that can automatically detect plagiarism in code were developed …
Functional Specification And Verification Of Object-Oriented Programs, Yoonsik Cheon
Functional Specification And Verification Of Object-Oriented Programs, Yoonsik Cheon
Departmental Technical Reports (CS)
One weakness of Hoare-style verification techniques based on first-order predicate logic is that reasoning is backward from postconditions to preconditions. A natural, forward reasoning is possible by viewing a program as a mathematical function that maps one program state to another. This functional program verification technique requires a minimal mathematical background as it uses equational reasoning based on sets and functions. Thus, it can be easily taught and used in practice. In this paper, we formalize a functional program specification and verification technique and extend it for object-oriented programs. Our approach allows one to formally specify and verify the behavior …
Initial Experiences Gained And Initiatives Employed In The Teaching Of Java Programming In The Institute Of Technology Tallaght, Eamonn Hyland, Gary Clynch
Initial Experiences Gained And Initiatives Employed In The Teaching Of Java Programming In The Institute Of Technology Tallaght, Eamonn Hyland, Gary Clynch
Conference Papers
This paper describes recent experiences gained and initiatives employed in the teaching of Java programming to first and second year students in the Institute of Technology Tallaght from September 2000 to March 2002. It outlines some elearning, technological and pedagogical initiatives that were undertaken within the department and the resultant preliminary outcomes. The outcomes have been determined after detailed analysis of the results of a survey which was commissioned to determine the effectiveness of the initiatives and also to identify those parts of the Java language which were causing students particular difficulty. The students surveyed are currently completing their fourth …
An Ontology Tool For Distributed Information Environments, Kuhanandha Mahalingam, Michael N. Huhns
An Ontology Tool For Distributed Information Environments, Kuhanandha Mahalingam, Michael N. Huhns
Faculty Publications
This paper describes how ontologies can be used for query formulation and semantic reconciliation in large distributed information environments. It presents a tool, written in Java, that can be used to create and browse ontologies, and construct ontology-based queries. The tool incorporates several abstraction mechanisms that enable users to manage large ontologies, which are typical of large information environments. The tool is being applied to an information system for healthcare administrators, which spans hospitals, clinics, and governmental health departments.
Collaborative Scientific Data Visualization, Byeongseob Ki, Scott Klasky
Collaborative Scientific Data Visualization, Byeongseob Ki, Scott Klasky
Northeast Parallel Architecture Center
We have designed a collaborative scientific visualization package that will aid researchers from distant, diverse locations to work together in developing scientific codes, providing them with a system to analyze their scientific data. We have utilized Java to develop this infrastructure. Two important areas which we have concentrated on developing are 1) a collaborative framework from which the scientific data is interpreted and utilized, and 2) a framework, which is customizable to the suit the needs of a particular task and/or scientific group.