728x90
반응형
Z명세
1. Z명세 : 수학적 체계를 이용하여 시스템의 상태를 정의하는 모델기반의 정형적 명세언어
2. Z명세의 개발과정 및 표현방법
- 주어진 집합과 자료형식 정의 > 상태변수정의 > 초기상태정의 > 연산정의
- Schema, Schema name, Schema signature(변수이름,타입정의), Schema predicate(요소들간의 관계, 항상 참인 불변조건)
Z명세 구성과 표현사례
728x90
'02.SW' 카테고리의 다른 글
| SW 테스트 - 리스크 테스트 (0) | 2020.06.10 |
|---|---|
| SW 아키텍처 - 디자인 패턴 - Strategy pattern (전략 패턴) (0) | 2020.06.10 |
| 요구공학 - SRS (SW Requirements Specification) (0) | 2020.06.09 |
| 요구공학 (0) | 2020.06.09 |
| 요구공학 - 기능, 비기능 요구사항 (0) | 2020.06.09 |
