March 2011 archive

Programmation dirigée par la spécification (D. Cassou)

Date : 15 avril, 10h, IRICICA Intervenant : Damien Cassou Titre : Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification Résumé : Nombre d’applications ont pour comportement principal l’attente d’un événement venant d’un environnement extérieur, la préparation d’un résultat et l’exécution d’actions sur cet environnement. Les interfaces graphiques et les …

Continue reading

Transparent Componentisation: High-level (Re)configurable Programming for Evolving Distributed Systems (F. Taïani)

Speaker: François Taïani Component frameworks and high-level distributed languages have been widely used to develop distributed systems, and provide complementary advantages: Whereas component frameworks foster composability, reusability, and (re)configurability; distributed languages focus on behaviour, simplicity and programmability. In this paper, we argue that both types of approach should be brought together to help develop complex …

Continue reading