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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
371.
기사제목
Introducting Object Orientation into Large and Complex Systems  미리보기
기사저자명
H.-H.Deubler M.Koestler
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
372.
기사제목
An Application of Artificial Intelligence to Object-Oriented Performance Design For Real-Time Systems  미리보기
기사저자명
S.Honiden K.Nishimura N.Uchihira
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
373.
기사제목
A Decompositional Approach to the Design of Parallel Programs  미리보기
기사저자명
Y.Liu A.K.Singh R.L.Bagrodia
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
374.
기사제목
Modechart: A Specification Language for Real-Time Systems  미리보기
기사저자명
F.Jahanian A.K.Mok
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
375.
기사제목
Analyzing Partially-Implemented Real-Time Systems  미리보기
기사저자명
G.S.Avrunin J.C.Corbett L.K.Dillon
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
376.
기사제목
Communication Metrics for Software Development  미리보기
기사저자명
A.H.Dutoit B.Bruegge
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
377.
기사제목
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework  미리보기
기사저자명
F.J.Lin H.Liu A.Ghosh
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
378.
기사제목
Learning To'Detect and Avoid Run-Time Feature Interactions in Intelligent Networks  미리보기
기사저자명
S.Tsang E.H.Magill
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
379.
기사제목
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications  미리보기
기사저자명
C.Heitmeyer J.Kirby Jr. B.Labaw
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
380.
기사제목
Rapid Application of Lightweight Formal Methods for Consistency Analysis  미리보기
기사저자명
M.S.Feather
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
맨앞 이전 31 32 33 34 35 36 37 38 39 40 다음 맨뒤
Serial Form