지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1985년도 가을 학술발표논문집 제12권 제2호
- 발행연도
- 1985.10
- 수록면
- 511 - 516 (6page)
이용수
초록· 키워드
오류제보하기
We have designed and implemented a Dynamic Assertion Processor(DAP) as a supporting tool to assure the quality of C program. The assertion concepts can affect all phases of software life cycle.
In this paper, applying the concepts to the execution and analysis of software, we can detect the logical errors and display them such as syntax errors by DAP so that we can validate the software and improve the quality of software.
In this paper, applying the concepts to the execution and analysis of software, we can detect the logical errors and display them such as syntax errors by DAP so that we can validate the software and improve the quality of software.
목차
< abstract >
Ⅰ. 서론
Ⅱ. UAP의 기능
Ⅲ. 동적 Assertion Processor의 설계 및 구현
Ⅳ. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Assertion 기법의 소프트웨어 요구 분석 과정에의 응용 연구
한국정보과학회 학술발표논문집
1987 .04
-
Property/Assertion Based Verification
대한전자공학회 ISOCC
2004 .10
-
A Study on the User-Centered Quality Characteristics for Embedded Software Systems
한국멀티미디어학회 국제학술대회
2008 .07
-
소프트웨어 품질 향상을 위한 테스트 자동화 도구에 관한 동향분석
한국철도학회 학술발표대회논문집
2004 .06
-
Computer Software Reliability - Software Engineering -
(구)정보과학회논문지
1979 .11
-
Software Reliability & Quality
한국신뢰성학회 학술대회논문집
2004 .07
-
Requirements for Software Evaluation for Software Quality Certification
한국전자거래학회 학술대회 발표집
2002 .09
-
Development of an integration method of model-based software with a standard software architecture
한국자동차공학회 추계학술대회 및 전시회
2011 .11
-
An Evolution of Software Reliability in a Large Scale Switching System: using the software
한국통신학회논문지
2004 .04
-
중소규모 SW개발 프로젝트를 위한 시각화 기반의 Tool-Chain 품질관리 방법 제안
멀티미디어학회논문지
2015 .04
-
COMMUNICATION SYSTEMS AND SOFTWARE DESIGN
대한전자공학회 심포지엄 논문집
1985 .01
-
웹 기반 로봇 소프트웨어 공학 도구 설계 및 구현
제어로봇시스템학회 국내학술대회 논문집
2011 .05
-
소프트웨어 공학수준과 소프트웨어 품질비용의 관계분석
정보과학회논문지 : 소프트웨어 및 응용
2011 .10
-
「기업용 Application Software」특집을 내면서
정보과학회지
2007 .08
-
Computer - software의 보호
특협
1979 .01
-
차량 SW 품질 평가방법 연구
한국자동차공학회 추계학술대회 및 전시회
2014 .11
-
DAPS Conference 2015 참관기
콘크리트학회지
2015 .09
-
웹 기반 로봇 소프트웨어 공학 도구 설계 및 구현
제어로봇시스템학회 논문지
2011 .09
-
Developing Software Metrics for Performance Assessment of an In-house Built Software System
한국멀티미디어학회 국제학술대회
2008 .07
-
Level3 DAP 구현을 위한 Editor 설계방향 ( Functional Specification of the Editor for Level3 DAP )
특정연구 결과 발표회 논문집
1989 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017948795