대구한의대학교 향산도서관

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총 659건 중 500건 출력
21/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
201.
기사제목
Comparing Verification Systems: Interactive Consistency in ACL2  미리보기
기사저자명
W.D.Young
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
202.
기사제목
Using a Protean Language to Enhance Expressiveness in Specification  미리보기
기사저자명
B.Bloom A.Cheng A.Dsouza
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
203.
기사제목
The Model Checker SPIN  미리보기
기사저자명
G.J.Holzmann
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
204.
기사제목
EVA: A Flexible Programming Method for Evolving Systems  미리보기
기사저자명
S.Matsuura H.Kuruma S.Honiden
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
205.
기사제목
Measuring Software Dependability by Robustness Benchmarking  미리보기
기사저자명
A.Mukherjee D.P.Siewiorek
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
206.
기사제목
Evaluating Alternative Software Production Functions  미리보기
기사저자명
Q.Hu
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
207.
기사제목
The AETG System: An Approach to Testing Based on Combinatorial Design  미리보기
기사저자명
D.M.Cohen S.R.Dalal M.L.Fredman
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
208.
기사제목
Storing and Retrieving Software Components: A Refinement Based System  미리보기
기사저자명
R.Mili A.Mili R.T.Mittermeir
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
209.
기사제목
Semantics Guided Regression Test Cost Reduction  미리보기
기사저자명
D.Binkley
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
210.
기사제목
On Parallelization of Static Scheduling Algorithms  미리보기
기사저자명
M.-Y.Wu W.Shu
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
맨앞 이전 21 22 23 24 25 26 27 28 29 30 다음 맨뒤
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.