Proceedings, Page 2284

abstract actions algorithm analysis AODV application approach behavior brakeset called CDFD class diagram complex component-based system components configuration connector constraints construct credit-control defined definition denote Dependence Graph described distributed dynamic encrypted environment evaluation example execution fault fault-tolerant feature model Figure formal framework function identified IEEE implementation interaction interface Java JavaScript language layer Lemma LiveConnect mechanisms metamodel method metrics middleware mobile agent module monad transformer node object object-oriented Object-Z operation paper parameter performance permission Petersen Graph pointcut processor program slicing properties protocol refinement request requirements role script Section semantics sequence sequence diagram server setup planning simulation SOFL software architecture software development Software Engineering software system specification structure task techniques temporal logic testing theorem tion tool transition trust variables verification vertex Web services Xome XPCOM XPConnect