Vous êtes ici
13e édition de la conférence internationale Formal Aspects of Component Software (FACS)
L'approche - actuellement émergente - de développement de
logiciels fondée sur les composants s'appuie sur un paradigme prometteur pour
faire face à la complexité des logiciels actuels. Il reste toutefois de
nombreux défis, tant conceptuels que techniques, tant théoriques que pratiques.
En outre, les systèmes hébergés et l'Internet des objets apportent
de nouvelles opportunités et de nouvelles notions, telles que la qualité, la
robustesse, les reconfigurations. Ces nouveautés mènent à la révision de
beaucoup de concepts.
FACS 2016 aborde l'utilisation de méthodes formelles pour la
programmation de logiciels et de services fondés sur des composants physiques.
De telles méthodes ont conduit à des modèles mathématiques pour la définition,
la composition et l'adaptation de ces composants. Elles ont aussi abouti à des approches
rigoureuses pour la vérification, le déploiement, le test et la certification.
La conférence vise ainsi les applications de méthodes formelles dans
tous les aspects des composants et services logiciels, avec une attention
particulière aux systèmes physiques connectés et à l'Internet des objets. Voici
une liste non exhaustive des champs spécifiques :
- modèles, aspects formels et modélisations pour les composants,
services, interactions et architectures ;
- tests de composants et de services fondés sur des modèles et
des interfaces graphiques ;
- modèles pour la composition, le déploiement et l'étude de
propriétés non fonctionnelles (p. ex., confiance, sécurité,etc.) ;
- évolution, mise à jour, reconfiguration, (auto-)adaptation
de systèmes.
Cette conférence rassemblera à Besançon du 19 au 21 octobre une cinquantaine de scientifiques internationaux du domaine.
Plus d'infos
A la rencontre des acteurs de l'Innovation
Tout au long de la journée du jeudi 19 mars 2009, rencontrez les acteurs de l’innovation, ceux qui la font et ceux qui peuvent vous aider dans votre démarche…
Faites connaissance avec les entreprises et les projets incubés de TEMIS Innovation, ils vous ouvrent leurs portes.
Lire la suite
Séminaire 'Saisir les opportunités dans la nano-photonique'
Profitant de la présence en France de James Pond, expert en modélisation optique par la méthode "Finite Difference Time Domain", nous vous invitons à venir l'écouter lors du séminaire intitulé : "Saisir les opportunités dans la nano-photonique"
Ce séminaire aura lieu le vendredi 3 avril 2009 à 14h dans l'amphi FEMTO-ST.
Lire la suite
Journée Test et mesure AGILENT
Exposition de matériels test et conférence sur les oscilloscopes et l'intégrité du signal le jeudi 2 avril 2009 de 9h30 à 17h00 à l'institut FEMTO-ST.
Lire la suite
e-maintenance : la Franche-Comté mise sur la plate-forme SISTRE
Stratégie de maintenance et e-maintenance sont les maîtres mots traduisant la problématique industrielle étudiée par FEMTO-ST et plus particulièrement par l’équipe COSMI du département de recherche AS2M. Le système industriel SISTRE, rénové et financé par la région Franche-Comté, permet de marier des outils matériels et logiciels pour mettre au point la maintenance interactive de demain.
Un article de presse est paru dans le bimestriel Référence Industrie de mars 2009
Lire la suite
FEMTO-ST au rassemblement national des délégués de laboratoire
Deux représentants de FEMTO-ST participeront au rassemblement national des délégués de laboratoire, qui a lieu le jeudi 12 mars à l’Institut Océanographique à Paris.
Lire la suite
A la rencontre des acteurs de l'Innovation
Tout au long de la journée du jeudi 19 mars 2009, rencontrez les acteurs de l’innovation, ceux qui la font et ceux qui peuvent vous aider dans votre démarche…
Lire la suite
FEMTO-Innovation présent du 3 au 8 mars sur le salon CeBIT à Hanovre
FEMTO-Innovation à l’instar de 11 autres instituts Carnot membres du groupe « Technologie de l’Information et de la Communication, Micro et Nano Technologies » sera présent au CeBIT, 1er salon mondial des Technologies de l’Information et de la Communication (TIC), du 03 au 08 mars 2009 à Hanovre, Allemagne, sur le pavillon français du hall 9, stands B21 A et H.
Lire la suite
Tête chercheuse en nano-optique
Coup de projecteur sur Maria Pilar Bernal Artajona, chercheuse à FEMTO-ST...
Lire la suite
Concours "Faites de la science"
Le concours "Faites de la science" a pour objectif la promotion des sciences en contribuant à l'acquisition d'une culture scientifique et scientifique et technique et à une ouverture sur la démarche scientifique, par les élèves des collèges et lycées de la région. Toutes les idées sont bonnes pour autant qu'elles entrent dans les objectifs et l'esprit du concours. L'attribution de bourses vise à encourager le maximum d'initiatives.
Lire la suite
Conférences Nanozoom - Micronora
En partenariat avec Micronora, notre institut de recherche organise les 24 et 25 septembre 2008 à Besançon, au cours du salon international des microtechniques, un cycle de conférences de haut niveau en langue française et anglaise dédié aux applications des micro et nanotechnologies.
Lire la suite
Pages