| SAVCBS 2004 Program Schedule |
|---|
| Hyatt ballroom, Sunday 10/31 |
Hyatt ballroom, Monday 11/1 |
|---|
8:30 -
9:00 |
Continental breakfast (optional) |
8:30 -
9:00 |
Continental breakfast (optional) |
|---|
9:00 -
9:20 |
Opening remarks and introductions |
9:00 -
10:15 |
Session 4
Formalizing
Lightweight Component Composition Verification
McCamant & Ernst
Verification
of Evolving Software
Chaki, Sharygina, & Sinha
|
|---|
9:23 -
10:00 |
Session 1
Verification
of Multithreaded Object-oriented Programs with Invariants
Jacobs, Leino, & Schulte
|
|---|
10:00-
10:30 |
Break |
10:15-
10:45 |
Break |
|---|
10:30 -
12:30 |
Session 2
Encapsulating
Concurrency as an Approach to Unification
Kumar, Weide, Sivilotti, Sridhar, Hallstrom, & Pike
Basic
Laws of Object Modeling
Gheyi, Massoni, & Borba
Selective
Open Recursion: Modular Reasoning about Components and
Inheritance
Aldrich & Donnelly
|
10:45 -
12:15 |
Session 5
Compositional
Quality of Service Semantics
Staehli & Eliassen
An
Analysis Framework for Security in Web Applications
Wassermann & Su
|
|---|
12:30 -
2:00 |
Lunch |
12:15 -
1:45 |
Lunch |
|---|
2:00 -
3:15 |
Poster Session
UML Automatic Verification Tool (TABU)
Beato, Barrio-Solórzano, & Cuesta
Integration of Legacy Systems in Software Architecture
Chowhury & Iqbal
Toward Specification and Composition of BoxScript
Components
Cunningham, Liu, & Tadepalli
Hierarchical
Presynthesized Components for Automatic Addition of
Fault-Tolerance: A Case Study
Ebnenasir & Kulkarni
Using Wrappers to add
Run-Time Verification Capability to Java Beans
Glina & Edwards
Integrating Specification
and Documentation in an Object-Oriented Language
Liang & Sekerinski
Designing a Programming Language
to Provide Automated Self-Testing for Formally Specified Software
Components
Tan & Edwards
Open Incremental Model Checking
Thang & Katayama
Toward Structural and Behavioral
Analysis For Component Models
Tran, Bedu, Duchien, Nguyen & Perrin
|
1:45 -
3:30 |
Session 6
Synthesis
of "Correct" Adaptors for Protocol Enhancement in Component-based
Systems
Autili, Inverardi, Tivoli, & Garlan
Monitoring
Design Pattern Contracts
Hallstrom, Soundarajan, & Tyler
DEET
for Component-Based Software
Sitaraman, Gandi, Küchlin, Sinz, & Weide
|
|---|
3:15 -
3:45 |
Break |
3:30 -
4:00 |
Break |
|---|
3:45 -
5:00 |
Session 3
CTL
Model-checking for Systems with Unspecified Finite-State
Components
Xie & Dang
Automatic
Extraction of Sliced Object State Machines for Component
Interfaces
Xie & Notkin
|
4:00 -
5:00 |
Demonstrations 2
Petshop: A Tool for the Behavioral
Specification of Distributed Component-Based Systems
Bastide
Spec#: A .NET Language for Software Contracts
Barnett
|
|---|
5:00 -
5:30 |
Demonstrations 1
The RESOLVE Compiler
Kulczycki
|
5:00 -
5:30 |
Discussion
Identify collaborative topics,
areas needing exploration
Closing remarks, evaluations
|
|---|
