Department of Computer Science People in Software Engineering: - - PDF document

1

• Dept. of Computer Science

Research at Iowa State University

(summary) Gary T. Leavens

Midwest Software Engineering Consortium, May 21, 2004 www.cs.iastate.edu

• Dept. of Computer Science

Iowa State University

2

Department of Computer Science

People in Software Engineering:

 Samik Basu (Formal Methods)  Carl Chang (Requirements Engineering)  Gary T. Leavens (Formal Methods, AOP)  Markus Lumpe (Prog. Languages)  Robyn Lutz (Requirements, Safety Critical)  Andrew Miner (Analysis, Performance Eval)  Hridesh Rajan (Aspect-Oriented Software)

Also people in Computer Engineering Dept.

• Dept. of Computer Science

Iowa State University

3

Samik Basu: Research Areas

 Specification & Verification of

Infinite-State Systems

 Program Verification &

Error-Cause Localization

• Dept. of Computer Science

Iowa State University

4

Carl Chang: Research Areas

Net-Centric Computing Software Engineering Requirements Engineering Project Management

2

• Dept. of Computer Science

Iowa State University

5

Carl Chang: SE Research Projects

Software Engineering

Architecture-Based: SABRE

Requirements Engineering Project Management With genetic algorithms

• Dept. of Computer Science

Iowa State University

6

Gary Leavens: Research Areas

Theory Software Engineering Programming Languages

Formal methods Specification languages, Tools Semantics

• Dept. of Computer Science

Iowa State University

7

Gary Leavens: SE Research Projects

Theory Software Engineering Programming Languages

Behavioral subtyping, Frame axioms, invariants

JML

Type checking, AOP

MultiJava, Alias Dispatch

Assertion checking, Unit testing

• Dept. of Computer Science

Iowa State University

8

Markus Lumpe: Research Areas

Design, implementation of object-

and component-oriented languages

Type theory for software composition Formal semantics Concurrent programming Object-Oriented Compiler Construction

3

• Dept. of Computer Science

Iowa State University

9

Robyn Lutz: Research problem

Software Safety Software Engineering Requirements Engineering

How can we specify and verify software requirements to build safer systems?

• Dept. of Computer Science

Iowa State University

10

Robyn Lutz: Funded research

 Safety analysis for critical product lines, National

Science Foundation (with Jing (Janet) Liu, Josh Dehlinger, Qian Feng)

 Natural language in development of high-confidence

software, National Science Foundation, collaborative with Dr. J. Knight, U of Virginia (with Oko Swai, Kendra Schmid)

 Product line analysis of constellation software, Iowa

Space Grant Consortium (with Qian Feng, Barbara Nsiah)

 Contingency software for autonomous systems, NASA

at JPL (with “the other Ames”)

• Dept. of Computer Science

Iowa State University

11

Andrew Miner: Research Overview



Performance and Reliability Analysis

  High-level specification

• Stocastic Petri-Net

 Analyze performance, reliability



Tool Building

• Dept. of Computer Science

Iowa State University

12

Hridesh Rajan: Research Areas

Joining ISU from U. Virginia in Fall 2005

 Aspect-Oriented Programming

– Modularization – Structuring – EOS Project

 Sensor Networks

– Bandwidth and Power Optimization