Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

By du Bousquet Lydie   Ledru Yves   Maury Olivier   Oriat Catherine   Lanet Jean-Louis  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 415-435

Springer Publishing Company

Access to resources Recommend Favorite

Ontology intermingling with onticity and vice versa in M.C. Escher's Reptiles (2004)

By Mikkonen Yrjö  

International Journal of General Systems, Vol. 34, Iss. 5, 2005-10 ,pp. : 595-601

Taylor & Francis Ltd

Access to resources Recommend Favorite

Binary to modified trinary number system conversion and vice-versa for optical super computing

By Ghosh Amal  

Natural Computing, Vol. 9, Iss. 4, 2010-12 ,pp. : 917-934

Springer Publishing Company

Access to resources Recommend Favorite

Filling the gap between mobile and service-oriented computing: issues for evolving mobile computing towards wired infrastructures and vice versa

By Oliveira Loreno   Sales Leandro   Loureiro Emerson   Almeida Hyggo   Perkusich Angelo  

International Journal of Web and Grid Services, Vol. 2, Iss. 4, 2006-12 ,pp. : 355-378

Inderscience Publishers

Access to resources Recommend Favorite

Does research output cause economic growth or vice versa? Evidence from 34 OECD countries

By  

JOURNAL OF THE ASSOCIATION FOR INFORMATION SCIENCE AND TECHNOLOGY, Vol. 66, Iss. 8, 2015-08 ,pp. : 1709-1716

John Wiley & Sons Inc

Access to resources Recommend Favorite