Executive summary thesis

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 18 5   Download

The purpose of the research: The purpose of the research topic is to build a scientific basis to propose solutions to strengthen the coordination relationship between executive power and judicial power in the control of state power in Vietnam today.

27p prisonbreak123 21-05-2021 25 4   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 37 4   Download

The research object of the thesis is the legal content related to the handling of practices in restraint of competition, the status of promulgating and enforcing the law on handling practices in restraint of competition in Vietnam, international experience in completing laws governing practices in restraint of competition and handling practices in restraint of competition.

30p nguathienthan10 23-02-2021 14 2   Download

The dissertation's research purpose is through the study of impact assessment activities before the legal documents of provincial governments to propose solutions to further improve this activity, indirectly contributing to improve the quality of legal documents of provincial governments.

27p cothumenhmong6 17-07-2020 21 2   Download

The research objective of the thesis is to focus on proposing solutions to improve the capacity of supply chain management in medical examination and treatment at Military Medical Hospitals in Hanoi, the case study of Hospital 108 , 103 and 354.

28p cothumenhmong6 17-07-2020 26 2   Download

The dissertation aims to systematize and clarify theories on managerial human resources development in Vietnam Rubber Group under the economic management approach; analyze and evaluate the current situation of managerial human resource development in Vietnam Rubber Group, then make some major recommendations on managerial human resource development in Vietnam Rubber Group (with the focus on top executives and middle managers under succession planning who are managed by the direct State administration agency) in the period to 2025.

26p kequaidan6 15-07-2020 34 1   Download

In Vietnam, there is no complete and systematic research but preliminary research on prosecution of imprisonment execution. In other nations, there are research on the prosecution/supervision of imprisonment execution but they studies on foreign laws and reality. Therefore, this thesis is not duplicated and foreign works as reference materials which contribute to the development of the thesis.

25p kequaidan6 15-07-2020 29 1   Download

This study makes an original contribution to both of theory and practice through forming and validating the ERP success model for accounting professionals only. In a little more detail, it provides empirical evidence regarding Hunton’s accounting value chain (2002). In addition, it discovers and proves effective use as the most appropriate system-use concept so far. Moreover, it makes an effort to investigate outcomes of accounting benefits perceived from ERP system, which related-studies are much further underresearched.

29p kequaidan6 15-07-2020 20 1   Download

The purpose of the study is to clarify the theoretical and practical issues of national responsibility for ensuring nuclear safety through in-depth and comprehensive study of the rules of international law executed in some typical countries in the world. On that basis, recommendations are made to improve the law on national responsibility for ensuring nuclear safety in Vietnam.

27p quenchua 28-09-2019 52 3   Download

The study is carried out through two phases: In the first phase, the study uses qualitative methods to explore and find out main factors that local firms apply in their operations and business activities. This method is conducted through focus groups, in-depth interviews with 12 senior executives, CEOs, owners coming from Vietnamese firm in marketing communication industry. The second phase, main survey is implemented by using in both face to face interviews and direct mailing with broader scope to Vietnamese firm in marketing communication industry, in Ho Chi Minh City.

24p bibianh 19-09-2019 27 4   Download

Clarifying the main theoretical issues about economic efficiency of FDI in the province to apply to the study of FDI in Vietnam's localities. Proposing solutions to improve the economic efficiency of FDI in Vinh Phuc province by 2025 with scientific bases; thereby providing more scientific basis for local authorities in planning the policy of attracting FDI, renewing the management of FDI enterprises and improving the economic efficiency of FDI in the coming years.

27p dungmaithuy 18-09-2019 46 4   Download

The PhD thesis studies the theoretical and practical issues of fixed asset accounting in coal mining enterprises of Vinacomin. In particular, the thesis focuses on studying the principles of measuring, recording, presenting and providing information on fixed assets as well as the method to collect, process, analyze and provide information in respond to requirements of fixed asset management. The thesis studies the application of these principles in the practice of fixed asset accounting in Vinacomin's coal mining enterprises.

32p dungmaithuy 18-09-2019 24 3   Download

Purpose: Through the study of the Party’s policy and guidance, along with actual cooperation cooperation on education and training between Vietnam and ASEAN countries over the last 15 years (1995-2010), this thesis asserts the activeness and insight of Party in prioritizing education and training cooperation as the basis for promoting comprehensive cooperation with other ASEAN countries, thus emphazing the achievements as well as limitations and drawing out fundamental lessons.

33p nguyenthiminh32 12-07-2014 91 6   Download