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.
Hello Vous travaillez en mode anonyme. Last connection -1, cumulated time ### Xp: 12345 pts - level 12 - prochain niveau dans 1155pts. Competencies: ### pts (more ... )
Type "help" for help, "test" for automatic test, ...
>
Description de EDBA
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 :
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)
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 ...
Other groups:
see list of groups,
register a new group,
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 compte
New Account
Pseudo : 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 :
--- en cours de realisation ---
(non fonctionnel)
(ne pas utiliser)
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:
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)
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)
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
+ ?
é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))