소프트웨어 생산성이 사용자들의 서비스에 대한 요구를 만족시키지 못했고, 서비스에 대한 요구를 만족시키지 못했고, 소프트웨어 품질이 향상되지 않았으며, 소프트웨어의 개발과 유지보수 비용의 증가로 인해 소프트웨어 위기 문제가 발생하게 되었다. 이러한 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트웨어 혹은 컴포넌트기반 소프트웨어공학(Component Based Software Engineering, CBSE)이 등장하였다. CBSE를 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다[1][2][3]. 특히, 재사용 가능한 컴포넌트를 생성하는 컴포넌트 기반 소프트웨어 개발 프로세스에서는 품질이 매우 중요하다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용하고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 생명주기 프로세스 표준 ISO/IEC 12207를 따르며 품질이 보증되는 컴포넌트 개발을 위해서 프로세스 품질 표준 ISO/IEC 15504를 적용한 컴포넌트 명세 활동을 제안한다.