Supervised Diploma Projects

Testcase Battery Generation for the EiffelRI to Prolog Translator

[-] Author: Francz Krisztina
[-] Description: Using the grammar of EiffeRI and the factbase specification a set of tests will be manually created and their translated facts will be checked and stored in an oracle. Thus newly translated facts for already known input can be compared against the oracle automatically.
[-] Year: 2009 (in progress)

Generic Viewer for Logic Based Representations

[-] Author: Cionca Diana
[-] Description: Facts modelling programs in Java or Eiffel are displayed in a hierarchical manner using the metamodel specification.
[-] Year: 2009 (in progress)

Generic Type Checker for Logic Based Representations

[-] Author: Not set
[-] Description: Prolog facts modelling programs in Java or Eiffel are verified against their metamodel specifications. The checker manipulates facts at a metalevel.
[-] Year: 2009 (in progress)

Physics Simulator

[-] Author: Stanescu-Bellu Madalina
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Daduica Doru
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Catanescu Alin
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Albu Zoran
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Adam Valentin
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Iuonas Victor
[-] Description:
[-] Year: 2009 (in progress)

Not set

[-] Author: Rosca Gabriel
[-] Description:
[-] Year: 2009 (in progress)

Eiffel Metamodel Validity Checker

[-] Author: Iordache Cristian
[-] Description: Prolog rules checking the consistency of the factbase according to the semantics of reverse inheritance
[-] Year: 2008

PASE

[-] Author: Plesa Radu
[-] Description:
[-] Year: 2008

Kruskal Algorithm Demo

[-] Author: Husse Fabien (IUT1, Universite de Lille, France)
[-] Description:
[-] Year: 2008

Prim Algorithm Demo

[-] Author: Rodriguez Francois (IUT1, Universite de Lille, France)
[-] Description:
[-] Year: 2008

Eiffel Language Translator from Logic Based Representation to Eiffel

[-] Author: Ionut Sorhent
[-] Description: Prolog unparser for Prolog facts into pure Eiffel code
[-] Year: 2007

Sorting Algorithms Demo

[-] Author: Callens Julien (IUT1, Universite de Lille, France)
[-] Description:
[-] Year: 2007

RIEiffel Semantics Implementation Using CTs

[-] Author: Guesmi Wael (ESSI, Universite de Nice France)
[-] Description:
[-] Year: 2007

API for Eiffel code Transformations

[-] Author: Chirila Smaranda
[-] Description: Eiffel parser implementation using JavaCC parser generator
[-] Year: 2006

Implementing Reverse Inheritance Class Relationship in Eiffel

[-] Author: Ruzsila Monica
[-] Description:
[-] Year: 2006

Reverse Inheritance - Java Code Transformation Plugin for Eclipse

[-] Author: Ruzsila Monica
[-] Description:
[-] Year: 2005

PC Shop Management Software

[-] Author: Stoian Adrian and Rosca Gabriel
[-] Description: E-commerce Website. Computer Parts Online Shop
[-] Year: (pending)

GIS Databases

[-] Author: Stoian Catalin
[-] Description: A GIS Database DXF Representation and the implementation of a search operation
[-] Year: 2005

Trace Project

[-] Author: Marinescu Monica
[-] Description: Trace code generator to be inserted in C Sharp Applications
[-] Year: 2004

Financial Projects

[-] YViewIt - monitor market movement, developped at Okko Software Oradea
[-] Scarab - e-mail web scanner, developped at Okko Software Oradea

Educational Projects

[-] Asistent-1.0 freeware, MS-DOS computer based learning program, developped at Okko Software Oradea