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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
83건 중 83건 출력
1/9 페이지 엑셀파일 출력
제한항목
1995 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
기사제목
The Location-Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems  미리보기
기사저자명
P.Triantafillou D.J.Taylor
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
2.
기사제목
A Practical Approach to Programming With Assertions  미리보기
기사저자명
D.S.Rosenblum
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
3.
기사제목
Specification and Validation of a Security Policy Model  미리보기
기사저자명
A.Boswell
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
4.
기사제목
Model Checking in Practice: The T9000 Virtual Channel Processor  미리보기
기사저자명
G.Barrett
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
5.
기사제목
State Transition Analysis: A Rule-Based Intrusion Detection Approach  미리보기
기사저자명
K.Ilgun R.A.Kemmerer P.A.Porras
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
6.
기사제목
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 저널기사
7.
기사제목
Architectural Tradeoffs for a Meaning-Program Restructuring Tool  미리보기
기사저자명
W.G.Griswold D.Notkin
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
8.
기사제목
A Domain-Specific Software Architecture for Adaptive Intelligent Systems  미리보기
기사저자명
B.Hayes-Roth K.Pfleger P.Lalanda
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
9.
기사제목
Computing Real-Time Programs With Timing Constraint Refinement and Structural Code Motion  미리보기
기사저자명
R.Gerber S.Hong
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
10.
기사제목
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 
Serial Form