Voyages imaginaires, songes, visions, et romans cabalistiques ..

For contents see Catalogue of the library of the Peabody institute, Baltimore.

Mélanges d'histoire et de voyages.

Mode of access: Internet.

Le tour du monde, ou, Les mille et une merveilles des voyages : Afrique septentrionale /

Half title: Aventures de Henri Le Fifre en Algérie et autour du Grand Désert.

Recueil de voyages intéressans pour l'instruction et l'amusement de la jeunesse /

Translation of: Sammlung interessanter und durchgängig zweckmässig abgefasster Reisebeschreibungen für die Jugend.

Recueil d'observations faites en plusieurs voyages par ordre de Sa Majesté, pour perfectionner l'astronomie et la geographie : avec divers traitez astronomiques /

Port. con grab. cal.

Archives des voyages; ou, Collection d'anciennes relations inédites ou très-rares, de lettres, mémoires, itinéraires et autres documents relatifs à la géographie et aux voyages, suivies d'analyses d'anciens voyages et d'anecdotes relatives aux voyageurs tirées des mémoires du temps; ouvrage destiné à servir de complément à tous les recueils de voyages français et étrangers,

"Chaque volume, divisé en deux livraisons, forme un ouvrage complet en lui-même."--p. [4] of cover of v.1 and 2.

Traité élémentaire de géographie; contenant un abrégé méthodique du Précis de la géographie universelle en quatre volumes. Divisé en deux parties, celle des principes et celle des descriptions, précédé d'une introduction historique, et suivi d'un aperçu de la géographie ancienne, sacree et profane,

On spine: Gèographie de Malte-Brun.

Memoires du capitaine Landolpe, contenant l'histoire de ses voyages pendant trente-six ans, aux cotes d'Afrique et aux deux Ameriques;

Mode of access: Internet.

Anecdotes historiques sur Pierre-le-Grand et sur ses voyages en Hollande et à Zaandam : dans les années 1697 et 1717/

Translation of: Peter de Groote, keizer van Rusland in Holland en te Zaandam, in 1697 en 1717.

De Marseille a Genes par la corniche ; En Algerie : souvenirs et notes de voyages /

Mode of access: Internet.

Faune entomologique française: Lépidoptères; descriptions de tous les papillons qui se trouvent en France, indiquant l'époque de l'éclosion de chaque espèce, les localités qu'elle fréquent, la plante qui nourrit la chenille, le moment ou il convient de la chasser précédées de renseignements sur la chasse, la préparation et la conservation, etc.

Mode of access: Internet.

Histoire maritime de France, contenant l'histoire des provinces et villes maritimes, des combats de mer depuis la fondation de Marseille, 600 ans avant J.-C., de la flibuste, des navigations, voyages autour du monde, naufrages célèbres, découvertes, colonisations, de la marine en général, avant, pendant et depuis le règne de Louis XIV jusqu'à l'année 1850.

Mode of access: Internet.

Oceanie; ou cinquieme partie du monde revue geographique et ethnographique de la Malaisie, de la Micronesie, de la Polynesie et de la Melanesie; offrant les resultats des voyages et des decouvertes de l'auteur et de ses devanciers, ainsi que ses nouvelles classifications et divisions de ces contrees.

Mode of access: Internet.

Annales des voyages de la géographie et de l'histoire ; ou, Collection des Voyages Nouveaux les Plus Estimés, Traduit de Toutes les Langues Européenes

Mode of access: Internet.

Génération de squelettes des contrats de classes et des tests unitaires en Java

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.