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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
351.
기사제목
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements  미리보기
기사저자명
J.Micallef G.E.Kaiser
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
352.
기사제목
Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method  미리보기
기사저자명
D.-T.Peng K.G.Shin
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
353.
기사제목
Automatic Analysis and Test Derivation for a Restricted Class of LOTOS Expression with Data Parameters  미리보기
기사저자명
T.Higashino G.v.Bochmann
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
354.
기사제목
Efficient Detection and Resolution of Generalized Distributed Deadlocks  미리보기
기사저자명
A.D.Kshemkalyani M.Singhal
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
355.
기사제목
Software Measurement: A Necessary Scientific Basis  미리보기
기사저자명
N.Fenton
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
356.
기사제목
Specifying Transaction-Based Information Systems with Regular Expressions  미리보기
기사저자명
F.Lustman
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
357.
기사제목
Using Term Rewriting to Verify Software  미리보기
기사저자명
S.Antoy J.Gannon
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
358.
기사제목
Software Development Cost Estimation Using Function Points  미리보기
기사저자명
J.E.Matson B.E.Barrett J.M.Mellichamp
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
359.
기사제목
Dependability Modeling and Analysis of Distributed Programs  미리보기
기사저자명
N.Lopez-Benitez
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
360.
기사제목
Automatically Generating Test Data from a Boolean Specification  미리보기
기사저자명
E.Weyuker T.Goradia A.Singh
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
맨앞 이전 31 32 33 34 35 36 37 38 39 40 다음 맨뒤
Serial Form