© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 정형 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조

Slides:



Advertisements
Similar presentations
비즈쿨 - 정 성 욱 - - 금오공고 비즈쿨 - 정 성 욱 1. 나는 각 단원들의 활동들에 성실하게 참여 하겠습니다. 우리의 다짐 2. 나는 나와 전체의 발전을 위해 각 멘토들의 지도에 순종하겠습니다. 3. 나는 각 단원들을 숙지함으로써 비즈니스 마인드를 함양하고 자신의.
Advertisements

노인복지론 담당교수 : 최 병태 교수님 학과 : 보건복지경영학과 학번 : 이름 : 김 태인 날짜 :
김 혁 Profile 김 혁 Profile ‘ 하면 될 수 밖에 없다 ’ 는 믿음으로 꿈을 현실로 만들어 드리겠습니다. 상업시설 : 특수물건, 근생, 단지내, 쇼핑몰, 로드아울렛, 공구상가, 회타운 등 주거시설 : 아파트,
㈜ 금산산업 회사 소개서. 회사 소개 회사 개요 회사 연혁 공장약도 제품 소개 원료 관리 필렛 작업 염 ( 소금 ) 침지 공정 급속동결 및 진공 포장 거래처 LIST 거래처별 매출 실적 공장사진 목 차.
0-1 정인상 2009 소프트웨어 공학 강의노트 소프트웨어공학 정 인 상 한성대학교. 0-2 정인상 2009 소프트웨어 공학 강의노트 교과목 개요 소프트웨어에 대한 요구와 관심이 점점 높아가고 있는 추세와 함께 소 프트웨어를 개발하는 방법론에 관한 연구도 점점 증가 적은.
© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 9 Slide 1 중대한 시스템 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조
© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조
CHAPTER 8 전통주의에 대한 도전을 시도하다. ” 조직적 마비 ” F.C MBA 송시문 경영컨설팅실무.
노령화/저성장/위험사회의 청년 -지속가능한 삶을 위한 조건과 연대 2015년 12월 3일 대구사회 혁신 아카데미 조한 혜정.
2014년도 주요법령 개정사항 (월) ~ (금) 대한전문건설협회 강원도회.
불사조의 요구사항 명세서 KUSITMS 4Th 불사조 발표자 김은선 조장 김현국 팀원 김석근,이솔, 백향기, 안아롱,
청담 LIA 주4회 (월화수금)반 5,6월 학사일정 변동 안내
자기소개 김지수 blog.naver.com/1merry1.
미국경제의 신용위기가 한국경제에 미치는 영향
리더십 역량 개발 계획서 핵심인재 양성 코스를 마치신 여러분, 수고하셨습니다.
가족상담 및 치료.
추석특집: 특별프로 대한민국 NO.1 약사를 찾아서 약사와 함께하는 인터뷰 추석 뉴스.
초·중등학교 정보공시 : 학교정보공시 지침 소개 (지침서 67P).
2017 북부문화사업단 공모지원사업 교부·정산 설명회.
기기분석 Chapter 10. Seung Woong Lee Ph.D.
KAI 장학생 모집 요강 선발개요 선발일정 지원내역 문 의 처
국제 고객, 파트너 및 규제기관과 협상하기 제19장 International Marketing 15th edition
Chapter 2 통합 홈택스 부가세 전자신고 방법.
프리젠테이션 활용 및 데이터활용 Chapter 6 인쇄 미리 보기와 인쇄 김 정 석
비교우위의 법칙 Dominick Salvatore John Wiley & Sons, Inc.
SmartAnalyzerLE (Lite Edition) 메뉴얼
Software Engineering 프로젝트 과제물
CHAPTER 3. 벡터(Vector) 3-1 벡터와 스칼라 (Vector and Scalars)
Chapter 8 운동량과 충격량, 충돌.
Chapter 05 보육과정 운영.
Journal Citation Report
칼빈의 생애와 개혁자로의 변모 사학과 김종식.
국제의료관광 관련 법, 제도.
디지털 신호처리
조세의 형평성 함의: 조세의 귀착 Chapter 19
플래시MX2004 디자인스쿨 Chapter 10. 외부파일 불러오기.
Jong Hyun Baek, Dongseo Univ.,
연습문제 숙제1(2~6장): 중간고사때 제출 9th edition: 2장: 23, 45, 47, 65, 97.
CHAPTER 06 청소년의 행동문화 : 폭력(따돌림), 위험행동, 참여.
자바 5.0 프로그래밍.
남아메리카 선교 김수정, 이하정 전희진, 장성경.
비관세장벽과 신보호무역주의 Dominick Salvatore John Wiley & Sons, Inc.
시공 계획 및 계약 관리.
고객성향분석 및 대응 겸임교수 : 서 형 택 ( ).
Chapter 11. 건강가정을 위한 과제와 전망 1. 건강가정을 위한 과제 2. 건강가정의 전망과 미래를 위한 제언.
목 차 제1절 VE 개념 제2절 VE 탄생 제3절 VE 역사 제4절 VE 필요성 제5절 VE 정의 제6절 VE 대상
Chapter 3 역사와 지형: 문화의 기반 International Marketing 15th edition
Chapter 4 글로벌 시장 평가에서의 문화적 역동성 International Marketing 15th edition
Chapter 5 문화, 경영 스타일, 그리고 비즈니스 시스템 International Marketing
13장 소비자를 위한 제품과 서비스 International Marketing 15th edition
CHAPTER 9-1 한국의 사회복지정책 - 사회보험제도 -
국가 내 불평등 현상과 해결방안 본 연구물은 학교 수업을 위해 개발된 것으로 교육 이외의 목적으로 사용될 수 없습니다.
PARK YOUNG PUBLISHING COMPANY
Part 02. 파워포인트 실무와 활용.
제2장 관세법 일반 제1절 통칙 제2절 법 해석의 원칙 등 제3절 기한과 기간 제4절 서류의 송달 등
한양인 주차정기권 신청 안내 2018년 2학기 관리처 관재팀.
Ⅲ. 남부 지방의 생활 제 4장 관광산업이 발달한 제주도 주제1. 화산 활동으로 이루어진 섬, 따뜻한 기후.
[297탄] 반드시 길러야 할 4가지 공부 습관 자습 습관 복습 습관 동기부여 습관 셀프 테스트 습관
전류는 자계에서 힘을 받는다 기계공학교육 박지훈 황인석 한만혁 이덕균.
청렴교육 강사양성 표준강의 6 기타 반부패 청렴정책.
15 향 소 제 소사고 제15회 일시|` (목) 9:00~17:00 장소|소사고등학교 교정 th
행복한 동행-행복한 인생, 건강한 웃음,유쾌한 강의
房思琪的初恋乐园 ‘팡쓰치’로 보는 문학의 힘 정은비.
박 현 미 울산여자상업고등학교 창업포스터 만들며 포토샵과 친해지기 박 현 미 울산여자상업고등학교.
연습문제 숙제2(7~10장): 기말고사때 제출 9th edition:
Java의 정석 제 7 장 객체지향개념 II-3 Java 정석 남궁성 강의
확 인 서 본인은 LG전자㈜ 한국서비스 협력사 공모 지원에 있어 아래의 내용을 확인합니다.
Chapter 1 인간행동의 이해와 사회복지실천
경찰학 세미나 제 5 강 경찰관직무집행법 2조 5호의 의미 신라대학교 법경찰학부 김순석.
Chapter 19 열역학 제 1 법칙 (에너지보존법칙).
Presentation transcript:

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 정형 명세 배재대학교 멀티미디어 정보공학 연구실 발표자 : 이 상 조

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 2 Objectives l 왜 정형 명세 기술이 시스템 요구사항에서의 문제를 발견하는데 도움을 주는지 이해

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 3 정형 기법 l 정형 기법이라는 말은 정형 시스템 명세, 명세 분석과 증명, 변환 개발과 프로그램 증명을 포함하는 소프트웨어의 수학적 표현에 의존하는 어떠한 활동을 나타내기 위해 사용 l 정형 기법의 사용은 안전성, 신뢰성, 보안성이 매우 중요한 시스템 개발 분야에서 점점 늘어나고 있음

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 4 소프트웨어 프로세스에서의 정형 명세 l 시스템 요구 사항이 명세화 된 후에 소프트웨어의 정형 명세화가 개발됨 l 정형 명세의 중요한 장점 중의 하나는 시스템 요구사항에 있는 모호성을 밝혀낼 수 있는 능력을 가짐

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 5 명세화와 설계

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 6 Cost profile l 정형 명세를 개발하고 분석하는 것은 소프트웨어 개발 비용에 부담을 줌 명세화에 대한 비용과 검증에 대한 비용이 증가 설계와 구현에 관한 비용 절감 정형 명세의 개발이 요구사항 문제를 밝혀내기 때문에 시스템이 설계된 후에 이러한 문제를 수정하기 위한 재작업을 피할 수 있음

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 7 정형 명세와 소프트웨어 개발 비용

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 8 명세 방법 l 대수적 방법 시스템이 연산과 연산의 관계에 의해 표현 l 모델 기반 방법 시스템의 모델이 집합과 수열과 같은 수학적 표현을 이용하여 만들어지며 시스템 운영은 그것이 어떻게 시스템의 상태를 수정하는 지에 의해서 정의

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 9 정형 명세 언어

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 10 서브시스템 인터페이스 명세 l 대형 시스템은 독립적으로 개발될 수 있는 서브시스템으로 분해 됨 l 서브시스템은 다른 서브시스템을 사용하기 때문에 명세 프로세스의 기본적인 부분은 서브시스템 인터페이스를 정의하는 것 l 인터페이스 명세는 어떠한 서비스가 다른 서브시스템에서 이용할 수 있는 지와 어떻게 그것에 접근할 수 있는 지에 관한 정보를 서브시스템 개발자에게 제공함

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 11 서브시스템 인터페이스

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 12 Specification components l 서론 명세화될 개체의 종류 (Sort, 타입이름 ) 를 선언 다른 종류를 정의한 명세의 이름이 선언되는 ‘ 입력 (import)’ 선언을 포함함 l 서술 비정형적으로 연산을 기술 정형 명세를 이해하기 쉽게 해줌 l 시그니처 추상적 데이터 타입 혹은 객체 클래스에 대한 인터페이스 구문을 정의 l 공리 추상적 데이터 타입의 행위를 특징 짓는 공리의 집합을 정의하여 연산의 의미를 정의

© Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 13 List specification