A high-level description is one that is more abstracted, describes overall goals and systemic features, and is typically more concerned with the system as a whole, or larger components of it. In formal methods, a high-level formal specification can be related to a low-level executable implementation (e.g., formally by mathematical proof using formal verification techniques).
This place is situated in Huizhou Shi, Guangdong, China, its geographical coordinates are 23Â° 5' 0 North, 114Â° 24' 0 East and its original name (with diacritics) is Huizhou. See Huizhou photos and images from satellite below, explore the aerial photographs of Huizhou in China.
1 Shaoguan-located in northern Guangdong. 2  Shenzhen-boom town on border with Hong Kong, SEZ. 3  Zhongshan-Hometown of the revolutionary father of modern China, Sun Yatsen, and now a major industrial city southwest of Guangzhou.4  Zhanjiang-in the West, near Hainan.nderstand [edit]. Guangdong borders the South China Sea and surrounds Hong Kong and Macau. Long a provincial backwater, the province's economic fortunes changed dramatically when Deng Xiaoping initiated economic reforms in 1978.