Conclusion

Analyse de dépendances.

Spécifications sémantiques.

Outils et langages :
- Centaur, Aïoli,
- Typol, Metal, Ppml,
- Sophtalk,
- Java, Lisp, Prolog.

Compréhension des principes de Java Card.

Diapositive précédente Revenir à la première diapositive Afficher la version graphique