ISO에서 표준으로 정한 정형적 명세언어 LOTOS의 객체지향 확장에 관한 기초 연구를 소개한다. LOTOS의 객체지향 확장 배경을 살펴보고 예제를 중심으로 하여 객체지향 LOTOS의 기본골격과 핵심...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82308948
1996
Korean
004
학술저널
1449-1452(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
ISO에서 표준으로 정한 정형적 명세언어 LOTOS의 객체지향 확장에 관한 기초 연구를 소개한다. LOTOS의 객체지향 확장 배경을 살펴보고 예제를 중심으로 하여 객체지향 LOTOS의 기본골격과 핵심...
ISO에서 표준으로 정한 정형적 명세언어 LOTOS의 객체지향 확장에 관한 기초 연구를 소개한다. LOTOS의 객체지향 확장 배경을 살펴보고 예제를 중심으로 하여 객체지향 LOTOS의 기본골격과 핵심적인 설계 방향을 제시한다. OOLOTOS는 클래스를 기반으로 하며 객체, 메세지 전달, 상속, 정제 등의 개념을 지원한다. OOLOTOS의 가장 큰 특징은 LOTOS의 비파괴적 확장, 정제 방식의 정형방법 지원, 객체지향 개념하에서 자료와 제어의 통합이다.
목차 (Table of Contents)
순차적으로 업그레이드되는 소프트웨어의 신뢰성 성장 모델
객체지향 소프트웨어 스래드 테스팅을 위한 구성 개체의 종속관계 정보 모델
객체 모형화 기법에서 사건행적과 상태도간에 일관성 점검을 통한 요구 사항 확인