A la une du site

Association Ada-France

L’association Ada-France a pour objet de regrouper les utilisateurs du langage Ada, en vue de partager expériences d’utilisation et points de vues. Pour cela, elle coordonne les interactions entre les membres de l’association et organise des manifestations propices à ces échanges et à la promotion du langage Ada.

Offre d’emploi : Ingénieur logiciel embarqué aéronautique H/F

Le mercredi 12 novembre 2008 par jobingenieur

Astek est un des leaders du conseil et du service en technologie, nous réalisons la plus forte croissance organique du marché français ! Quelques Chiffres : 3000 collaborateurs, 200 millions de CA, plus de 25% de croissance organique ces trois dernières années, 18 croissances externes en 10 ans et près de 10 ouvertures d’agences en 2007 avec des agences en France (15), Espagne, Mexique, Royaume Uni, Pologne, ...Et de nombreux projets de développement pour 2008 !
L’activité (...)

Offre d’emploi : Ingénieur système informatique temps réel embarqué H/F

Le mercredi 12 novembre 2008 par jobingenieur

Offre d’emploi publiée sur Jobingénieur :
Astek est un des leaders du conseil et du service en technologie, nous réalisons la plus forte croissance organique du marché français !
Quelques Chiffres : 3000 collaborateurs, 200 millions de CA, plus de 25% de croissance organique ces trois dernières années, 18 croissances externes en 10 ans et près de 10 ouvertures d’agences en 2007 avec des agences en France (15), Espagne, Mexique, Royaume Uni, Pologne, ...Et de nombreux projets de (...)

Dernières brèves

Vous pouvez participer à la vie de ce site et proposer vos propres articles en vous inscrivant ci-dessous. Vous recevrez immédiatement un email vous indiquant vos codes d'accès à l'espace privé du site.

Indiquez ici votre nom et votre adresse email. Votre identifiant personnel vous parviendra rapidement, par courrier électronique.

Votre nom ou pseudo

Votre adresse email

Articles récents

Un petit tutoriel Ada

Le dimanche 2 novembre 2008 par Samuel Tardieu

Ada au FOSDEM 2009, appel aux bonnes volontés

Le mercredi 15 octobre 2008 par Ludovic Brenta

Offre d’emploi : solutions pour centres d’appels

Le jeudi 6 mars 2008 par Ludovic Brenta

Appel à cotisations AdaFrance 2008

Le mardi 12 février 2008 par Jérôme Hugues

Présentations faites lors de la journée Ada 6 décembre 2007

Le lundi 10 décembre 2007 par Jérôme Hugues

Programme de la Journée Ada-France le 6 décembre 2007, à Brest

Le lundi 19 novembre 2007 par Jérôme Hugues

Reprise des activités d’Ada-France

Le mercredi 19 septembre 2007 par Jérôme Hugues

  • GNAT Tracker Access / http://www.adacore.com/login
  • Forgot your password? / http://www.adacore.com/login/forgot-pwd
  • Learn about GNAT Tracker / http://www.adacore.com/frontline-support/gnattracker
  • Contact Us / http://www.adacore.com/company/contact
  • Company / http://www.adacore.com/company
  • Products / http://www.adacore.com/products
  • Developers / http://www.adacore.com/knowledge
  • Training / http://www.adacore.com/training
  • Customers / http://www.adacore.com/customers
  • Ada Answers / http://www.adacore.com/adaanswers
  • Academia / http://www.adacore.com/academia
  • Support / http://www.adacore.com/support
  • / /gnatpro-day
  • / /gnatpro/
  • / /adaanswers/about/ada-2012/
  • / /codepeer/
  • / /knowledge/webinars/unit-testing-with-gnattest/
  • In the Press / http://www.adacore.com/company/presscenter
  • Drones: A hazard to your health? / http://www.eetimes.com/electronics-blogs/military---aerospace-blog/4370809/Drones--A-hazard-to-your-health-#
  • Trimming cost and size: The software side of the story / http://www.eetimes.com/design/embedded/4370270/Trimming-emedded-s-cost-and-size--The-software-side-of-the-story
  • Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade / http://www.adacore.com/press/embraer-amx-upgrade/
  • Introduction to Ada 2012, GNAT Pro 7, and GNATtest (video) / http://www.embedded-news.tv/component/resource/article/355-introducing-ada-2012-the-new-benchmark-for-reliable-safe-and-secure-systems
  • The education of embedded systems software engineers: failures and fixes / http://www.eetimes.com/design/embedded/4238223/The-education-of-embedded-systems-software-engineers--failures-and-fixes?pageNumber=0
  • An agile approach to tool qualification for DO-178C / http://mil-embedded.com/article-id/?5578
  • AdaCore Releases GNAT Pro 7.0 / http://www.adacore.com/press/gnatpro7/
  • AdaCore Releases Major New Version of CodePeer Static Analysis Tool / http://www.adacore.com/press/codepeer2-1/
  • SPARK and MILS Aid Secure Military System Design / http://www.cotsjournalonline.com/articles/view/102377
  • ‘Project P’ and ‘Hi-MoCo’ Research Projects Launched / http://www.adacore.com/press/project-p-and-hi-moco/
  • GNAT Pro Safety Critical » / http://www.adacore.com/gnatpro-safety-critical/
  • GNAT Pro High-Security » / http://www.adacore.com/gnatpro-high-security/
  • Learn More » / http://www.adacore.com/sparkpro/
  • Learn More » / http://www.adacore.com/gnatcoverage/
  • Learn More / http://www.open-do.org/projects/hi-lite/
  • Learn More » / http://www.adacore.com/gnatpro-safety-critical/frontline-support/
  • See Release Notes » / http://www.adacore.com/developers/product-updates/codepeer-2-1
  • See Release Notes » / http://www.adacore.com/developers/product-updates/gnat-pro-7-0-1
  • See Release Notes » / http://www.adacore.com/developers/product-updates/spark-pro-10-1
  • See Release Notes » / http://www.adacore.com/developers/product-updates/gps-5-1
  • See Release Notes » / http://www.adacore.com/developers/product-updates/sparkpro-10
  • Technical Papers / http://www.adacore.com/knowledge/technical-papers
  • Ada 2012 Rationale » / http://www.adacore.com/knowledge/technical-papers/ada-2012-rationale/
  • Development Log / http://www.adacore.com/developers/development-log
  • New variant of -gnatn to specify inlining level » / http://www.adacore.com/developers/development-log/NF-71-L411-021-gnat
  • Live Docs / http://www.adacore.com/developers/documentation
  • GNATcoverage Users Guide / http://docs.adacore.com/gnatcov-docs/gnatcov.html
  • Gem of the Week / http://www.adacore.com/knowledge/gems
  • Gem #125: Detecting infinite recursion with GDB’s Python API » / http://www.adacore.com/adaanswers/gems/gem-125-detecting-infinite-recursion-with-gdbs-python-api/
  • Webinars / http://www.adacore.com/knowledge/webinars
  • Introducing CodePeer 2.1 - Static Analysis Tool » / http://www.adacore.com/knowledge/webinars/introducing-codepeer-21-static-analysis-tool/
  • Ada Europe 2012 / http://www.cister.isep.ipp.pt/ae2012/