Special issue of the Journal of Heuristics on “Heuristic Research: Advances and Applications”

By Ríos-Mercado Roger  

Journal of Heuristics, Vol. 15, Iss. 2, 2009-04 ,pp. : 105-107

Springer Publishing Company

Access to resources Recommend Favorite

Synergistic verification and validation of systems and software engineering models

By Jarraya Yosr  

International Journal of General Systems, Vol. 38, Iss. 7, 2009-10 ,pp. : 719-746

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Methodology of Verification and Testing of Large Software Systems

By Lipaev V. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 298-309

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Specification, testing and verification of unconventional computations using generalized X-machines

By Stannett Mike  

International Journal of General Systems, Vol. 43, Iss. 7, 2014-10 ,pp. : 713-721

Taylor & Francis Ltd

Access to resources Recommend Favorite

Special issue on 'Intention and Software Process'

By Fujita H.  

Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. : 339-339

Elsevier

Access to resources Recommend Favorite