Doctorant "De l'intention à l'implémentation : SpecIA, un langage de spécification agile pour l'ingénierie des systèmes embarqués

Description

Spécification facilitant la capture des intentions de l’ingénieur (description d’architecture et/ou du comportement attendu, etc.), puis d’en illustrer …