본문 바로가기

분류 전체보기

 (178)
소프트웨어공학 (SE) - 용어정리2 26) Formal transformation(정형적 변환)명세서를 S/W로 변환시키는 것으로 요구사항 정의- 공식적인 명세화 - 공식적인 변환 - 통합 및 시스템 테스트 가 되어 공식에 맞춰서 변환하므로 명세서와 일치하는지에 대한 증명과정이 필요한데, 와 같은 변환에 대한 정확성을 증명하는 과정을 통해 변환을 한다. 27) CASEComputer-Aided Software Engineering 의 약자로서 S/W 개발에 필요한 도구들을 일컫는 말. CASE 에는 두가지 종류가 있는데 Upper-CASE (Life cycle의 앞부분, real world의 관점에서 필요한 도구를 말하고, 설계 분석 같은 초기 프로세스 활동을 지원) 와 Lower-CASE (Life cycle의 뒷부분, computer ..
소프트웨어공학 (SE) - 용어정리 1) waterfall 모델소프트웨어 프로세스는 소프트웨어 시스템을 명세화- 설계 - 구현 - 시험 하기 위한 활동들의 집합을 말하는데, waterfall은 소프트웨어 프로세스의 여러 가지 모델중의 하나이다. 개발의 흐름이 마치 폭포수처럼 지속적으로 아랫방향을 향하는 것처럼 보인다는데서 붙여진 이름이다. (아래와 같은 과정으로 개발되는 프로세스)2) extreme 프로그래밍소프트웨어 개발 방법 중하나로서, 비즈니스 상의 요구가 시시각각 변동이 심한 경우에 적합한 개발 방법이다. 애자일 개발 프로세스라 불리는 개발 방법 중의 대표적인 하나로 꼽히며, 약칭으로 ‘XP’로 잘 알려져 있다. 이 방법은 10~12개 정도의 구체적인 실천 방법을 정의하고 있어, 비교적 적은 규모의 인원의 개발 프로젝트에 적용하기가..

티스토리툴바