Toward automating analysis support for developers of distributed software

A constrained expression approach to analyzing large-scale software is presented. Its advantages include broad applicability and reasonable efficiency relative to other proposed approaches. An overview is given of the current status of work on tools supporting analysis of distributed software system...

Full description

Saved in:
Bibliographic Details
Published in[1988] Proceedings. The 8th International Conference on Distributed pp. 350 - 357
Main Authors Wileden, J.C., Avrunin, G.S.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1988
Subjects
Hardware
Information science
Laboratories
Lifting equipment
Programming
Prototypes
Robustness
Software prototyping
Software systems
Software tools
Online AccessGet full text

Cover

More Information
Summary:A constrained expression approach to analyzing large-scale software is presented. Its advantages include broad applicability and reasonable efficiency relative to other proposed approaches. An overview is given of the current status of work on tools supporting analysis of distributed software systems. The constrained expression approach is outlined, and it is shown how it can be used to analyze distributed software. This is illustrated by a description of a recent experiment. An improved prototype toolset currently being built is described. Plans for enhanced tools and further experimentation are summarized.< >
ISBN:081860865X
9780818608650
DOI:10.1109/DCS.1988.12536