Inspec keywords: software maintenance; program testing; formal specification

Other keywords: acceptance testing information; CBS development life cycle; maintenance process; component-based system maintenance; individual component specification; software application; integrated test framework; functional specification; CBS development

Subjects: Diagnostic, testing, debugging and evaluating systems; Formal methods; Software engineering techniques