Liste des logiciels de développement à l'UR Sophia Antipolis

Différents systèmes (OS) supportés : Windows (W), logiciel Windows sur demande (W?), Linux (L), Solaris (S).

Différentes rubriques sont disponibles :

Analyse, conception et modélisation

Nom Description OS
MagicDraw Outil visuel pour la modelisation de logiciel avec UML 2.0. INRIA a un licence site academique pour la version 12.0 professional Java edition.
Pour avoir le clé du logiciel, merci de contacter : Janet Bertot
L, W
dia Outil pour faire des diagrammes (incluant le formalisme graphique d'UML). http://www.gnome.org/projects/dia/ L, S
poseidon Outil pour faire des diagrammes UML. La "Community Edition" est un freeware. http://www.gentleware.com/products/ L, S, W
umbrello Outil pour faire des diagrammes UML. http://uml.sourceforge.net/index.php L

Compilation, configuration

Compilateurs

Nom Description OS
CC Compilateur langage C et C++ S
gcc/g++ Compilateur langage C, C++, Objective C, Java, Fortran et Ada (GNU)http://gcc.gnu.org/. La commande cc est identique sous linux. L, S, W
javac Compilateur langage java. Sun tools 1.4.2 L, W, S
Programmation sur le cluster Compilateurs Intel langage C, C++ et Fortran. Compilateurs Portland C, C++, Fortran 90 et HPF. Les logiciels pour le cluster L

Interpréteurs

Nom Description OS
guile Langage de script. http://www.gnu.org/software/guile/guile.html L, S, W
java Machine virtuelle java. Sun tools 1.4.2 L, S, W
perl Langage de script. http://www.perl.com/ L, S, W
python Langage de script. http://www.python.org/ L, S
wish Intérpréteur de Tcl/Tk : Tool Command Language and GUI ToolKit. http://tcl.sourceforge.net/ L, S, W

Outils de configuration, de gestion des dépendances et de compilation

Nom Description OS
ant Sorte de "make" pour java. http://ant.apache.org/ L, S, W
autoconf Un générateur de shell scripts pour la configuration de logiciels. http://www.gnu.org/software/autoconf/ L, S
automake Un générateur de makefile. http://www.gnu.org/software/automake/. Nécessite l'utilisation d'autoconf L, S
cmake utilisé pour contrôler la compilation sur plusieurs plateformes. http://www.cmake.org/HTML/Index.html L, S, W
gmake GNU makefile. http://www.gnu.org/software/make/. La commande make est identique sous linux. L, S
tmake Un générateur de makefile. http://tmake.sourceforge.net/ L, S, W

Développements

Environnements de développement intégrés (IDE) et éditeurs de sources

Nom Description OS
Eclipse IDE pour java. http://www.eclipse.org/ L, S, W
KDevelop IDE généraliste. http://www.kdevelop.org/ L
Visual C++ IDE pour C++. http://msdn.microsoft.com/visualc/ W?
Visual J++ IDE pour java. http://msdn.microsoft.com/vjsharp/productinfo/visualj/ W?
Xemacs Editeur. http://www.xemacs.org L, S, W

Documentation des API

Nom Description OS
doxygen Pour C, C++ et java. http://www.doxygen.org L, S
javadoc Pour java. Sun tools 1.4.2 L, S, W

Débuggers

Nom Description OS
ddd Data Display Debugger. http://www.gnu.org/software/ddd/ L, S
gdb The GNU Project Debugger. http://www.gnu.org/software/gdb/gdb.html L, S

Gestion de la mémoire et mesure des performances (profiler)

Nom Description OS
gprof Profiler. GNU gprof page. L, S
Insure++ Gestion des problèmes mémoires pour C et C++ L, S, W
kcachegrind Interface graphique pour valgrind. http://kcachegrind.sourceforge.net/cgi-bin/show.cgi/ L
Valgrind Debuggage et profiling. http://valgrind.org/ L

Gestion de versions et travail collaboratif

Nom Description OS
cervisia Une interface graphique pour CVS. http://www.kde.org/apps/cervisia/ L, S
cvs Concurrent Version System. http://www.nongnu.org/cvs/ L, S
cvs2svn Permet de convertir un dépôt CVS en Subversion, en conservant l'historique des modifications sous CVS. http://cvs2svn.tigris.org/ L, S
svn Subversion. http://subversion.tigris.org/ L, S, W
tkcvs Une interface graphique pour CVS. http://www.twobarleycorns.net/tkcvs.html L, S
TortoiseCVS Client CVS sous Windows. http://www.tortoisecvs.org/ W
TortoiseSVN Client SVN sous Windows. http://tortoisesvn.tigris.org/ W
WinCVS Client CVS sous Windows. http://www.wincvs.org/ W

Documentation (haut niveau)

Nom Description OS
latex/bibtex LaTeX is a high-quality typesetting system, with features designed for the production of technical and scientific documentation. http://www.latex-project.org/ L, S, W
Word Edition de documents W

Bibliothèques et logiciels

Environnements pour le calcul scientifique

Nom Description OS
Matlab Matlab integrates mathematical computing, visualization, and a powerful language to provide a flexible environment for technical computing. Matlab page. L, W
Maple An environment for mathematical problem-solving, exploration, data visualization, and technical authoring. Maple learning guide. L, W
Mathematica A tool for simple calculations or large-scale computations, programming, or presenting. Mathematica page. L, W
Scilab A scientific software package for numerical computations providing an open computing environment for engineering and scientific applications. http://scilabsoft.inria.fr/ L, W

Bibliothèques mathématiques

Bibliothèques pour la programmation parallèle

Nom Description OS
LAM-MPI LAM/MPI is a high-quality open-source implementation of the Message Passing Interface specification, including all of MPI-1.2 and much of MPI-2 : http://www.lam-mpi.org/ L, S
MPICH MPICH is a freely available, portable implementation of MPI, the Standard for message-passing libraries : http://www-unix.mcs.anl.gov/mpi/ L, S
PVM PVM (Parallel Virtual Machine) permits a heterogeneous collection of computers hooked together by a network to be used as a single large parallel computer : http://www.csm.ornl.gov/pvm/pvm_home.html L, S
Librairies pour le cluster Les logiciels pour le cluster L

Bibliothèques GUI

Nom Description OS
gtk gtk is a multi-platform toolkit for creating graphical user interfaces. http://www.gtk.org L, S
qt Qt is a complete C++ application development framework, which includes a class library and tools for multiplatform development and internationalization. Qt page L, S
vtk The Visualization ToolKit (VTK) is an open source, freely available software system for 3D computer graphics, image processing, and visualization. http://public.kitware.com/VTK/ L, S