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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
41	Programming and Verifying Real-Time Systems by Means of the Synchronous Dataflow Language LUSTRE	N.Halbwachs F.Lagnier C.Ratel	IEEE computer society	1992

42	Compiling Real-Time Specifications into Extended Automata	X.Nicollin J.Sifakis S.Yovine	IEEE computer society	1992

43	Representing Software Engineering Models: The TAME Goal Oriented Approach	M.Oivo V.R.Basili	IEEE computer society	1992

44	Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality	B.Ciciani D.M.Dias P.S.Yu	IEEE computer society	1992

45	Seesoft-A Tool for Visualizing Line-Oriented Software Statistics	S.G.Eick J.L.Steffen E.E.Sumner Jr.	IEEE computer society	1992

46	A Specificational Approach to High-Level Program Monitoring and Measuring	Y.Liao D.Cohen	IEEE computer society	1992

47	A Logic-Based Approach to Reverse Engineering Tools Production	G.Canfora A.Cimitile U.de Carlini	IEEE computer society	1992

48	Program Concept Recognition and Transformation	W.Kozaczynski J.Ning A.Engberts	IEEE computer society	1992

49	Analysis of the Periodic Update Write Policy For Disk Cache	S.D.Carson S.Setia	IEEE computer society	1992

50	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets	M.Granda J.M.Drake J.A.Gregorio	IEEE computer society	1992