Chargement : début chargement style.
Chargement : fin chargement style.
Chargement : début chargement html+image.
Chargement : fin chargement style.
Chargement : début chargement html+image.
Application pour FireFox (IE non testé), ne pas utiliser pour un travail important.
Stade de développement : Des morceaux marchent et collaborent (version beta, développement continu),
Rappels : Traces et cookies utilisés
WebApp for FireFox (IE not tested), Do not use for an important work.
Development status: Beta release
EDBA : Exercises Data Base about Al . . . (Algebra, Algorithms, Alphabet, ...) (+/-)
(en français : base d'exercices pour l'Al... (Algèbre, Algorithmique, Alphabet, ...))
EDBA : Exercises Data Base about Algorithms.
Zone de visualisation des modèles (réduits) de l'utilisateur
et du groupe et de leurs compétences
TODO : Zone de visualisation de modèle de l'utilisateur complet
TODO : Zone de visualisation de modèle complet du groupe de l'utilisateur
et de ses compétences
TODO : Zone de visualisation des compétences de l'utilisateur
Zone des travaux
effectués
zone de proposition de travail
(...)
Zone de liste
de travail
Zone d'edition
du travail
Graphique
Legende
Zone de consigne
de travail
123 entrees - aides
zone de reponse aux recherches
Zone de travail
zone de commentaires pour l'editeur
Description de EDBA
Le projet EDBA (Exercises DataBase about Algorithms) poursuit plusieurs objectifs :
Pour en savoir plus, un premier document fondateur d'EDBA à été rédigé en Octobre 2008, les premiers articles sur EDBA (à venir mi-2011, pour EIAH'2011) et un wiki est ouvert (pour l'utilisation avec ProLog voir ici)
Le projet EDBA (Exercises DataBase about Algorithms) poursuit plusieurs objectifs :
- établissement d'une base de donnée d'exercices d'algorithmique,
- gestion collaborative d'une ressource pédagogique,
- mise en place d'un EIAH pour l'algorithmique,
- développement d'une application web Ajax/Javascript pour l'éducation à partir d'une architecture et de composants réutilisables (+),
- et plus ...
Pour en savoir plus, un premier document fondateur d'EDBA à été rédigé en Octobre 2008, les premiers articles sur EDBA (à venir mi-2011, pour EIAH'2011) et un wiki est ouvert (pour l'utilisation avec ProLog voir ici)
Description of EDBA
The EDBA project (Exercises DataBase about Algorithms) try to :
If you want more, and can read french, a document for EDBA have been writen in October 2008 and a wiki is open ( for use with ProLog look here)
The EDBA project (Exercises DataBase about Algorithms) try to :
- define a database for exercises in algorithmics,
- collaborativaly manage this educational ressource
- set up an exerciser for algorithmics,
- design an Ajax Application for education with re-usable component (+),
- and more ...
If you want more, and can read french, a document for EDBA have been writen in October 2008 and a wiki is open ( for use with ProLog look here)
FAQ : j'attends les questions ...
En attendant, pour l'utilisation avec ProLog regarder ici. Et si vous voulez en savoir plus sur les traces que vous laissez dans EDBA (à quoi elles servent, quels sont vos droits, quelles traces, ...), lisez ceci.
FAQ: I'm waiting for questions ...
Prolog users : look at this.
Zone des outils (pour les enseignants/ingénieurs pédagogiques/développeurs/administrateurs système/techniciens/experts/curieux/...) :
- Démo originale d'EDBA (Avril 2009, il y a eu du changement depuis ...), nouvelle démo d'EDBA (Février 2010, proche de l'existant), introduction à ProLog (Sept 2011), sur l'arithmétique dans EDBA (Juin 2010), PoC : ajout d'exercice (Juin 2010), et encore d'autres : résolution d'exercices, analyse grammatiale, ... (2011/2012),
- Utilisateur : inscription nouvel utilisateur, changer son mot de passe, revoir son travail, paramétrisation.
- Exercice : voir la liste (imprimable/sauvegardable) des exercices (simple, complète), rechercher un exercice, proposer un nouvel exercice, vues d'ensemble (carte, stats-parcours globales, stats de résolution (et acces autres analyse par exercices), ontologie), log pour chercheur (centré exo (magnetoscope), centré activité (log))
- EDBA : Accès au code (via Ubiquity Code Documentation/Illuminated code pour expert JavaScript, version Dec 09), Volumétrie
- Message à l'administrateur (bug, amélioration, , ...)
- Spécial (Prolog) : informations générales, Aide syntaxique aux débutants
Tools for teachers, experts, administrators, etc.:
- Short (old) Demo 1 (in french - April 2009), Short (new) Demo 2 (in french - February 2010), Demo 3 about arithmetic and public code (in french - June 2010), Demo 4 (poc) about introduction/edition of exercise (in french - June 2010), Introduction to ProLog (Sept 2011), more (2011/2012),
- User: register new user, change passwd, log (replay system), user's parameters
- Exercises: proposal for a new exercise, ontology (first steps: construct or visualize), logs (replay system), statistics ( on database, on exercices)), logs (static global view), printable list of the exercises (simple, with test case), search an exercise,
- EDBA: look at the code (via Ubiquity Code Documentation/Illuminated code, for JavaScript's experts, Dec 09 Vers.), Numbers
- Message for EDBA's admin (bug, request, ...)
- Special (Prolog) : Help for beginner (in french)
Zone sociale :
Zone des groupes :
- Champions du mois : XXX (xp) YYY (tps)
- Champions de tous les temps : ZZZ (xp) AAA (tps)
Zone des groupes :
- Groupe Public : voir les codes en memoire, ajouter un code,
- Autres Groupes : voir la liste des groupes, créer un nouveau groupe,
Zone de visualisation pour les groupes.
Changement de mot de passe
Redonner votre adresse électronique, votre ancien mot de passe et un nouveau.Change password
Give your e-mail adress, your old passwd and a new one.E-mail :
old Passwd :
New Passwd :
Re - New Passwd :
Nouveau compteNew AccountPseudo : Nickname:E-mail : Passwd : Re-Passwd : Plus d'information ici sur les informations et traces personnelles enregistrées par EDBA. Un message électronique va vous etre adressé (si votre adresse est correcte). Suivez les instructions contenues dans ce message pour valider votre compte. More information here on personnal data recorded by EDBA. An e-mail will be sent to you (if the adress is correct). Please, follow the instruction in the e-mail in order to validate your account. |
Mot de passe perdu ?Redonner votre adresse électronique, un nouveau mot de passe vous sera envoyé.Lost password?Give your e-mail adress, a new passwd will be sent.E-mail : |
E-mail :
Passwd :
Passwd :
--- en cours de realisation ---
(non fonctionnel)
(ne pas utiliser)
----
URL du fichier de paramétrisation : URL for file with parameters: (actif)
URL du fichier de paramétrisation : URL for file with parameters: (actif)
URL du fichier de paramétrisation : URL for file with parameters: (actif)
Paramétrisation
URL du fichier de paramétrisation au lancement (special lancement ! TODO-3 : mettre une url dans la table user et la prendre en compte ici) : --- work in progress --- ( not finished, do not use)Parameter
URL for file with parameters used at the beginning: (actif)----
URL du fichier de paramétrisation : URL for file with parameters: (actif)
URL du fichier de paramétrisation : URL for file with parameters: (actif)
URL du fichier de paramétrisation : URL for file with parameters: (actif)
...
Nouvel exercice
Nom de la fonction principale (le nom de l'exercice):New exercise
Name:Domaine principal : Main Domain:
Domaine secondaire : Other Domain:
Difficulté : Difficulty:
Enoncé de l'exercice : Text for the exercise:
Spécification : Specification:
Solution (cryptée ou rien): Solution (crypted or nothing):
Cryptage de la solution proposée pour l'exercice : Crypt the solution:
Jeu d'essai : Test set:
Vérification de la nouveauté de l'exercice : Test if it is a new exercice:
Introduction de l'exercice dans la base : Insert the exercise in EDBA:
Exercice à caractériser
Nom de l'exercice :Exercice to caracterise
Name:Sujet - Verbe/Prédicat/Propriété - Complément/Objet/Valeur
Noeud source - Arc - Noeud cible
Subject - Verb/Predicate/Property - Attribute/Object/Value
Source node - Edge - Destination node
Caractérisation automatique (pour ajouter automatiquement des caracteristiques a propos des nouveaux exercices). Automated caracteristics addition (for new exercises).
Caracterisation automatique (Pour completer automatiquement la base):
- Par analyse des enonces : ajout de mots cles (*)
- Par analyse des specifications : ajout des arites (tous, nouveaux)
- Par analyse des jeux d'essai : ajout du type des parametres (tous, nouveaux), ajout du statut des parametres (tous, nouveaux) ajout du (type x statut) des parametres (tous, nouveaux) ajout des types ordonnees des parametres (*) (tous, nouveaux) ajout des types ordonnees des parametres sans doublon (*) (tous, nouveaux) ajout de chaque type des parametres (*) (tous, nouveaux)
- Par analyse des solutions : definition des signatures et des profils etendu(au cas par cas), ajout du nombre de cas de base (*), ajout du nombre de cas de propagation (*), ajout de la forme des cas de base (*), ajout de la forme des cas de propagation (*), ajout du nombre d'appels recursifs (*), ajout de la forme des appels recursifs (*), ajout du nombre de parametre pris en compte par la recursivite (*)
Automated caracteristics (add caracteristics into the db):
(*) : soon or later
- From text analysis: introduction of keywords (*)
- From specification analysis: introduction of arity (all, new)
- From test analysis: introduction of type of parameters (all, new), introduction of status of parameters (all, new) introduction of (type x status) of parameters (all, new) introduction of sorted type of parameters (*) (all, new) introduction of unique sorted type of parameters (*) (all, new) introduction of each type of parameters (*) (all, new)
- From solution analysis: signatures'definition (one by one), introduction of number of initialisation (*) , introduction of number of propagation (*) , introduction of the form of initialisation (*) , introduction of the form of propagation (*) , introduction of number of recursive calls (*) , introduction of the form of recursive calls (*) , introduction of number of parameters concern by recursive analysis (*)
(*) : soon or later
Parametres
Parameters
idUser :Debut (aaaa-mm-jj hh:mm:ss) : Begin (yyyy-mm-dd hh:mm:ss) :
Fin (aaaa-mm-jj hh:mm:ss) : End (yyyy-mm-dd hh:mm:ss) :
Code Action Sav Exec Test
+ ?
A-propos
- nom de l'appli : EDBA
- numéro de version : 0.6.1557
- état d'avancement (objectif : 70 à 90%, fait :
~75% [70 sur 0.5.1360, 61 sur 0.4.930, 59 sur 0.3.800, 55 sur 0.2.540, 47 sur 0.1.370]) :
- code/architecture-code (choix, organisation, documentation, ...) (85% de 10#, #=part d'appli, il y a 86 #)
- ihm/architecture-ihm (80% de 10#)
- données (90% de 9#),
- gestion de l'expérience (50% de 8#),
- gestion des compétences (40% de 8#),
- éditeur (85% de 8#),
- terminal (75% de 6#),
- comparateur/diag-prog (70% de 5#),
- interpréteur (80% de 5#),
- bd/mysql (85% de 5#),
- architecture (80% de 4#),
- log (80% de 3#)
- login (85 % de 2#),
- php (90% de 1#),
- sécurité (60% de 1#),
- mail (90% de 1#),
- Historique des versions :
- 0.0.x, Oct 2008 : document préparatoire
- 0.1.370, Juin 2009 : éditeur + interpreteur + comparateur + bd dans une page html (43 exercices, 302 jeux d'essais)
- 0.2.540, Decembre 2009 : ajout xp, droit ; menu éditeur gauche (pour test, sauvegarde, help, historique) ; gestion admin par le web ; enrichissement de la base d'exos (68 ex., 409 jeux d'essais)
- 0.3.810, Avril 2010 : ajout langue (fr/en et internationnalisation html/js/bd) et langage (prolog/caml) ; divers (edition d'exercice en ligne, enrichissement de la base d'exos (113 ex., 833 jeux d'essais), log execution, poo)
- 0.4.930, Juin 2010 : achevement d'une version monopage avec BD et code public deployable sur Moodle ; divers (enrichissement de la base d'exos (137 ex., 1006 jeux d'essais))
- 0.4.1100, Mars 2011 : ajout d'éléments d'analyse globale (page outils/experts) dont début d'ontologie (a la main et automatique), détails (hit-parade, permlink, login, log, enrichissement de la base d'exos (256 ex., ~2000 jeux d'essais)))
- 0.5.1360, Février 2012 : proposition d'exercices à suivre, définition d'une signature d'algorithme et dictionnaire interrogeable (132 entrées), cartographie des algorithmes et courbes d'algorithme, courbe évolution xp, introduction des indications, détails (coloration auto., jeux d'essais et exos utilisateur, init scriptable, ajout du langage javascript, enrichissement de la base d'exos (366 ex., ~2357 jeux d'essais))
- 0.6.1527, Mars 2013 : arithmétique avec contraintes en ecriture naturelle, recherche automatique en mémoire des codes sauvegardés, calcul de la complexité d'une exécution, détails (prédicat prédéfini queue pour les contraintes, ainsi que des prédicats arithmétiques , localisation du serveur centralisée, page d'administration, enrichissement de la base d'exos (512 ex., ~3400 jeux d'essais))
- Contributions (codes JavaScript ci-dessous [sauf améliorations] + php/mysql/...):
- Editeur : http://codepress.sourceforge.net/ (Fernando M.A.d.S. - 2006)
- Terminal : http://www.masswerk.at (Norbert Landsteiner - 2007)
- Interpréteur ProLog : http://ioctl.org/logic/ (Jan Grant - 2005)
- Interpréteur CAML : http://pagesperso-orange.fr/jacques.rouable/mic/ac.htm (Jacques Rouable - 1997)
- Parseur Javascript : https://github.com/mozilla/narcissus (Originally a proof-of-concept by Brendan Eich - 2004)
- Documentation : http://code.google.com/p/code-illuminated/ (Atul Varma, Sander Dijkhuis - 2008)
- Internationalisation : http://jsgettext.berlios.de/ (Joshua Miller, Adam Schobelock - 2010)
- MD5 : http://actuel.fr.selfhtml.org/articles/javascript/md5/index.htm (Henri Torgemane - 1996)
- Complétion automatique : http://www.phpguru.org/static/AutoComplete.html (Richard Heyes - 2005)
- Carte : http://bytecove.co.uk/jsgraph/ (Daniel 'Haribo' Evans - 2010)
- auteur : Denis Bouhineau (mail)
- date : Février 2012
- en savoir plus
En attente de la fin d'une communication ou d'un calcul. (n%)
Chargement
: fin chargement html+image.