Nous cherchons à rendre le logiciel libre JEdit plus facile à utiliser avec un schéma XML particulier, la TEI (Text Encoding Initiative). Notre but est de pouvoir faire utiliser ce logiciel par des débutants lors de sessions de formation.
Pour cela, plusieurs choses sont nécessaires: préparer une version "pré-configurée" de JEdit, avec les plugins nécessaires pour travailler correctement (il a beaucoup de fonctionnalités, mais elles sont difficiles à appréhender pour un débutant) ; et sans doute créer un nouveau plugin pour JEdit, qui permettra d'obtenir localement tous les fichiers nécessaires pour travailler confortablement sur des fichiers TEI (schéma, feuilles de style XSL, etc.)

Les plugins de JEdit étant écrits en Java, nous recherchons un développeur Java expérimenté, comprenant bien les questions liées à XML, et idéalement familier de JEdit.

La prestation devra être livrée fin octobre.

Specifications ci-dessous, en anglais.

Each task is concluded by the delivery by the developer of a full documentation and of the new packages. All packages and plugins must be crossplatform. The plugins must include a help feature in JEdit

The project management team has identified the useful plugins for basic TEI XML needs, and their configuration. This JEdit configuration will be given to the java developer and his first goal will be to to make a packaged version of it. There should be a package for Windows, Apple and Linux.

· Create a package of JEdit as configured by the team during the first phase, including:
o Installation, if needed, of the Java Sun plugin (Java and Java Runtime)
o Deactivation, if active, of the Windows Java plugin
o Installation of the latest version of JEdit
o Installation of the specified plugins, with their specified configuration for XML TEI

This package should offer an intuitive, user-friendly environment for TEI XML

The project management team has prepared document models that will be offered for each sub-version of the TEI schema.

In addition to the Guidelines themselves, the Consortium provides a variety of resources [define TEI schema, document models, stylesheets + tags, tooltips + list of shortcuts->maybe in specification]

List of the development tasks:

· Creation of a plugin that downloads the latest version of the TEI schemas (and corresponding document models) on the official TEI website, as well as the TEI stylesheets. Addition in the JEdit interface of sub-menu to the "Create a new document" menu, allowing for the choice between the different sub-versions of the TEI Schema (all, bare, lite, etc.) When a version of the TEI schema is chosen for the creation of the new document, the corresponding document model (or "barebones") is created and displayed.

· Creation of a plugin or feature for the auto-completion of TEI tags, tooltips displayed when hovering over a tag (text taken from the ODD), and new keyboard shortcuts to make the software more user-friendly. The list of shortcuts to implement will be provided by the team.

· Amelioration of the plugin allowing for XML validation, to validate the document while it is edited, via a clickable button in the JEdit interface; possibility to validate according to the Relax NG processing instructions included in the header of the TI document. Validation errors will be displayed in a tab and will lead, on click, to the place of the error in the document.

· Development of a TEI toolbar to limit the number of clicks necessary to perform the most common tasks.

· An additional development might be necessary to make some existing plugins better.

The final package, as validated by the team, will be released, for Windows, Mac and Linux.

Budget indicatif 1.000 € à 10.000 €
Publié le 16 septembre 2019 à 16h43
Début du projet Tout de suite

Vous avez aussi besoin d'un expert ?

Déposez une annonce en décrivant votre projet et recevez gratuitement des devis en quelques minutes

Déposer une annonce gratuite

Offres pour ce projet :

Offre déposée le 16/09/2019 à 16h59
Offre déposée le 16/09/2019 à 16h53
Offre déposée le 16/09/2019 à 16h59
Offre déposée le 17/09/2019 à 09h24
Déposez un projet similaire
Publication 100% gratuite
Recevez 10 devis en moyenne
Pas de commission à payer

Vous êtes prestataire et vous cherchez des missions ?

Remplissez rapidement votre carnet de commandes en utilisant Codeur.com pour contacter des nouveaux clients.

Créer un compte gratuitement

Gérer mon projet

Chaque jour, des centaines de clients utilisent Codeur.com pour trouver un prestataire. Créez votre compte dès maintenant, remplissez votre profil et trouvez de nouveaux clients.

Trouver des nouveaux clients

En utilisant ce site, vous acceptez l'utilisation de cookies. permettant de vous proposer des contenus et des services adaptés à vos centres d'intérêts.

Vous utilisez actuellement Internet Explorer. Pour profiter pleinement de Codeur.com, veuillez utiliser un des navigateurs suivant :