A simple process for specifying

component-based software