Prix Turing 2007 pour la vérification de modèles

Posté par  . Édité par Benoît Sibaud. Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Presse

(réécrite et réaffectée suite à une purge de compte)

Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).

Sortie de Grails 1.0

Posté par  . Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Java
Grails est un framework orienté web écrit en Java et Groovy et placé sous licence Apache. Il s'inspire fortement du framework Rails (Ruby on Rails) avec notamment la notion de convention (vs configuration) permettant de n'avoir que le minimum de configuration nécessaire, un vrai bonheur pour le développeur. Mais contrairement à Rails, Grails est complètement dans l'univers Java, le framework se repose ainsi sur des frameworks "stars" de Java comme Spring ou Hibernate lui donnant d'office une maturité évidente (sans parler du fait qu'il devient par la même occasion complètement "crédible" en entreprise).

La sortie de la version 1.0 risque de donner une nouvelle dimension au projet, et il suffit de regarder l'activité de la liste de diffusion pour réaliser à quel point ce framework a de beaux jours devant lui.

Le seul bémol concernerait la prise en charge des IDE. Il existe des greffons pour Eclipse et NetBeans mais encore trop jeunes. Le seul greffon vraiment avancé à l'heure actuelle est celui pour IDEA IntelliJ (IDE excellent mais qui n'est malheureusement pas OpenSource).

Revue de presse - Février 2008

Posté par  (site web personnel, Mastodon) . Modéré par Benoît Sibaud.
0
5
fév.
2008
Presse
Chez votre marchand de journaux, c'est le mois des installations, donc des distributions en pagaille (mais pas seulement) et des voyages dans le temps pour les nostalgiques et ceux qui auraient manqué des numéros. Le numéro 50 de Planète Linux est l'occasion d'une compilation d'anciens articles. GLMF met en avant son imposant article sur le déploiement de clients légers avec LTSP5 et Linux Pratique récupère le hors-série rituel sur GIMP.

Ceux qui cherchent des distributions Linux dans leur presse préférée, c'est également le moment d'y faire un tour ! PC Expert édition DVD n'en propose pas moins de 5 en VF sur le DVD fourni (attention, le magazine est également disponible sans DVD) : Ubuntu, Debian, Mandriva, Fedora et OpenSUSE. Il doit s'agir de version minimum dans chaque cas. Linux Identity Kit propose sa nouvelle fournée à peu près sur le même registre (mais avec un livret accompagné d'un CD/DVD par distribution) : Mandriva 2008, Ubuntu 7.10 (dans un numéro spécial à destination des débutants), OpenSUSE 10.3, Debian 4.0 Etch. Sans oublier les magazines de Linux+.

Bonnes lectures