1. Research topics: Mira Balaban
Main theme: Software MODELING
So what is it?
Abstraction
Modeling &
Computation
abstraction
Computation
abstraction
Modeling
abstraction
Software Languages
Assembly
Fortran, C
LISP (Scheme),
Prolog
Java, Smalltalk
Software models –
UML, …
novenber 2010

2. Modeling applications
Modeling languages
Patterns: Analysis, design, correctness, quality
Verification and validation methods
Refactoring
Software evolution: Artifact refactoring (tests, contracts, models, specs)
Reference models and customization
Model query and explanation
Static analysis
Model testing
Run time integrity checking
Model metrics and benchmarking
Domain Specific Languages (DSLs); Domain Specific Modeling Languages)
Model transformation (model Driven Engineering – MDE)
novenber 2010

3. Research Topics F-OML (F-logic based Object Modeling Language):
An Object-Oriented logic programming language (with Michael Kifer, Stony-Brook):
A tiny powerful language: Integration with modeling tools, DSL specification, design pattern support, meta-modeling
Class diagram verification
Model based optimization (with Gera Weiss)
Model evolution support
Smooth software-storage integration – use design patterns
Model metrics and benchmarking
Runtime integrity checking
novenber 2010