TY - JOUR
T1 - Workshop on Software Engineering for Parallel and Distributed Systems
AU - Agha, Gul A
AU - Russo, Stefano
PY - 1997
Y1 - 1997
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0030719197&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0030719197&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0030719197
SN - 0270-5257
JO - Proceedings - International Conference on Software Engineering
JF - Proceedings - International Conference on Software Engineering
ER -