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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
401	Coordinating Multiagent Applications on the WWW: A Reference Architecture	P.Ciancarini R.Tolksdorf F.Vitali	IEEE computer society	1998

402	A Framework-Based Approach to the Development of Network-Aware Applications	J.Bolliger T.Gross	IEEE computer society	1998

403	Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs	R.H.Carver K.-C.Tai	IEEE computer society	1998

404	An Evaluation of the MOOD Set of Object-Oriented Software Metrics	R.Harrison S.J.Counsell R.V.Nithi	IEEE computer society	1998

405	Communication and Organization: An Empirical Study of Discussion in Inspection Meetings	C.B.Seaman V.R.Basili	IEEE computer society	1998

406	From Safety Analysis to Software Requirements	K.M.Hansen A.P.Ravn V.Stavridou	IEEE computer society	1998

407	Specifying a Safety-Critical Control System in Z	J.Jacky	IEEE computer society	1995

408	Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS	S.Owre J.Rushby N.Shankar	IEEE computer society	1995

409	Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse	D.D.Cowan C.J.P.Lucena	IEEE computer society	1995

410	Integrating Multiple Paradigms within the Blackboard Framework	S.Vranes M.Stanojevic	IEEE computer society	1995