Proceedings, Page 2284IEEE Computer Society Press, 2005 - Computer engineering |
Contents
Tutorials | 2 |
An Introduction to Three Perspectives on Formal Specification Review | 8 |
A Formal Specification Constructing Tool for SOFL 12 | 12 |
Copyright | |
53 other sections not shown
Other editions - View all
Common terms and phrases
abstract algorithm analysis AODV application approach auditing behavior brakeset Büchi Büchi automata CDFD complex components Computer Science concurrent configuration connector constraints constructed credit-control database defined definition denote Dependence Graph diagram distributed environment evaluation example execution fault fault-tolerant Figure formal framework function Hypercube IEEE implementation interaction interface Java JavaScript KWIC language layer Lemma LiveConnect metamodel method metrics middleware mobile agent module monad transformer node object object-oriented Object-Z operation P₁ paper parallel parameter performance permission Petersen Graph Petersen Sphere pointcut predicate priority processor program slicing properties protocol request requirements role RPSCH(n script Section semantics sequence sequence diagram server setup planning SOFL software architecture software development Software Engineering specification SpiderMonkey subsystem task techniques theorem tion tool transition trust variables verification Web services Xome XPCOM XPConnect