Actualités

L’exemple fâcheux de l’électronique

Les gadgets domestiques high-tech ne sont pas vraiment la tasse de thé des lecteurs de 01 Informatique. Sauf, peut-être, à titre personnel ou pour leurs enfants.

18/01 - 00h00

Outils : l’Atelier B rend possible l’utilisation de la méthode B en milieu industriel

Intégrant tous les composants nécessaires à l'automatisation de l'activité de preuve, cet outil a déjà été mis en ?"uvre notamment sur le projet Météor.

18/01 - 00h00

Les méthodes formelles prouvent leur efficacité

“La preuve est plus puissante que le test “, argue Thierry Servat, directeur général de Clearsy. Cette filiale des sociétés de services Steria et Teamlog, spécialisée dans la production de logiciels prouvés et dans l’expertise de systèmes, a fait de la méthode formelle B son cheval de bataille. Et son discours rallie à sa cause … Lire la suite

18/01 - 00h00

Notre sélection de solutions choisies par les entreprises

18/01 - 00h00

Technologie : les méthodes formelles ont un impact sur le cycle de développement logiciel

La suppression des tests unitaires et de validation est conditionnée à l'emploi de la preuve tout au long du cycle.

18/01 - 00h00

TF1 et Vivendi : vers un nouveau Yalta ?

" Côté Vivendi, une paix des braves scellée sur le mode World Company ?" la France à TF1, le reste du monde pour nous ?" ne serait pas sans logique, compte tenu de l'américano-tropisme du groupe. "

18/01 - 00h00

EAI: Tibco comble ses lacunes Java

N’hésitant pas, jusqu’à récemment, à décrier les limitations de la spécification JMS (Java Messaging Service), Tibco Software se voit aujourd’hui contraint de manger son pain blanc. Ce leader mondial de l’EAI vient, en effet, de racheter au prix fort Talarian Corporation, l’une des start up pionnières des composants logiciels de messagerie JMS. Développés dans les … Lire la suite

18/01 - 00h00

Bureautique : la suite Wordperfect Office 2002 en français

La mouture française de la suite bureautique Wordperfect Office 2002 est disponible. Parmi les quelques nouveautés, on notera une meilleure gestion des fichiers au format PDF ainsi que la présence d’un nouveau client de messagerie. La suite bureautique est disponible en deux versions. L’édition standard regroupe un traitement de texte, un tableur, un programme de … Lire la suite

18/01 - 00h00

Aficio AP3800C, de Ricoh : promesses tenues en… 600 p/p

28 p/min annoncées pour la couleur, 38 pour le noir et blanc, la laser AP3800C de Ricoh fait bonne impression, mais à un prix assez élevé.

18/01 - 00h00

Les éleveurs de jeunes pousses connaissent eux aussi la crise !

Le rachat des Britanniques Brainspark et Antfactory porte un nouveau coup au modèle de l'incubation privée de start-up.

18/01 - 00h00

Serveurs d’applications J2EE : les leçons d’un banc d’essai inédit

Même si les éditeurs refusent d'en publier les résultats, le banc d'essai exclusif lancé par 01 Etudes et 01 Réseaux révèle que la norme J2EE est loin de se banaliser.

18/01 - 00h00

Manager 2002 = antiterroriste

Les théories de management tournicotent en imposant à chaque virage des modèles qui s’inspirent des tendances du moment et démolissent celles d’hier. Des gourous comme Tom Peters ou Peter Drucker l’ont compris et vendent tous les deux ans un best-seller qui explique à chaque parution pourquoi ils avaient tort dans la précédente. Pourtant, quand on … Lire la suite

18/01 - 00h00

PLM

Adieu à toute référence ferroviaire au Paris-Lyon-Marseille. Désormais, le PLM devient le sigle ?” moins itinérant ?” de Product Life Cycle Management. Ce PLM-là est en fait une simulation de marché, obtenue en croisant les données d’un prototypage virtuel avec à l’IAO (ingénierie assistée par ordinateur). Plusieurs éditeurs de conception assistée par ordinateur, à l’instar de MSC … Lire la suite

18/01 - 00h00

Micro : IBM externalise sa fabrication de PC…

C’est fini. IBM ne fabrique plus aucun de ses micro-ordinateurs de bureau. Il vient, en effet, de revendre ce qui lui restait d’usines, en Europe et aux Etats-Unis, à Sanmina-SCI. Ce sous-traitant travaille également pour le compte de HP. Désormais, en matière de micro-informatique, Big Blue ne construit plus que ses portables Thinkpad. … et … Lire la suite

18/01 - 00h00

Jean-Raymond Abrial (inventeur de la méthode B): ” Il y a lieu d’être prudent “

L’emploi de la preuve garantit qu’il n’y aura pas de distorsion entre le modèle mathématique initial, issu de la spécification écrite en français, et le modèle mathématique final, extrêmement proche du code exécutable. Mais, en deçà et au-delà, rien n’est garanti par la preuve. Si, par exemple, la spécification en français est erronée ou si … Lire la suite

18/01 - 00h00

Supercalculateurs : Cray se recentre sur une gamme unique

Après les mésaventures qui ont jalonné son existence ?” dont son rachat et sa revente par SGI ?”, Cray, par la voix de son nouveau président, Michael Haydock, dévoile sa stratégie. Les ressources seront désormais surtout concentrées sur le développement des machines SV, héritées de SGI, et en particulier du SV2, qui devrait apparaître dans le courant … Lire la suite

18/01 - 00h00

Massacre au Lions Club

De start-up en holdings, journal de bord d'un cadre de la nouvelle économie. Il se confie sous pseudo pour parler ?" et parfois crier ?" plus librement...

18/01 - 00h00

Des managers en interim

Chargés de négocier une transition, les directeurs e-business savent que leur fonction peut être éphémère. Mais rares sont ceux que cela semble préoccuper...

18/01 - 00h00

ADSL : Alcatel et Lucent retenus par France Télécom

Pour les années 2002-2004, l’opérateur historique a retenu Alcatel et Lucent comme fournisseurs mondiaux pour son offre ADSL. Il y aura donc, en France, trois fournisseurs côté DSLAM (central de rattachement) : Alcatel, ECI et Lucent. En ce qui concerne les modems, ils seront quatre : ECI, Lucent, Sagem et Thomson Multimédia qui a racheté l’activité … Lire la suite

18/01 - 00h00

Trop cher !

Daniel Zamparini, DSI de PSA :” A chaque fois que l’on a fait le calcul, les meilleures propositions d’externalisation étaient 50 % plus chères encore que ce que lon arrivait à faire en interne. “

18/01 - 00h00