Fall SERC Showcase Agenda

West Virginia University
Morgantown, West Virginia

December 3 - 4, 1998

 

Thursday December 3, 1998
7:30 - 9:00 a.m. Policy Board Breakfast Meeting
Room 109, NRCCE Building
Participants:
Stuart Faulk, Michael Forman, Bob Horgan, Charles Hotz, Aditya Mathur, Ali Mili,
Jayne Miller, Vida Scarpello, Alex Schwarzkopf, Steve Thebaut.
8:30 a.m. Continental Breakfast
Room 101, NRCCE Building
8:30 - 9:30 a.m. Registration
NRCCE Lobby
8:30 - 10:20 a.m. Poster Sessions
NRCCE Lobby
Bruce D'Ambrosio, Oregon State University:
Reliability Prediction in Early Design

Steven Atkinson, West Virginia University:
Software Composition Workbench

Hari-Kiran Boddippali, Bojan Cukic, West Virginia University:
Automated Support for Cranofacial Reconstruction

Senta Fowler Chmiel, West Virginia University:
Software Cost Estimation for Adaptive Maintenance

Kevin Du, Purdue University:
Testing for Security Flaws

Stephen Edwards, Virginia Tech.:
Automatic Generation of Black Box Test Cases

Ahmed Elmagarmid, Purdue:
Data Quality: A Progress Report

Hany Ammar, West Virginia University:
A Pattern Language of Statecharts with Application in Medical Informatics

Warren Harrison and David Raffo, Portland State University:
Analysis of Software Process and Metrics

Srini Kankanahalli, West Virginia University:
Design Patterns as Reusable Components

Joao Wagner Lima Cangussu, Purdue:
Theory of Feedback Control of Software Processes

Dessie Mandalasi, West Virginia University:
Integrated Model for Software Reuse Economics

Aditya Mathur, Sudipto Ghosh, Priya Govindarajan, and Baskar Sridharan, Purdue:
Testing Distributed Systems

Jens Palsberg, Purdue:
Fast Genetic Programming

Murali Sitaraman
RESOLVE Software Composition Workbench

Brian J. Taylor, Goran Trajkovski, Bojan Cukic, West Virginia University:
Reliability Prediction of Intelligent Fault-tolerant Flight Control Systems

Goran Trajkovski, Bojan Cukic, West Virginia University:
Fuzzy Buffering Algorithm for ATM Networks

Wayne Zage and Dolores Zage, Ball State University:
Metrics Directed Verification of Motorola SDL Designs

10:20 - 12 noon Software Demonstrations
Room 101, NRCCE Building
10:20 - 10:45 Sudipto Ghosh, Priya Govindarajan, Baskar Sridharan, Purdue:
TDS: A Tool for Testing Distributed Systems
10:45 - 11:10 Srini Kankanahalli, West Virginia University:
Chicory - A Software Engineering Environment for Java
11:10- 11:35 Wayne Zage and Dolores Zage, Ball State Univeristy:
Web-Based Design Metrics Analyzers
11:35 - 12:00 Steven Atkinson and Murali Sitaraman, West Virginia University:
RESOLVE: Software Composition Workbench
12:00 - 1:00 p.m. Served Lunch
Room 101, NRCCE Building
1:00 - 1:15 p.m. Welcome: Dr George Trapp, Chairman, Dept. Computer Science and Electrical Eng.
And Dr. Aditya Mathur, SERC Director
Room 101, NRCCE Building
1:15 - 1:30 p.m. State of SERC
Room 101, NRCCE Building
Aditya Mathur
SERC Director
1:30 - 2:20 p.m. Company Presentations
Room 101, NRCCE Building
1:30 - 1:55 Frances VanScoy, EPSCoR

1:55 - 2:20 Ron Kohl, Intermetrics
2:20 - 4:15 p.m. Research Proposal Presentations
Room 101, NRCCE Building
2:20 - 2:45 Bruce D'Ambrosio, Oregon State University:
Reliability Prediction in Early Design
2:45 - 3:00 BREAK
3:00 - 3:25 Ahmed Elmagarmid, Purdue:
Methods for Assessing and Assuring Data Quality
3:25 - 3:50 Aditya Mathur, Purdue:
Testing Distributed Systems
3:50 - 4:15 Jens Palsberg, Purdue:
Genetic Programming
4:15 - 5:45 p.m. IAB Closed Meeting
Room 109, NRCCE Building
Participants: Ravi Appan, Dave Dorenbos, Bryan Everly, Stuart Faulk, Michael Forman,
David Griffiths, Bob Horgan, Charles Hotz, Dean Knudson, Aditya Mathur, Ali Mili, Jayne Miller,
Glenn Racine, Vida Scarpello, Alex Schwarzkopf, Charles Stannett, Steve Thebaut
4:15 - 5:45 p.m. Open Meeting on Technology Transfer of Software Evolution Principles
Room 101, NRCEE Building
5:45 - 6:30 p.m. Motorola's IRFP Meeting
Room 109, NRCCE Building
7:00 p.m. Evening Banquet
Ali Baba
Friday December 4, 1998
8:00 - 9:00 a.m. Breakfast Buffet
Room 101, NRCCE Building
9:00 - 10:30 a.m. Research Progress Presentations
Room 101, NRCCE Building
09:00 - 09:25 Wayne Zage & Dolores Zage, Ball State University:
Metrics Directed Verification of Motorola SDL Designs
09:25 - 9:50 Warren Harrison, Portland State University:
Testing for Entertainment Simulations
9:50 - 10:15 David Raffo, Portland State University:
Analysis of Software Process and Metrics
10:15 - 10:30 BREAK
10:30 - 12:10 a.m. Company Presentations
Room 101, NRCCE Building
10:30 - 10:55 Mantech Inc.
10:55 - 11:20 Electronic Warfare Associates Inc.
11:20 - 11:45 Michael Webb, Lockheed-Martin
11:45 - 12:10 Jack Callahan, NASA
12:10- 1:30 p.m. Served Lunch
Room 101, NRCCE Building
12:10- 1:30 p.m. IAB Meeting Continue as a Working Lunch
Room 109, NRCCE Building
1:30 - 1:55 NSF Survey - SERC Survey Results
Vida Scarpello, Georgia State University
Room 101, NRCCE Building
1:55 - 4:10 p.m. Invited Researcher Presentation
Room 101, NRCCE Building
1:55 - 2:15 Sallie Henry, Virginia Tech:
Validation of a MetricsProgram
2:15 - 2:35 James Harner, West Virginia University:
Measuring and Assessing Costs of Software Evolution
2:35 - 2:50 BREAK
2:50 - 3:10 Hany Ammar, West Virginia University:
A Pattern Language of Statecharts with Application in Medical Informatics
3:10 - 3:30 David Rine and Nader Nada, George Mason University:
A Product-line Approach To Developing Light-Weight and Heavy-Weight Distributed Systems
3:30 - 3:50 Sunil Prabhakar, Purdue University:
I/O Issues in Multimedia Databases
3:50 - 4:10 Steve Easterbrook, West Virginia University:
Practical Formal Verification of Software Specifications: What have we learned?
4:10 p.m. Closing Remarks and General Meeting Adjourn
4:20 - 4:50 p.m. Potential Company Reps and SERC Admin Meeting
Room 109, NRCCE Building
Comments, questions to jayne@cs.uoregon.edu
Revised: November 20, 1998.