Toward automating analysis support for developers of distributed software
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 350-357
- https://doi.org/10.1109/dcs.1988.12536
Abstract
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.Keywords
This publication has 17 references indexed in Scilit:
- Constrained expressions: toward broad applicability of analysis methods for distributed software systemsACM Transactions on Programming Languages and Systems, 1988
- Constrained expressions: Adding analysis capabilities to design methods for concurrent software systemsIEEE Transactions on Software Engineering, 1986
- Describing and analyzing distributed software system designsACM Transactions on Programming Languages and Systems, 1985
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- An Operational Approach to Requirements Specification for Embedded SystemsIEEE Transactions on Software Engineering, 1982
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Synchronization of communicating processesCommunications of the ACM, 1972
- Parallel program schemataJournal of Computer and System Sciences, 1969