Orienté Objet   RUP
    UML   Tests,Vérification, Validation
    C++   Réseaux Neuronaux
    Java   Prolog
    Corba    

    Orienté Objet

     
    Introduction à la programmation Orientée Objet http://www.commentcamarche.net/poo/poointro.php3

    Les méthodes Objet

    http://www.laas.fr/~delatour/Igloo/methodeOO_image_fr.html

    Support pédagogique pour l'Orienté Objet

    http://www.laas.fr/~delatour/Igloo/coursOO_image_fr.html

    Page Web de l'Objet

    http://www.sciences.univ-nantes.fr/info/recherche/mgl/LOBJET/index.html

    La Boîte à Objets

    http://www.sciences.univ-nantes.fr/info/recherche/mgl/LOBJET/index.html

    Quelques adresses intéressantes

    http://www.sciences.univ-nantes.fr/info/recherche/mgl/LOBJET/Francais/index.htm

    Objets et Interactions http://www.twam.com/objInter.html   -  T. Cros - TWAM - Avril 1999

     

     
     

    Rational Unified Process

    Début de la page

    Présentation de Unified Process http://www.twam.com/upPresent.html   -  T. Cros - TWAM - Avril 1999

    Cas d'utilisation et approche fonctionnelle http://www.twam.com/casUtilisation.html   -  T. Cros - TWAM - Mai 1999

    The Ten essentials of RUP The Rational Edge   -  L. Probasco - December 2000

    The Rational Unified Process - An Introduction P. Kruchten   -  Addison Wesley 2000

    RUP an enabler for high process maturity [document pdf]  A. Combelles -  Q-Labs France

     

     
     

    UML

    Début de la page

    Introduction à la notation UML http://www.commentcamarche.net/uml/umlintro.php3

    Real-Time Analysis and Design

    http://www.omg.org/realtime/working_groups/real-time_analysis_and_design.html

    UML en français

    http://uml.free.fr/

    Using UML for Modeling Complex Real-Time Systems

    http://www.rational.com/products/whitepapers/100230.jsp

    La modélisation Objet avec UML

    http://www.stm.tj/objet/modelisation_avec_uml.html

     

     

    C++

    Début de la page

    C++ pour les (gros) nuls http://www.cplusnul.com/
    Introduction au langage C++ http://www.commentcamarche.net/cpp/Cppintro.php3
    Le langage C++ http://www.multimania.com/dancel/cplusplus/cours/cours_cpp.html
    Introduction au C++ http://www-ipst.u-strasbg.fr/pat/program/cpp.htm
    Quelques liens en plus …. http://www-igm.univ-mlv.fr/~dr/C_CPP_index.html

     

     
     

    Java

    Début de la page

    Introduction à Java

    http://www.commentcamarche.net/java/javaintro.php3

    Du C/C++ à JavaTM

    http://www.eteks.com/

    Concepts du langage Java

    http://cui.unige.ch/java/JAVAF/concepts.html

    Apprendre Java - Cours - Exercices

    http://www.inf.enst.fr/~charon/coursJava/index.html

    Le langage Java

    http://www.multimania.com/dancel/java/java.html

    Documentation Java

    http://www.cnusc.fr/textes/intro_java.html

    The WWW Virtual Library : The Java Programming Language

    http://www.siliceo.com/java.html

     

     

     

     

    Corba

    Début de la page

    CORBA WhitePapers

    http://cgi.omg.org/library/whitepapers.html

    Corba Beginner's Page

    http://www.omg.org/gettingstarted/index.htm

    CORBA : des concepts à la pratique

    http://corbaweb.lifl.fr/CORBA_des_concepts_a_la_pratique/cours_CORBA.doc

     

     
     

    Prolog

    Début de la page

    Les Styles de Programmation

    http ://diwww.epfl.ch/w3lco/pub/cours/styles_programmation.html

    La Programmation Logique en Prolog

    http ://diwww.epfl.ch/w3lco/pub/cours/programmation_logique.html

    Informatique linguistique et le langage PROLOG.

    Notes de cours 2000. Pierre Nugues

    Introduction à PROLOG et au traitement du Langage Naturel. A. MICHIELS.

    http ://engdep1.philo.ulg.ac.be/download/2000-2001/prolog/prolog.htm

     

     
     

    Validation et Tests

    Début de la page

    Software Testing Hotlist

    http://www.io.com/~wazmo/qa/

    ou

    http://www.softpanorama.org/SE/testing.shtml#Recommended

    SR/Institute's Software Quality HotList

    http://www.soft.com/Institute/HotList/index.9.html

    Automated Test Tools

    http://www.sqa-test.com/toolpage.html

    Bibliographie CMSL

    http://deptinfo.cnam.fr/CMSL/doc/Biblio_ing_syst.html

     

     
     

    Réseaux Neuronaux

    Début de la page

    Numerical Recipes

    http://www.ulib.org/webRoot/Books/Numerical_Recipes/

    Revue : Neural Computation

    Résumés en ligne   -  MIT Press

    Revue : Transactions on Neural networks

    Table des matières en ligne   -  IEEE

    Neural networks : a comprehensive approach

    Simon Haykin   -  Prentice Hall 1999

    Neural networks for pattern recognition

    C.M. Bishop  -  Oxford University press 2000

    Programmation mathématique : Théorie et algorithmes

    M. Minoux   -  Dunod 1983

    Réseaux de neurones et traitement du signal

    J. HéraultC. Jutten  -  Hermès 2000

    System identification : Theory for the user

    L. Ljung   -  Prentice Hall 1987 (il paraît que c'est la Bible de la modélisation dynamique!)

    Pattern classification and scenes analysis

    R.O. Duda, P. Hart   -  John Wiley 2000