19. COMPSAC 1995: Dallas, Texas, USA

Advances in Formal Methods I

Modeling Techniques

Software Technology in the 21st Centurey

Software Support Leverage for Formal Methods

Database Applications

Performance Evaluation and Optimization

Thursday Plenary Session: Keynote Address II

Software Development Tools

Object-Oriented Approach for Distributed Systems

Metrics and Software Quality

Prototyping and Testing

Distributed Algorithms and Environments

Reengineering, Reverse Engineering, Reuse, and Customization

Distributed Multi-Media Systems: Tools and Techniques

Software Process Improvements

Multi-Media Storage Management and Applications

Multi-Paradigm Programming

Software Development for Parallel and Distributed Systems

Panel: Software Fault Tolerance

Software Security and Safety


maintained by Schloss Dagstuhl LZI at University of Trier