PhD and MSc Theses
PhD and MSc Theses, since 1988
| Student’s Name |
Graduation Year |
Degree |
Abstracts |
Research Name |
| Lalouche Gal |
2018 |
PhD |
Abstracts |
The Consistency, Independence and Validity of Software Complexity Metrics |
| Maman Itay |
2012 |
PhD |
|
Formal Patterns in Java Programs |
| Cohen Tal |
2007 |
PhD |
Abstracts |
Applying Aspect-Oriented Software Development to Middleware Frameworks |
| Lenz Keren |
2013 |
PhD |
Abstracts |
Internal and External Mechanisms for Extending Programming Languages |
| Zibin Yoav |
2004 |
PhD |
Abstracts |
Efficient Algorithms for the Runtime Environment of Object Oriented Languages |
| Lorenz David |
1999 |
PhD |
|
Compilation of Source Code into Object-Oriented Patterns |
| Maien Dor-David |
2021 |
MSc |
Abstracts |
Better Prediction of Mutation Score |
| Samuel Lior |
2021 |
MSc |
Abstracts |
Domsago- a Spoken Programming Language as a Step Towards Personal Assistant Programming |
| Peled Matan |
2020 |
MSc |
Abstracts |
Thapl – A Theatrical Programming Language |
| Pat Barak |
2018 |
MSc |
Abstracts |
Geosocial Search: Finding Places based on Geotagged Social-Media Posts |
| Marcovitch Ori |
2018 |
MSc |
Abstracts |
A Nano Patterns Language for Java |
| Levy Tomer |
2017 |
MSc |
Abstracts |
Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java |
| Zmiry Iddo |
2016 |
MSc |
Abstracts |
Lola – A Programming Language for Augmenting Programming Languages |
| Sennesh Eli |
2015 |
MSc |
Abstracts |
Unstructured Jumps and Compressed Size as Defect-Prediction Metrics |
| Malul Elior |
2014 |
MSc |
Abstracts |
Towards Temporal Correctness of Event Processing |
| Agbaria Sabih |
2013 |
MSc |
Abstracts |
On Incomplete Bug Fixes and Programmers’ Intuition on These |
| Shimron Yuval |
2012 |
MSc |
Abstracts |
Smaller Footprint for Java Collections |
| Shragai Tali |
2009 |
MSc |
Abstracts |
Empiric Evaluation of the Usability of Virtual Function Calls within Constructors |
| Zarivach Evelina |
2008 |
MSc |
Abstracts |
Evaluating Datalog Programs over Infinite and Founded Databases |
| Gutterman Zvi |
2004 |
MSc |
Abstracts |
Symbolic Pre-Computation for Numerical Applications |
| Bekkerman Anna |
2004 |
MSc |
Abstracts |
Conflict Resolution and Operator Priorities in Extended BNF |
| Dekel Uri |
2003 |
MSc |
Abstracts |
Revealing JAVA Class Structure with Concept Lattices |
| Cohen Uriel |
2003 |
MSc |
Abstracts |
Object Relations and Syntactic Mechanisms in Design Patterns |
| Tulchinsky Elena |
2002 |
MSc |
|
Positive Semantics of Projections in Venn-Euler Diagrams |
| Cohen Tal |
2002 |
MSc |
|
Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice |
| Eckel Natalie |
2001 |
MSc |
|
Empirical Study of Object-Layout Strategies and Optimization Techniqes |
| Tsoglin Yuri |
2001 |
MSc |
|
JAMOOS – an Object Oriented Language for Grammars |
| Sorkin Yan |
2001 |
MSc |
|
CD-Edit- A Constraint Diagrams’ Editor |
| Gorovoy Alexander |
2001 |
MSc |
|
Applying Data Compression Algorithms to Software Engineering |
| Eckel Jacob |
1998 |
MSc |
|
A Framework for Static Checking of Design Level Traits |
| Holstein Beery |
1997 |
MSc |
|
T++ : Test Case Generator Using Code Abstraction |
| Voldman Leonid |
1997 |
MSc |
|
Using Smart Terminals to Effectively Enhance Commuication Throughput |
| Barta David |
1996 |
MSc |
|
A System for Document Reuse |
