Research topics: Mira Balaban

Slides:

Advertisements

Similar presentations

Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.

Advertisements

Component Development for the Component Description Framework (CDF) Training Dr.-Ing. Ulrich Dinger.

From Model-based to Model-driven Design of User Interfaces.

Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel.

PathLP – Path-based Logic Programming Mira Balaban, Igal Khitron Computer Science Department Ben-Gurion University Mini-project-course Fall

Model-Based Programming: Executable UML with Sequence Diagrams By Ruben Campos Cal State L.A. Computer Science Thesis Work Spring 2007.

Programming Languages Language Design Issues Why study programming languages Language development Software architectures Design goals Attributes of a good.

CS 101 Course Summary December 5, Big Ideas Abstraction Problem solving Fundamentals of programming.

1 SWE Introduction to Software Engineering Lecture 5.

Automatically Extracting and Verifying Design Patterns in Java Code James Norris Ruchika Agrawal Computer Science Department Stanford University {jcn,

Summer 02-03Programming Language Concepts1 Programming Language Concepts (CS 360) Lecture 1: Overview, Grammars, and Little Languages Jeremy R. Johnson.

Model Driven Integrated Development Environment Barak Agiv Itamar Ben-Zaken Vladislav Smolensky Academic Advisor: Yuval Elovici Professional Advisor: Mira.

Research in Compilers and How it Relates to Software Engineering Part III: Relation to SE Tomofumi Yuki EJCP 2015 June 22, Nancy.

CS 331, Principles of Programming Languages Introduction.

1 Programming Languages Marjan Sirjani 2 1- The Study of Programming Languages The purpose of language is simply that it must convey meaning. (Confucius)

CS 415: Programming Languages Chapter 1 Aaron Bloomfield Fall 2005.

Bernd Bruegge & Allen H. Dutoit Object-Oriented Software Engineering: Using UML, Patterns, and Java 1 Introduction to Software Engineering CEN 4010.

PZ01A Programming Language design and Implementation -4th Edition Copyright©Prentice Hall, PZ01A -- Introduction Programming Language Design and.

MCS 270 Spring 2014 Object-Oriented Software Development.

Software Life-Cycle Models Somnuk Keretho, Assistant Professor Department of Computer Engineering Faculty of Engineering, Kasetsart University

1 Introduction Programming Language Design and Implementation (4th Edition) by T. Pratt and M. Zelkowitz Prentice Hall, 2001 Sections

Generative Programming. Automated Assembly Lines.

LECTURE 20: Distributed Computing

Correctness of Software Models Mira Balaban, Azzam Maraee Computer Science Department Ben-Gurion University Model correctnessFall

INRIA - LaBRICharles Consel Jan-06 1 Domain-Specific Software Engineering Charles Consel Phoenix Research Group LaBRI /INRIA-Futurs January 2006.

Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.

Introducing Allors Applications, Tools & Platform.

CS 331, Principles of Programming Languages Chapter 1.

Logical and Functional Programming

EMEA Beat Schwegler Architect Microsoft EMEA HQ Ingo Rammer Principal Consultant thinktecture

1 ECE 750 Topic 8 Meta-programming languages, systems, and applications Evolving Object-Oriented Designs with Refactorings – Lance Tokuda and Don Batory.

Programming Languages

TK2023 Object-Oriented Software Engineering CHAPTER 9 INTRODUCTION TO OBJECT DESIGN.

Software Development Introduction

C H A P T E R T H R E E Type Systems and Semantics Programming Languages – Principles and Paradigms by Allen Tucker, Robert Noonan.

Reuse Contracts A Historic Overview Dr. Tom Mens Programming Technology Lab Vrije Universiteit Brussel Course OOSE.RC EMOOSE

CSE 503: Software Engineering Winter 2010 Lecturer: Michael Ernst.

Software Engineering I. Introduction to Software Engineering Software models Formal Specification using ASML (Abstract State Machines Language) Software.

Andrey Karaulov, Alexander Strabykin Institute for System Programming Russian Academy of Sciences SYRCoSE: Spring Young Researchers Colloquium on Software.

A Survey of Object-Oriented Concepts, by Oscar Nierstrasz Reviewed by Odd Petter N. Slyngstad for DT8100, 27/1/2005.

Programming 2 Intro to Java Machine code Assembly languages Fortran Basic Pascal Scheme CC++ Java LISP Smalltalk Smalltalk-80.

Software Engineering Algorithms, Compilers, & Lifecycle.

Programming Language Paradigms ITSK2314 Lecture 3.

CPS120 Introduction to Computer Science High Level Language: Paradigms.

Chapter 1. Introduction.

Introduction to programming languages, Algorithms & flowcharts

Introduction to programming languages, Algorithms & flowcharts

Chapter 5: Object Oriented Analysis and Design

Problem Solving Using C: Orientation & Lecture 1

Towards Effective Adaptive User Interfaces Design

课程名编译原理 Compiling Techniques

Graduation Project Kick-off presentation - SET

Software Prototyping Animating and demonstrating system requirements.

Developing Applications

Introduction to programming languages, Algorithms & flowcharts

Problem Solving.

Is “Higher Level” Better?

Problem Solving Using C: Orientation & Lecture 1

Aziz Nanthaamornphong, Ph.D Assistant Professor in Computer Science

Programming Language Design

Software Engineering Lecture #45

SET seminar (2IS95).

Software Design Lecture : 14.

OOPSLA Workshop on Domain-Specific Modeling Tools Workgroup

Problem Solving Using C: Orientation & Lecture 1

Principles of Programming Languages

PPT4: Requirement analysis

Test Process “V” Diagram

Software Architecture & Design

On to Object Design c. 14.

Presentation transcript:

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

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

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