Before using the course materials, please first check how doing so complies with the honor code of your university. The course materials are released under following LICENCE.

Ph.D. Thesis

Management of Uncertainty in Self-Adaptive Software : In progress, Under Supervision of Dr. Malek. Committee members: Dr. Menascé, Dr. Gomaa, and Dr. Ganesan

M.Sc. Thesis

Introducing a set of process patterns for development of real-time software : Jun. 2008, Under Supervision of Dr. Mirian and with the help from Dr. Ramsin

B.Sc. Project

UT-Plag: A System to find plagiarism in a collection of texts and it'll be part of UTCM : Aug.2005 With the help from Mr. Bagherian Under Supervision of Dr. Sirjani and with help from Dr. Oroumchian Documentation Executable and Source Report

Compilations (In Farsi)

OO class lecture notes with the help from Mr. {Bagherian, Hojjat, Aliakbari} Bridge Design Pattern

Ph.D. Courses Materials

Computer System Performance Evaluation (Dr. Menasce) : Fall 2009 Final Presentation Final Report Quantitative Methods and Experimental Design in CS (Dr. Menasce) : Spring 2009 Final Presentation Final Report Project Resources Service-Oriented Architecture Research Issues (Dr. Malek) : Spring 2009 with the help from Dr. Hashimoto Course Presentation Midterm Project Presentation Final Project Presentation Distributed Software Engineering (Dr. Malek) : Fall 2008 with the help from Mr. {Rudravarjula, Youngquist} and Ms. Zengin Exercises Midterm Project Presentation Final Project Presentation Course Project Source Code Final Exam Cheat Sheet

M.Sc. Courses Materials (Most of them were with the help form Mr. Rafati)

Object Oriented Methodologies (Dr. Ramsin) : Fall 2006 Assignment1: Hodge-Mock Methodology Assignment2: OPF and RMC comparison Assignment3: The Generic Process of Agile Methologies Assignment4: Two Step Methodology Engineering Assignment5: SE History Course Research: Embedded-Real Time Analaysis Process Patterns Database Security (Dr. Jalili) : Spring 2006 HW1 Course Paper Presentation: ADCAPBACM Course Paper: ADCAPBACM Performance Evaluation (Dr. Habibi) : Spring 2006 Course Presentation : Software Performance Engineering Course Report : Software Performance Engineering Semantic Web (Dr. Abolhasani) : Spring 2006 Verification of Reactive Systems (Dr. Movaghar) : Spring 2006 Course Presentation: Spin & Promela Course Paper: Verification of an E-commerce protocol using Rebeca Course Project: Model Checking with SMV Advanced Software Engineering (Dr. Mirian) : Fall 2005 Exc1 Exc2 Exc3 Exc4 Course Presentation: ProductLine Course Paper: Verification of an E-commerce protocol using Rebeca Advanced Algorithm Analysis and Design (Dr. Ghodsi) : Fall 2005 Exc2 Exc3 Exc4 Course Presentation: Small world phenomenon an algorithmic aproach Course Paper Presentation: Sensor network routing using local MST Course Paper: Sensor network routing using local MST Advanced Operating Systems (Dr. Jalili) : Fall 2005 Course Paper Presentation 1: UCON Model Course Paper Presentation 2: UCON Model Course Paper: UCON Model Course Project: Linux Kernel Programming

B.Sc. Courses Materials

Information Retrieval (Dr. Oroumchian) : Spring 2005 Final Project: Plagiarisim Detection (with the help from Mr. Bagherian) Interface Circuit Design (Mr. Mirzababaei) : Spring 2005 Final Project: Audio CD controller (incomplete) Writing And Presentation Skills (Dr. Taghiyareh) : Spring 2005 Our groups was Chahar Nafar Va Nesfi Mr. {Bagherian, Hojjat, Aliakbari, Me} BPMRC: BPMRC of my article on IR Proposal: Proposal of my article on IR Introduction: Introduction of my article on IR First Presentation: 5 Minutes presentation on IR Final: My article on IR Second Presentation: 15 Minutes presentation on IR Evaluation form: Sample Evaluation form Micro Processor Lab. (Mr. Hasanpour) : Spring 2005 Most of them are done on TB51 Clock LCD + KeyPad Serial Port ADC Stepper Motor DAC 7 Segment Resources Object Oriented Design (Mr. Mehrdad) : Spring 2005 with the help from Mr. {Hojjat, Rahmani, Shadmehr} Inception Elaboration Construction Resources Computer Networks (Dr. Yazdani) : Fall 2004 with the help from Mr. Rahmani Kazza: A simple file sharing protocol like Kazza MST: Simulation of Minimum Spanning Tree algorithm for switches Lambda: Comparing exponential back-off with another scheme Final: TCP over Linux pipe Artificial Intelligence (Dr. Faili) : Fall 2004 with the help from Mr. Mahmoodi Lamps: A search problem Prolog: Working with some kind of Matrix (it's not fast) ANN: Simple face detection with Neural Nets Noghteh: Dot and Boxes game (We didn't win because of a bug in our graph detection algorithm) Operating Systems (Dr. Mahjur) : Spring 2004 MyShell: A simple shell RR: Round Robin CPU scheduling algorithm Bakery: Bakery algorithm for critical section Santa: A synchronization problem Bankers: Bankers algorithm for deadlock avoidance Socket: Simple test for socket programming MemMan: Memory management simulation Internet Engineering (Mr. Sheikhattar) : Spring 2004 List: Simple linked list project Assign1: Queue and client server file download Assign2: Peer to peer file download program (with the help from Mr. Rafati) Assign3: News system using RMI Assign4: Simple JSP project System Analysis and Design (Dr. Sirjani) : Spring 2004 with the help from Mr. {Rafati, Mahmoodi, Hojjat, Kazemitabar} Interview Proposal DFD ERD Project Final Report Dinning Philosophers Advanced Algorithm Design (Dr. Rostamabadi) : Fall 2003 ZIP: ZIP using Huffman code (with the help from Mr. Rafati) Computer Architecture (Dr. Safari) : Fall 2003 Most of them were with the help from Mr. Rafati 1: Simple CPU and one company's meeting room system 2: 1's complement and BCD adder 3: Non-Restoring divider 4: Bubble sort with MIPS assembly 5: MIPS single cycle 6: MIPS multi cycle (paper based) 7: MIPS pipeline 8: Queue base processor multi cycle File Structures (Dr. Rahgozar) : Spring 2003 SemiDBMS: Implementing hash and B+Tree (with the help from Mr. Rafati) Compiler (Dr. Jaberipour) : Spring 2003 Final Project: Simple C compiler with resources (with the help from Mr. Hojjat) Digital Logic Circuits (Dr. Navvabi) : Spring 2003 I don't remember description of them now and most of them were with the help from Mr. Rafati 1 2 3 4 5 6 7 8 Assembly (Mr. Mirzababaei) : Fall 2002 A2I: ASCI to Integer converter BSearch: Implementation of binary search Bubble: Implementation of bubble sort Maze: The solving of the one problem UTflood: Flood fill problem Loopsub: LOOP instruction test JVM: Simple JVM with C Data Structures (Dr. Faili) : Fall 2002 Most of them were with the help from Mr. Hojjat Common DIC Jilass Matrix Mway Poly R2NR Sorts Stack Tree Advanced Programming (Dr. Khosravi) : Spring 2002 SimToSim: The simulation of logical circuits (with the help from Mr. Hojjat) Foundation of Computer Programming (Dr. Taghiyareh) : Fall 2001 I missed all of my foundation of computer programming projects and advanced programming projects because of HDD loose except one project. Wish cloud was there then!