31. COMPSAC 2007: Beijing, China - Volume 1

Panels

Security Track

Security in Communication

Modeling Security

Vulnerabilities - Detecting and Assessment

Infrastructure, Networking and Security

Requirements

Design and Modeling

Putting Models to Run

Event-Based and State-Based Modeling

Ontology for Requirements Elicitation

Analysis & Modeling

Life Cycle

Internet and Web-Based Systems

Component-Based Software and Architecture

Embedded systems

Process and Maintenance

Quality of Service

Quality of Service and Performance

Quality of Service and Service Composition

Modeling and Validation for Quality of Service

Quality

Validation and Assessment

Quantification

Coverage and Prioritization for Testing

Specification and Verification

Analysis and Testing

Quality, Diversity and Services

Industrial Track

Process Models

Data, Repositories, Design Methods

Networking and Distribution

Fast Abstract

Software Engineering Methods and Tools

Software Applications

Doctoral Symposium