OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Tran, Hanh Nhi"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Article

Makhlouf, Amani and Percebois, Christian and Tran, Hanh Nhi. An Auto-active Approach to Develop Correct Logic-based Graph Transformations. (2018) International Journal on Advances in Software, 11 (1 & 2). 147-158. ISSN 1942-2628

Conference or Workshop Item

El Hamlaoui, Mahmoud and Coulette, Bernard and Ebersold, Sophie and Bennani, Saloua and Nassar, Mahmoud and Anwar, Adil and Beugnard, Antoine and Bach, Jean-Christophe and Jamoussi, Yassine and Tran, Hanh Nhi. Alignment of viewpoint heterogeneous design models: Emergency Department Case Study. (2016) In: 4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, 4 October 2016 - 4 October 2016 (Saint-Malo, France).

Vo, Tan Thuan and Coulette, Bernard and Tran, Hanh Nhi and Lbath, Redouane. Defining and Using Collaboration Patterns for Software Process Development. (2015) In: International Workshop on Cooperative Model Driven Development (CMDD 2015) Co-located with MODELSWARD 2015, 9 February 2015 - 9 February 2015 (Angers, France).

Baklanova, Nadezhda and Brenas, Jon Haël and Echahed, Rachid and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Provably correct graph transformations with small-tALC. (2015) In: 11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine).

Hajmoosaei, Mojtaba and Tran, Hanh Nhi and Percebois, Christian and Front, Agnes and Roncancio, Claudia. Towards a change-aware process environment for system and software process. (2015) In: International Conference on Software and System Process (co-located with ICSE) (ICSSP 2015), 24 August 2015 - 26 August 2015 (Tallinn, Estonia).

Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Rule-level verification of graph transformations for invariants based on edges' transitive closure. (2013) In: 11th International Conference Software Engineering and Formal Methods (SEFM 2013), 25 September 2013 - 27 September 2013 (Madrid, Spain).

This list was generated on Wed Jul 17 16:21:47 2019 CEST.