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

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

Introduction to special issue on Optical SuperComputing

By Dolev Shlomi  

Natural Computing, Vol. 9, Iss. 4, 2010-12 ,pp. : 889-890

Springer Publishing Company

Access to resources Recommend Favorite

Smooth movement/Frenetic motion/flicker - Vice Versa Et Cetera

By Payne Simon  

Animation Practice, Process & Production, Vol. 1, Iss. 2, 2012-06 ,pp. : 347-356

Intellect Books

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