|
|
|
TRUONG Ninh Thuan
Addr:
|
Room 309, SE Department, IT Faculty,
College of Technology, VNU, Hanoi. |
| Email: |
thuantn AT vnu.edu.vn |
| Phone: |
(04) 7549016 |
|
 |
|
| RESEARCH |
- Formal methods, Formal verification
- Object Oriented Specification
- Component based Software Engineering
|
| TEACHING |
- Software engineering
- Unified Modelling Language (UML)
- Software Project Management
- Formal methods
- Object oriented programming with Java
|
| SELECTED PUBLICATIONS | ALL PUBLICATIONS
|
- N.T. Truong and V.H. Nguyen. Using B to verify the weaving of aspects.
In the proceeding of the 14th Asia-Pacific Software Engineering Conference (APSEC07), Japan, 2007.
- N.T. Truong and J. Souquieres. Verification of UML model elements using B.
In Journal of Information Science and Engineering. vol 22, No 2, March 2006.
- N.T. Truong and J. Souquieres. Validation of UML scenarios using the B prover.
In proceedings of Third Taiwanese-French Conference on Information Technology (TFIT). March 2006, France.
- N.T. Truong and J. Souquieres. Validation of UML static diagrams using B.
In proceedings of International conference on Software Engineering Research and Practice (SERP). Las Vegas, USA. CSREA press.
- N.T. Truong and J. Souquieres. Verification of behavioral elements of UML models using B.
In proceeding of 20th Annual ACM Symposium on Applied Computing (SAC05). New Mexico, USA. 2005.
- N.T. Truong and J. Souquieres. An approach for the verification of UML models using B.
In proceedings of 11th International Conference on the Engineering of Computer Based Systems (ECBS), Czech, IEEE Computer Society, 2004.
- N.T. Truong and J. Souquieres. Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B.
Dans les actes de la conférence Approches Formelles dans l'Assitance au Développement de Logiciels (AFADL). France, 2004.
|
|
|
|
