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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
41.
기사제목
The Location-Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems  미리보기
기사저자명
P.Triantafillou D.J.Taylor
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
42.
기사제목
A Practical Approach to Programming With Assertions  미리보기
기사저자명
D.S.Rosenblum
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
43.
기사제목
Specification and Validation of a Security Policy Model  미리보기
기사저자명
A.Boswell
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
44.
기사제목
Model Checking in Practice: The T9000 Virtual Channel Processor  미리보기
기사저자명
G.Barrett
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
45.
기사제목
State Transition Analysis: A Rule-Based Intrusion Detection Approach  미리보기
기사저자명
K.Ilgun R.A.Kemmerer P.A.Porras
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
46.
기사제목
The Effects of Layering and Encapsulation on Software Development Cost and Quality  미리보기
기사저자명
S.H.Zweben S.H.Edwards B.W.Weide
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
47.
기사제목
Architectural Tradeoffs for a Meaning-Program Restructuring Tool  미리보기
기사저자명
W.G.Griswold D.Notkin
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
48.
기사제목
A Domain-Specific Software Architecture for Adaptive Intelligent Systems  미리보기
기사저자명
B.Hayes-Roth K.Pfleger P.Lalanda
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
49.
기사제목
Computing Real-Time Programs With Timing Constraint Refinement and Structural Code Motion  미리보기
기사저자명
R.Gerber S.Hong
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
50.
기사제목
Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software  미리보기
기사저자명
J.Tian P.Lu J.Palma
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 10 다음 맨뒤
Serial Form