Items where Author is "Nguyen, Viet Ha"

Article

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2020) Generative Software Module Development for Domain-Driven Design with Annotation-Based Domain Specific Language. Information and Software Technology, 120 . pp. 1-32. ISSN 0950-5849

Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet Ha (2019) ON LOCALLY MINIMUM AND STRONGEST ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION. IEICE Transactions on Information and Systems . ISSN 0916-8532 (In Press)

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2018) On Domain Driven Design Using Annotation-Based Domain Specific Language. Computer Languages, Systems and Structures, 54 . pp. 199-235. ISSN 1477-8424

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. VNU Journal of Computer Science and Communication Engineering . ISSN 0866-8612 (In Press)

Vu, Thi Dao and To, Van Khanh and Nguyen, Viet Ha (2014) Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL. Tạp chí CNTT & TT: Các công trình nghiên cứu, phát triển và ứng dụng CNTT & TT, V (11). pp. 70-82.

Truong, Ninh Thuan and Nguyen, Viet Ha (2013) An Approach to Checking Security Policy in Software Development. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940

Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A (9). pp. 1451-1460. ISSN 0916-8508

Nguyen, Thu Trang and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Verifying Java Object Invariants at Runtime. International Journal of Software Engineering and Knowledge Engineering, 21 (04). pp. 605-619.

Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2010) A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions on Information and Systems, E93-D (8). pp. 2172-2181. ISSN 0916-8532

Conference or Workshop Item

Nguyen, Ngoc Khuong and Le, Anh Cuong and Nguyen, Viet Ha (2018) A Hierarchical Conditional Attention-Based Neural Networks for Paraphrase Generation. In: 2018 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI), 18-20 November 2018, Hanoi.

Nguyen, Ngoc Khuong and Le, Anh Cuong and Nguyen, Viet Ha (2018) An Attention-Based Long-Short-Term-Memory Model for Paraphrase Generation. In: IUKM 2018, 04 February 2018.

Phan, Anh and Chu, Thua Vu and Bui, Quang Hung and Nguyen, Thi Nhat Thanh and Nguyen, Viet Ha (2018) Preliminary Result of 3D City Modelling For Hanoi, Vietnam. In: 2018 The 5th NAFOSTED Conference on Information and Computer Science (NICS), 23-24 November 2018, Ho Chi Minh city, Vietnam. (In Press)

Nguyen, Ha Thanh and Nguyen, Viet Ha and Vu, Viet Anh (2017) A Knowledge Representation for Vietnamese Legal Document System. In: The 9th International Conference on Knowledge and Systems Engineering (KSE), 19-21 October 2017, Hue, Vietnam.

Dinh, Ngoc Thi and Vo, Dinh Hieu and Vu, Thi Dao and Nguyen, Viet Ha (2017) Generation of Test Data Using Genetic Algorithm and Constraint Solver. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2017) Generative Software Module Development: A Domain-Driven Design Perspective. In: The 9th International Conference on Knowledge and Systems Engineering (KSE), 19-21 October 2017, Hue, Vietnam. (In Press)

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2017) A Method for Automated Test Cases Generation from UML Models with String Constraints. In: The 9th Asian Conference on Intelligent Information and Database Systems, 2017, Japan.

Nguyen, Duc Anh and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Unit Testing of C Programs. In: NICS: 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science, 14-16 September 2016, Da Nang city, Viet Nam.

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2016) Domain-Driven Design Using Meta-Attributes: A DSL-Based Approach. In: The 8th International Conference on Knowledge and Systems Engineering (KSE), 6-8 October 2016, Hanoi, Vietnam.

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2016) Domain-Driven Design Patterns: A Metadata-Based Approach. In: 12th International Conference on Computing and Communication Technologies (RIVF), 7-9 November 2016, Hanoi, Vietnam.

Dinh, Thi Ngoc and Vo, Dinh Hieu and Nguyen, Viet Ha (2016) A Technique for Generating Test Data using Genetic Algorithm. In: The 2016 International Conference on Advanced Computing and Applications, 23-25 November 2016, Vietnam.

Dao, Thi Huong and To, Van Khanh and Truong, Ninh Thuan and Chu, Quang Ton and Nguyen, Viet Ha (2015) Integrating and Checking Access Permissions in Object Oriented Models. In: NICS: 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science, 16-18 September 2015, Ho Chi Minh city, Vietnam.

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2015) A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language. In: SoICT: the 2015 Symposium on Information and Communication Technology, 3-4 December 2015, Hue, Vietnam.

Vu, Quang Dung and Nguyen, Ha Thanh and Vu, Danh Viet and Nguyen, Viet Ha and Nakajima, Nobuyasu (2014) An Architecture for Web Services Mash-Up based on Mobile Agents. In: 2014 : The 5th Symposium on Information and Communication Technology (SoICT 2014), 4-6 December 2014, Ha Noi, Viet Nam.

Ngo, Thi Duyen and Vu, Thi Hong Nhan and Nguyen, Viet Ha and Bui, The Duy (2014) Improving Simulation of Continuous Emotional Expressions by Analyzing Video of Human Facial Activities. In: 2014: the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 1-5 December 2014, Queensland, Australia.

Vu, Quang Dung and Vu, Danh Viet and Nguyen, Ha Thanh and Bui, Phi Diep and Nguyen, Viet Ha and Nakajima, Nobuyasu (2014) Adaptive Web Page Layout for Mobile Devices. In: 2014: The 2nd International Conference on Computing, Management and Telecommunications (ComManTel 2014), 27-29 April 2014, Danang, Vietnam.

Vu, Quang Dung and Nguyen, Viet Ha and Nobuyasu, Nakajima (2014) Agent based Adaptive Connection of Mobile Devices. In: 2014: The 2nd International Conference on Computing, Management and Telecommunications (ComManTel 2014), 27-29 April 2014, Danang, Vietnam.

Ngo, Thi Duyen and Vu, Thi Hong Nhan and Nguyen, Viet Ha and Bui, The Duy (2014) Improving Simulation of Continuous Emotional Facial Expressions by Analyzing Videos of Human Facial Activities. In: PRIMA: the 17th International Conference on Principles and Practice of Multi-Agent Systems, 1-5 December 2014, Queensland, Australia.

Bui, Phi Diep and Nguyen, Trong Khanh and Nguyen, Viet Ha (2013) A runtime approach for estimating resource usage. In: SoICT: the 2013 Symposium on Information and Communication Technology, 5-6 December 2015, Danang, Vietnam.

Vo, Hieu Dinh and Phung, Dung Chi and Vu, Quang Dung and Nguyen, Viet Ha (2012) Securing Data in Composite Web Services. In: 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE), 17-19 August 2012, Danang, Vietnam.

Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies.

Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), February 27 - March 1, 2012, Ho Chi Minh city.

Trinh, Thanh Binh and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Refining Undetermined Events for Specifying Concurrent Programs. In: KSE: the 2011 International Conference on Knowledge and Systems Engineering, October 2011, Vietnam.

Nguyen, Viet Ha and Bui, The Duy and Vu, Quang Dung and Nguyen, Thi Thu Hien (2010) Towards scalable agent based web service systems. In: 4th International Conference on New Trends in Information Science and Service Science, 11-13 May 2010, Gyeongju, Korea.

Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.

Ngo, Xuan Bach and Le, Anh Cuong and Nguyen, Viet Ha and Nguyen, Ngoc Binh (2008) Transformation Rule Learning without Rule Templates: A Case Study in Part of Speech Tagging. In: Advanced Language Processing and Web Information Technology, 2008.

Truong, Ninh Thuan and Nguyen, Viet Ha (2007) Using B to Verify the Weaving of Aspects. In: 14th Asia-Pacific Software Engineering Conference (APSEC'07).

Nguyen, Ngoc Bao and Nguyen, Viet Ha (2006) An Approach to Estimate Software Cost within a Narrow Context. In: ICTACS 2006.