publication venue for Specification of Software Component Requirements Using the Trace Function Method 2006