Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Toward Autoniatirig Analysis Support for Developers of Distributed Software*
 

Summary: Toward Autoniatirig Analysis Support
for Developers of Distributed Software*
Jack C . Wileden
Software Development Laboratory
Computer and Information Science Department
University of Massachusetts, Amherst
George S. Avrunin
Department of Mathematsicsa n d Statistirs
university of ~ ~ ~ ~ ~ ~ h ~ ~ ~ t t ~ ,~ ~ h ~ ~ ~ t
ABSTRACT
Developing large-srale, reliahle software capable of exploit-
ing the potential of diatribut,ed hardware systenis will demand
the support of powerful automated tools, especially analysis
tools. Our constrninzd ezpression approach to analyzing such
software systems seems to have several advant,ages, including
broad applicability and reasonahle effiriency, relat,ive t,o other
proposed approarhes. Results of initial experiments with our
approarh, based on manual application and preliminary proto-
types of some of the needed tools, have been encouraging. They
have also demonstrated the need for us, and all researchers

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics