Eclipse Time4Sys : modélisation et vérification des contraintes temporelles des systèmes embarqués.
Time4Sys relie la description des contraintes de temps d’un système embarqué aux outils qui permettent de les vérifier.
Eclipse Time4Sys
Icône : Eclipse Time4Sys · Fondation Eclipse · Directives d’utilisation des marques des projets Eclipse · Logo officiel identifié avec le projet correspondant. Les marques restent la propriété de leurs titulaires.
Sites associés
GitHub
Héberger du code avec Git, collaborer sur des dépôts et suivre les versions, tickets et demandes d’intégration avec GitHub.
OpenFisca
Explorer le moteur libre OpenFisca et les modèles de calcul des impôts, cotisations et prestations sociales, dont le modèle français.
data.gouv.fr
Trouver et réutiliser les données ouvertes des administrations françaises, avec la source, la date de mise à jour et la licence de chaque jeu.
Python
Site officiel de Python pour télécharger le langage, choisir une version et consulter les guides, références et ressources de la communauté.
PHP
Consulter la documentation du langage PHP et retrouver les versions prises en charge pour développer et maintenir des applications web.
Eurostat
Consulter les statistiques européennes sur les prix, l’emploi, les revenus et l’économie, avec des données pour la France et les autres États membres.
data.europa.eu
Rechercher les jeux de données publics de France et d’Europe, comparer leur provenance et retrouver les conditions de réutilisation.
Go
Site officiel de Go avec les téléchargements, les guides de prise en main, la documentation du langage et les notes de version.