Formalization of test experiments

Author： Bourdonov I.   Kossatchev A.   Kuliamin V.  

Publisher： MAIK Nauka/Interperiodica

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.33, Iss.5, 2007-09, pp. : 239-260

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Gesture Formalization for Multitouch

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 4, 2015-04 ,pp. : 527-548

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formalization of UML Composition in OCL

By  

International Journal of Software Innovation (IJSI), Vol. 1, Iss. 1, 2013-01 ,pp. : 26-40

IGI Global_journal

Access to resources Recommend Favorite

Engineering a multi-purpose test collection for Web retrieval experiments

By Bailey P.   Craswell N.   Hawking D.  

Information Processing and Management, Vol. 39, Iss. 6, 2003-11 ,pp. : 853-871

Elsevier

Access to resources Recommend Favorite

Formalization of Fixed-Point Arithmetic in HOL

By Akbarpour Behzad   Tahar Sofiène   Dekdouk Abdelkader  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 173-200

Springer Publishing Company

Access to resources Recommend Favorite

A mathematical formalization of the principle of ethical endogeneity

By Choudhury Masudul Alam  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 24, Iss. 5, 1995-05 ,pp. : 11-30

Emerald Group Publishing Ltd

Access to resources Recommend Favorite