3rd IEEE Systems and Software Week
(SASW 2007)

Program

Tuesday, 6 March 2007

8:15   Opening Remarks

8:30   Development Methods, Issues and Patterns

Determining the Applicability of Agile Practices to Mission nd Life-critical Systems
Sidky and J. Arthur

Mapping CMMI Project Management Process Areas to SCRUM Practices
A. Cysneiros Marçal, F. Soares, B. Freitas, A. Belchior

A Framework for Flexible and Executable Usability Patterns Standards
S. Henninger

Automatic Mining of Software Repositories to Understand the Performance of Individual Developers
S. Zhang, J. Tong

10:30   Coffee Break (included)

10:45   Requirements

Aspect-oriented Requirements Modeling
J. Zhang, F. Li, Y. Zhang

BrainStorm: Collaborative Customer Requirements Elicitation for Distributed Software Development
P. Pia, S. Demurjian, S. Vegad, S. Kopparti, K. Polineni

Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
W. Gardner, J. Carter

12:15   Lunch (included)

1:15   Architectural Issues

Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Z. Stephenson, J. McDermid

Research on Aspect Connectors for Software Architecture Adaptation
H. Li, J. Zhang, Y. Zhang

Transformational Approaches to Model Driven Architecture - A review
C. Zhao

An Inconsistency Free Formalization of B/S Architecture
Q. Li

3:15   Coffee Break (included)

3:30   Testing and Estimation

An alternative method employing uses cases for early effort estimation
G. Robiolo, R. Orosco

The EMISQ Method - Expert Based Evaluation of Internal Software Quality
S. Storck, R. Ploesch, H. Gruber, G. Pomberger, S. Schiffer, A. Hentschel, C. Koerner, M. Saft

A Framework of Markov Bayesian Network based Software Testing Strategy
C. Bai

Testing Patterns
N. Soundarajan, J. Hallstrom, A. Delibas, G. Shu

5:30 – 7:30   Reception (included)

Wednesday, 7 March 2007

8:30   Formal Aspects

A Reference Net based Formalization of Concurrent Cognitive Decision Making
J. Duscher, A. El Malki

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability
H. Zhu, J. He, J. Bowen

A Refinement Based Framework for Computing Loop Behavior
A. Mili

Looking into Compensable Transactions
J. Li, H. Zhu, G. Pu, J. He

10:30   Coffee break (included)

10:45   Software Safety, Quality, and Reliability

A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases
J. Hill   

An Optimal Pattern Framework for Tradeoff And Software Quality
M. Esmaeili, F. Shams, E. Dehghani

12:15   Lunch (included)

1:15   Tools

Technology Infusion of the SAVE Tool into the Common Ground Software Development Process for NASA Missions at JHU/APL
M. Lindvall

A formal model for a state machine modeling tool: A lightweight approach
F. Valles

Abstracting Pointers for a Verifying Compiler
G. Kulczycki, M. Sitaraman, H. Keown, B. Weide

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
T. Margaria, B. Steffen

3:15   Coffee Break (included)

3:30   Modeling and Verification Issues

An AOP-based Performance Evaluation Framework for UML models
D. Kim, S. Bohner

An Operational Approach to BPEL-like Programming
H. Zhu, J. He, G. Pu, J. Li

For Verification Light and Large
P. Breuer and S. Pickin

Modeling and Verifying Web Services Choreography using Process Algebra
J. Li, J. He, H. Zhu, G. Pu

5:30 – 7:30    Reception (included)

Thursday, 8 March 2007

9:00   Distributed, Grid and Real-Time Systems

A Generative Approach to Building a Framework for Hard Real-Time Applications
I. Hamid, B. Zalila, E. Najm, J. Hugues

A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment
W. Liao

Towards the Autonomic Business Grid
R. Sterritt

Architecting Network-Centric Software Systems: A Style-Based Beginning
Chigani, J. Arthur, S. Bohner

11:00   Coffee Break (included)

11:15   Report on the NASA Software Working Group

12:00   Lunch (included)

1:00   EASe 2007: Special Session on Autonomous and Autonomic Space Exploration (AA-SeS-3)

Using Formal Ontology Representation and Alignment Strategies to Enhance Resource Integration in Multi Vendor Autonomic Environment
K. Breitman, M. Perazolo

Towards Autonomous Space Vehicles: Model Driven Design of Reliable Robot Control Programs Using the jABC
S. Jorges, C. Kubczak, F. Pageau, T.  Margaria

3:00   Coffee Break (included)

3:15   AA-SES-3 (continued) and Autonomous Systems

Asteroid Exploration with Autonomic Systems, a Biologically-inspired approach based on the Immunological System
Florez-Choque, M. Hinchey

Overcoming Robotic Failures through Autonomicity
C. Rouff, J. Rash, W. Truszkowski

ASSL - Autonomic System Specification Language
E. Vassev, J. Paquet

4:45   Closing Remarks