1 / 3

Research topics: Mira Balaban

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

desirae-wilkinson
Download Presentation

Research topics: Mira Balaban

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  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)

  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

More Related