Title :
Specifying and Verifying Collaborative Behavior in Component-Based Systems
Author :
James D. Arthur استاد مشاور , Stephen Edwards استاد راهنما , Binoy Ravindran استاد مشاور , J.A.N. Lee استاد مشاور
University :
Virginia Polytechnic Institute and state University
Major :
PhD )Computer Science(
Keyword :
Validation , reuse , Verification , collaborative behavior , component-based
