 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Contents
41 other sections not shown Other editions - View all
Common terms and phrasesabstract 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 References from web pagesProceedings of the 10th IEEE International Conference on ... Dr. Abdelwahab Hamou-Lhadj - Publications Shadows - Università degli Studi di Milano-Bicocca - disco - Pubblicazioni ... profile_page Bibliographic information
|
