mercredi 30 juillet 2008

Ouverture d'un nouveau cours a l'ISAE CNAM Liban

Spécification et Modélisation Informatiques

Le but du cours est de présenter les automates finis à états et les formalismes logiques qui ont de nombreuses applications pour la spécification et la modélisation de systèmes informatiques. Ils interviennent notamment dans les domaines du génie logiciel, des réseaux, de la conception et du développement, des bases de données, des systèmes d'information et des systèmes transactionnels. A ce titre, ils sont utilisés dans de nombreux enseignements du cursus.

Tous les diplômes et cours du département informatique l'ISAE : http://depinfo.isae.edu.lb/

Libellés : , , ,

publié par Pascal Farès - ISAE CNAM Liban @ 20:22 0 commentaires Liens vers ce message blog

samedi 26 juillet 2008

Tikiwiki New version

TikiWiki CMS/Groupware 2.0 Release Candidate 2
Envoyé par Marc Laporte le 16/07/08 [09h21] (729 lectures)
Releases and Patches
It is with great pleasure that the TikiWiki community publishes the second release candidate for TikiWiki 2.0

Tiki 2.0 was formally known as Tiki 1.10, however, with all the amazing new features & enhancements, it deserves to be called 2.0 :-) This is the next generation of TikiWiki. Special thanks to the countless people that made this release possible. Over 2 years of work and thousands of code commits!


En lire plus

publié par Pascal Farès - ISAE CNAM Liban @ 11:27 0 commentaires Liens vers ce message blog