Analyse Texte et Image pour la caractérisation de l'activité dans les Films d'Animation
暂无分享,去创建一个
Patrick Lambert | Grégory Païs | Daniel Beauchêne | Françoise Deloule | P. Lambert | Françoise Deloule | Grégory Païs | D. Beauchêne
[1] Jean Bézivin,et al. ATL: A model transformation tool , 2008, Sci. Comput. Program..
[2] David Clark,et al. UML to B: Formal Verification of Object-Oriented Models , 2004, IFM.
[3] Michael Butler,et al. U2B - A tool for translating UML-B models into B , 2004 .
[4] Amel Mammar,et al. An overview of a method and its support tool for generating B specifications from UML notations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[5] Emil Sekerinski,et al. Graphical Design of Reactive Systems , 1998, B.
[6] Kuldeep Kumar,et al. Informal and Formal Requirements Specification Languages: Bridging the Gap , 1991, IEEE Trans. Software Eng..
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Colin F. Snook,et al. UML-B: Formal modeling and design aided by UML , 2006, TSEM.
[9] Amel Mammar,et al. UML2SQL : un environnement intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML , 2004 .
[10] Jeanine Souquières,et al. ArgoUML+B : un outil de transformation systématique de spécifications UML en B , 2003 .
[11] Hung Ledang. Traduction systématique de spécifications , 2002 .
[12] Rafael-José Marcano Kamenoff. Spécification formelle à objets en UML/OCL et B : une approche transformationnelle , 2002 .
[13] E. Meyer,et al. Développements formels par objets : Utilisation conjointe de B et d'UML , 2001 .
[14] H. P. Nguyen. Derivation de specifications formelles b a partir de specifications semi-formelles , 1998 .