Model-based 규격
Model-based specification | 이 글은 검증을 위해 추가 인용문이 필요합니다.제발 도와 주세요 믿을 만한 소식통에 인용을 추가함으로써 이 기사가 개선된다.·신문 학자·JSTOR(2009년 9월)( 어떻게 그리고 언제 이 템플릿 제거할 메시지를 배우다.)·책 · 출처:"Model-based 규격"– 뉴스를 찾아라. |
시스템이 규격 시스템 상태 모델로 표시한다 공식적인 규격에Model-based 규격의 접근 방법이다.이 주 모델 세트와 기능 등어야 수학적 실체를 사용하여 구성된다.시스템 작전 어떻게 시스템 모델의 상태에 영향을 미치는 정의에 의해 지정됩니다.
model-based 규격 개발을 위한 가장 광범위하게 사용되는 기록이 있VDM[1][2]과 Z[3][4](발음 제드가 아니라 Zee).이 기호를 입력된 집합 이론에 기초한다.시스템은 그래서 본 받아 사용하여 세트와 세트 사이의 관계.
공식적인 규격에 또 다른 유명한 접근은 대수적 사양입니다.
「 」를 참조해 주세요.
레퍼런스
- ^ Cliff B. Jones (1980). Software Development: A Rigorous Approach. Prentice Hall International. ISBN 0-13-821884-6.
- ^ Cliff B. Jones (1986). Systematic Software Development using VDM. Prentice Hall International. ISBN 0-13-880717-5.
- ^ Ian J. Hayes (May 1986). "Using mathematics to specify software" (PDF). Proceedings of the 1st Australian Software Engineering Conference. ASWEC-86. pp. 67–71.
- ^ J. Michael Spivey (1992). The Z Notation: A reference manual (2nd ed.). Prentice Hall International Series in Computer Science. ISBN 0-13-978529-9. Archived from the original on 2008-10-09. Retrieved 2010-10-24.
