19th COMPSAC 1995: Dallas, Texas, USA

Refine list

showing all ?? records

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


a service of  Schloss Dagstuhl - Leibniz Center for Informatics