Preface to the Special Issue of the Journal
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Visualization Facilities in Program Reengineering
Support Facilities for Development of Parallel Computational Algorithms
Automated Test Generation and Static Analysis
Subdefinite Models and Logic Programming : Implementation of Constraints
Evaluating Elementary Functions with Guaranteed Precision