Thông tin chuyên gia - Chuyên gia Đà Nẵng

Quá trình Công tác

Thời gian

Cơ quan

Vị trí

2002 - 2004

Trường Đại học Công nghệ

Thực tập sinh

2005 - 2006

Trường Đại học Công nghệ

Giảng viên hợp đồng

2006 - 2009

Trường Đại học Công nghệ

Nghiên cứu sinh tại CHLB Đức

2010 - 2009

Trường Đại học Công nghệ

Giảng viên

Đề tài

Tên đề tài	Cấp	Vai trò	Năm
Cơ sở hình thức và công cụ hỗ trợ cho thao tác mô hình trong phát triển phần mềm hướng mô hình	Đại Học Quốc Gia	Chủ trì	2014
Nghiên cứu, phát triển phần mềm mã nguồn mở hỗ trợ quản lý trường học trên địa bàn Hà Nội	Bộ	Chủ trì	2011
The project ORKA - Organizational Control Architecture, Funded by the German Ministry for Education and Research	Đề tài quốc tế	Chủ trì	2007
Phân tích và thiết kế hệ thống quản lý đào tạo của khoa Công Nghệ theo công nghệ hướng đối tượng	Đại Học Quốc Gia	Chủ trì	2002
Nghiên cứu thiết kế tổng thể hệ thống thông tin thống nhất quản lý, điều hành trường đại học	Đại Học Quốc Gia	Chủ trì	2002
Cơ sở hình thức và ngôn ngữ hỗ trợ cho chuyển mô hình	Trường	Chủ trì	2011

Tạp chí

Tên bài báo	Loại	Tạp chí
RTL: A Tool for Precise Model Transformations	trongnuoc	Journal of Science and Technology, ISSN 0866 708x
Domain Specific Language for RBAC Security Model	trongnuoc	Tạp chí Nghiên cứu Khoa học và Công Nghệ Quân Sự
Checking the Conformance Between Models Based on Scenario Synchronization	trongnuoc	Journal of Universal Computer Science
Implementing Advanced RBAC Administration Functionality with USE	trongnuoc	Electronic Communications of the EASST
Automating Inference of OCL Business Rules from User Scenarios	trongnuoc	The 20th Asia-Pacific Software Engineering Conference (APSEC 2013). Bangkok, Thailand, 2-5 December, 2013
An Approach for Quality Assurance of Model Transformations	trongnuoc	Proc. 4th International Conference on Knowledge and Systems Engineering (KSE 2012), Danang, Vietnam, August 17-19, 2012
On Scenario Synchronization	trongnuoc	Proc. 8th Int. Symp. Automated Technology for Verification and Analysis (ATVA'2010)
Precise Model-Driven Transformations Based on Graphs and Metamodels	trongnuoc	Proc. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 23-27, 2009
On Integrating OCL and Triple Graph Grammars	trongnuoc	Models in Software Engineering, Workshops and Symposia at MoDELS 2008, Toulouse, France, September 28 - October 10, 2008. Reports and Revised Selected Papers
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools	trongnuoc	Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE'07)
Triple Graph Grammars and OCL for Validating System Behavior	trongnuoc	Proc. 4th Int. Conf. Graph Transformations (ICGT'2008)
Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models	trongnuoc	Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS 2007)
From Graph Transformation to OCL using USE	trongnuoc	Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE'07)
From UML Activity Diagrams to CSP Processes: Realizing Graph Transformations in the UML and OCL Tool USE	trongnuoc	AGTIVE 2007 Tool Contest, 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance. Kassel, Germany, 2007
On Automating Inference of OCL Constraints from Counterexamples and Examples	trongnuoc	Proc. 6th Int. Conf. Knowledge and Systems Engineering (KSE), Advances in Intelligent Systems and Computing
The design pattern of the layer interacting with Relational Databases in the Object-Oriented Systems	trongnuoc	Proceedings of the National Conference on IT, Workshop in Thai Nguyen, Vietnam, August 2003

Tạp chí

Hình thức	Năm

Sở hữu trí tuệ

Ngoại ngữ

Trình độ

Kinh nghiệm

Hội đồng

Cấp

Vai trò