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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
91	An Empirical Study of Evaluating Software Development Environment Quality	T.Miyoshi M.Azuma	IEEE computer society	1993

92	Using Transformations in Specification-Based Prototyping	V.Berzins Luqi A.Yehudai	IEEE computer society	1993

93	An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection	D.J.Richardson M.C.Thompson	IEEE computer society	1993

94	From CSP Models to Markov Models	E.V.Sorensen J.Nordahl N.H.Hansen	IEEE computer society	1993

95	Block Access Estimation for Clustered Data Using a Finite LRU Buffer	F.Grandi M.R.Scalas	IEEE computer society	1993

96	Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment	R.Rask P.Laamanen K.Lyytinen	IEEE computer society	1993

97	Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution	G.Graefe D.L.Davison	IEEE computer society	1993

98	A Case History Development of a Foolproofing Interface Documentation System	T.Nakajo I.Azuma M.Tada	IEEE computer society	1993

99	Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing	M.Ahuja T.Carlson A.Gahlot	IEEE computer society	1993

100	Predicate Logic for Software Engineering	D.L.Parnas	IEEE computer society	1993