설명
객체지향 시스템에서 품질 및 가변성 모델링 및 검증의 쟁점. 모델 기반 및 테스트 주도 접근에서의 테스트 가능한 모델. 시스템 계열 공학(System family engineering). 기능적 적합성: 시나리오 모델링 및 검증, 계약에 의한 설계(design by contract). 비기능적 요구사항에 대한 적합성: 목표, 힘(factors)과 절충, 측정지표.
원문 참조 텍스트
Issues in modeling and verifying quality and variability in object-oriented systems. Testable models in model-driven and test-driven approaches. System family engineering. Functional conformance: scenario modeling and verification, design by contract. Conformance to non functional requirements: goals, forces and tradeoffs, metrics.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/grad/courses/COMP/