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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
381.
기사제목
Integration of Sequential Scenarios  미리보기
기사저자명
J.Desharnais M.Frappier R.Khedri
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
382.
기사제목
Subtypes for Specifications: Predicate Subtyping in PVS  미리보기
기사저자명
J.Rushby S.Owre N.Shankar
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
383.
기사제목
Inferring Declarative Requirements Specifications from Operational Scenarios  미리보기
기사저자명
A.van Lamsweerde;L.Willemet
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
384.
기사제목
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering  미리보기
기사저자명
W.J.Lee S.D.Cha Y.R.Kwon
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
385.
기사제목
Implementing Atomic Actions in Ada 95  미리보기
기사저자명
A.Wellings A.Burns
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
386.
기사제목
Explicit Communication Revisited: Two New Attacks on Authenticaiton Protocols  미리보기
기사저자명
M.Abadi
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
387.
기사제목
Comments on 'Toward a Framework for Software Measurement Validation'  미리보기
기사저자명
S.Morasca L.C.Briand V.R.Basili E.J.Weyuker
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
388.
기사제목
Quantitative Model of the Security Intrusion Process Based on Attacker Behavior  미리보기
기사저자명
E.Jonsson T.Olovsson
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
389.
기사제목
Extracting Reusable Functions by Flow Graph-Based Program Slicing  미리보기
기사저자명
G.Lanubile G.Visaggio
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
390.
기사제목
Dynamic Verification of C++ Generic Algorithms  미리보기
기사저자명
C.Wang D.R.Musser
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
맨앞 이전 31 32 33 34 35 36 37 38 39 40 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.