My Lic

Title:  UML design verification based on model checking techniques Authors:  Kishi, Tomoji Keywords:  UML;Software verification Issue Date:  2007 Publisher:  ĐHCN Abstract:  The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification. URI:  http://repository.vnu.edu.vn/handle/VNU_123/14460

Title:  Verifying Specifications with Proof Scores in CafeOBJ Authors:  FUTATSUGI, Kokich Keywords:  CafeOBJ;Proof Scores Issue Date:  2006 Publisher:  ĐHCN Abstract:  Verifying specifications is still one of the most important undeveloped reseach topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed and verified only for justifying models of problems in real world. Formal methods is not the “silver bullet”, but is still expected to improve the practice of constructions/analyses/verifications of domain/requirement/design speci- fications. URI:  http://repository.vnu.edu.vn/handle/VNU_123/14458

Title:  Diffusion behaviour of corrosive solution environments in carbon black filled modified polyethylene linings Authors:  Dinh, Van Chau Kubouchi, Masatoshi Keywords:  modified polyethylene composites;lining;diffusion;chemical degradation Issue Date:  2011 Publisher:  ĐHCN Abstract:  The diffusion behaviour of water and HCl solution at different temperatures and concentrations into a modified polyethylene filled with carbon black used for lining is presented. It has shown the predominant role of nature of environment and carbon black content. In the both environments, an increase of environmental temperature increased the capacity of environmental absorption and the diffusion rate. The lower sorption capacity was observed at 40 and 60 o C while a higher at 80o C in the water. The two-stage diffusion appeared for the case of the corrosive environment at 80o C. An increase of carbon black loading was increased both diffusion rate and saturation valu...

Title:  CONSTRUCTION AND DEVELOPMENT MUSIC STREAMING ASSOCIATED REAL-TIME SYNCHRONIZATION MOBILE APPLICATION WITH HIGH INTERACTIVITY ON MULTIPLE PLATFORMS Authors:  Bui, Thanh Son Keywords:  MULTIPLE PLATFORM Issue Date:  2006 Publisher:  ĐHCN

Title:  ANTENNA FOR MIMO SYSTEMS Authors:  Bui, Le Phuong Linh Keywords:  MIMO antennas;Three ports antenna;Antennas for WLAN Issue Date:  2011 Publisher:  ĐHCN URI:  http://repository.vnu.edu.vn/handle/VNU_123/14493

Title:  KHU VỰC HỌC LÀ GÌ? Authors:  Yumio, Sakurai Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11461

Title:  ẢNH HƯỞNG CỦA CHỮ VIẾT TỚI CHIỀU HƯỚNG VÀ SỰ PHÁT TRIỂN VĂN HÓA Ở VIỆT NAM Authors:  Đoàn, Thiện Thuật Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11520