Proceedings, Page 2284IEEE Computer Society Press, 2005 - Computer engineering |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Tutorials | 2 |
An Introduction to Three Perspectives on Formal Specification Review | 8 |
Design of a Tool for SpecificationBased Program Review | 10 |
Copyright | |
41 other sections not shown
Other editions - View all
Common terms and phrases
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