Talks, Posters, and Demonstrations

Synthesis from Formal Partial Abstractions, Proposal presentation, University of Virginia, Computer Science, 2012.

Spacemaker: Practical formal synthesis of tradeoff spaces for object-relational mapping, SEKE'12 conference presentation, San Francisco Bay, USA, 2012. (Distinguished Paper)

Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications, GPCE'12 conference slides, 2012.

A Formal Approach to Software Synthesis for Architectural Platforms, ICSE-SRC poster, ACM Student Research Competition, Honolulu, HI, USA, 2011.

A Formal Approach for Incorporating Architectural Tactics into the Software Architecture, SEKE'11 conference presentation, Miami, USA, 2012.

Monarch: Model-based Development of Software Architectures, MoDELS conference slides, 2010.

Architectural style as an Independent Variable, ASE conference poster, 2010.

Architecture as an Independent Variable, presentation slides, IBM Watson Research Center, 2010.

 

Projects

Pol

I developed Pol tool-suite, as part of my PhD research project, for agile specification-driven synthesis of object-oriented frameworks for platform-based applications. It has been developed in Java language based on the Alloy (a formal specification language) query analyzer. Development of an Eclipse plugin for Pol is in progress.

Available at: http://www.cs.virginia.edu/∼hb2j/Downloads/Pol-ToolSuite.zip

SpaceMaker

A tool-suite to generate object-relational mapping tradeoff spaces for object-oriented applications. This technique can help engineers to design effective persistence layers for object-oriented applications. The paper presenting this work won the distinguished paper award in the International Conference on Software Engineering and Knowledge Engineering.

Available at: http://www.cs.virginia.edu/∼hb2j/Downloads/Spacemaker.zip

Monarch

This project aims at developing an approach and tools for formal model-driven development of software architecture from abstract application models. I used Generic Modeling Framework (GME) and the Java version of the Builder Object Network (BON) in the implementation part of this project.

Available at: http://monarch.cs.virginia.edu

 

Course Projects

Operational Research Course
Simplex Program , source code in Java is also included

Detailed Inspection and Evaluation of Agile Software Development Processes, Paper for Object Oriented Methodologies Course
file (pdf format, in Farsi)

An Introduction to UML Components; A simple process for specifying component-based software, Paper for Object Oriented Methodologies Course
file (pdf format, in Farsi)

Review of HodgeMock object-oriented development methodology, Paper for Object Oriented Methodologies Course
file (pdf format, in Farsi)

Comparing OPF with RMC, Paper for Object Oriented Methodologies Course
file (pdf format, in Farsi)