The Workshop on Software Engineering for Parallel and Distributed Systems (PDSE) was held to bring together researchers working on formal methods, testing, tools, design methodologies, coordination architectures and other issues. The key research topics include: software verification, application of formal methods; performance prediction and evaluation and computer aided software engineering(CASE) support systems. New problems posed by recent technological developments in software (bus-based) architectures and distributed objects were also addressed. The scope ranged from theoretical problems and achievements to new software engineering methodologies, techniques and tools, with particular emphasis on practical application.
|Original language||English (US)|
|Journal||Proceedings - International Conference on Software Engineering|
|State||Published - 1997|
ASJC Scopus subject areas