Sign up for access to the world's latest research

checkGet notified about relevant papers

checkSave papers to use in your research

checkJoin the discussion with peers

checkTrack your impact

Système de recherche de méthodes Java basé sur leur signature

L'objectif de cet article est de proposer une démarche permettant de mettre en place un moteur de recherche de méthodes au sein d'un langage de programmation. Un tel outil s'avère particulièrement utile aux développeurs. Des solutions ont déjà été proposées mais elles sont pour la plupart basées sur une recherche textuelle, c'est-à-dire uniquement basées sur le contenu textuel de la description des différentes méthodes. Nous proposons dans cet article une nouvelle approche basée sur la signature des méthodes. Le langage utilisé tout au long de cet article est le langage Java.

Approche basée composition pour les applications sur une grille de cartes Java

Septièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, GEI, 2007

Résumé. Cet article présente une approche permettant le développement d'applications complexes à la base de services simples (appelés applets) installés sur une grille de cartes Java. Notre approche s' inspire de l'approche orientée service concernant la publication, la description et l'invocation de services élémentaires, et du langage BPEL1 pour l'orchestration de services composés. Nous mettons l'accent sur le langage de composition et le moteur d'orchestration de services. Notre approche sera illustrée par le ...

Formalisme, Exactitude, Rigueur

HAL (Le Centre pour la Communication Scientifique Directe), 2020

Examiner la notion de rigueur dans le champs musical, à partir de ses acceptions informatiques, n'est donc pas dénué d'intérêt. Nous nous y essayerons à partir de quelques outils informatiques utilisés en composition assistée par ordinateur et pour la performance temps-réel. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

A Guided Tour of Method Engineering

Electronic Journal of Information Technology, 2005

Ce chapitre présente le domaine de l'Ingénierie des Méthodes (IM) et en fait un état de l'art. L'IM se définit comme l'application d'un ensemble de techniques d'ingénierie à la construction du produit que constitue une méthode. L'IM trouve sa justification dans la nécessité de construire une méthode de manière industrielle, systématique et efficace et éventuellement «à la volée», pour l'adapter aux conditions ou exigences particulières d'un projet. Cet article définit l'IM, présente les motivations et les justifications de l'IM et introduit les principes et techniques clés qui la sous-tendent. Il développe certaines des techniques clés et notamment la représentation modulaire des méthodes sous forme de composants de méthodes et la construction de méthode par assemblage de composants. Méthode, composant de méthode, modèle de produit, modèle de processus, ingénierie de méthodes

JAVA Programmation

Mai 2004 : Première édition électronique Juin 2005 : Première édition électronique en français L'information contenue dans ce livre n'est pas sujette à garantie. Ni l'auteur ni l'éditeur ne pourront être tenus responsables des préjudices ou dommages de quelque nature que ce soit pouvant résulter directement ou indirectement des instructions fournies dans ce livre ou de l'utilisation des logiciels ou matériels informatiques qui y sont décrits. Java et toutes les marques et logos dérivés de Java sont des marques commerciales ou des marques déposées de Sun Microsystems, Inc. aux Etats-Unis et dans les autres pays. Windows 98, Windows NT, Windows 2000 et Windows XP sont des marques commerciales de Microsoft Corporation. Tous les autres noms de produits et de sociétés sont la propriété de leurs propriétaires respectifs.

Structures de données et méthodes formelles

2011

Cet ouvrage est soumis au copyright. Tous droits réservés, notamment la reproduction et la représentation, la traduction, la réimpression, l'exposé, la reproduction des illustrations et des tableaux, la transmission par voie d'enregistrement sonore ou visuel, la reproduction par microfi lm ou tout autre moyen ainsi que la conservation des banques de données. La loi française sur le copyright du 9 septembre 1965 dans la version en vigueur n'autorise une reproduction intégrale ou partielle que dans certains cas, et en principe moyennant le paiement des droits. Toute représentation, reproduction, contrefaçon ou conservation dans une banque de données par quelque procédé que ce soit est sanctionnée par la loi pénale sur le copyright. L'utilisation dans cet ouvrage de désignations, dénominations commerciales, marques de fabrique, etc. même sans spécifi cation ne signifi e pas que ces termes soient libres de la législation sur les marques de fabrique et la protection des marques et qu'ils puissent être utilisés par chacun. La maison d'édition décline toute responsabilité quant à l'exactitude des indications de dosage et des modes d'emploi. Dans chaque cas il incombe à l'usager de vérifi er les informations données par comparaison à la littérature existante.

Vers l'utilisation des méthodes formelles pour le développement de linguiciels

Proceedings of the 17th …, 1998

Formal methods have'nt been applied enough in the development process of lingware although their advantages have been proved in many other domains. In this framework, we have investigated some applications dealing with different processing levels (lexical analyses, morphology, syntax, semantic and pragmatic). These investigations has mainly led to the following observations. First of all, we have noticed a lack of use of methodologies that cover all the life cycle of a software development. The formal specification has not been used in the first development phases. In addition, we have noticed the lack of formal validation and consequently the insufficient guarantee of the developed software results. Moreover, there has been no appeal to rigorous methods of integration to solve the dichotomy of data and processing problem. However, the use of the formal aspect in the Natural Language