IIST

См. также в других словарях:

• Liu Zhiming — Zhiming Liu, born in Hebei Province, China, is a computer scientist. He studied Mathematics in Luoyang, Henan Privince in China and got his first degree in 1982. He then did his master degree in Computer Science at the Institute of Software, the… …   Wikipedia

• RCOS — is a relational semantic model and refinement calculus for object oriented and component based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU IIST. It supports both state based and event based… …   Wikipedia

• Indian Institute of Space Science and Technology, Thiruvananthapuram — Infobox University name = Indian Institute of Space Science and TechnologyThiruvananthapuram motto = विद्या सन्धि प्रवचगम सन्धानम head label = Chairman head = Dr. G. Madhavan Nair free label = Director free = Dr. B. N. Suresh type = Public… …   Wikipedia

• Open-source software — The logo of the Open Source Initiative Open source software (OSS) is computer software that is available in source code form: the source code and certain other rights normally reserved for copyright holders are provided under a software license… …   Wikipedia

• United Nations University — The nihongo|United Nations University|国際連合大学|Kokusai Rengō Daigaku (UNU) is an agency of the United Nations established in Tokyo in 1973UN document |docid=A RES 3081(XXVIII) |type=Resolution |body=General Assembly |session=28 |resolution… …   Wikipedia

• United Nations University International Institute for Software Technology — The United Nations University International Institute for Software Technology (UNU IIST) is a United Nations University Research Training Centre based in Macau. It was originally set up by the Danish professor Dines Bjørner using funding from… …   Wikipedia

• Mike Reed — Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005. Previously he was at the Oxford University Computing Laboratory where he was also a Fellow in Computation… …   Wikipedia

• Thiruvananthapuram — Infobox Indian Jurisdiction native name = Thiruvananthapuram state name = Kerala type = capital skyline = Tvmcityview.jpg skyline caption = View towards the Kerala Legislative Assembly in Trivandrum latd = 8.4874 longd = 76.952 area total =… …   Wikipedia

• College of Engineering, Trivandrum — Coordinates: 8°32′45″N 76°54′22.5″E / 8.54583°N 76.90625°E / 8.54583; 76.90625 …   Wikipedia

• RAISE — ( Rigorous Approach to Industrial Software Engineering ) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools based around a specification language (RSL) for software… …   Wikipedia

• Department of Higher Education (India) — Department of Higher Education is the department under Ministry of Human Resource Development, that oversees higher education in India. The department is empowered to grant deemed university status to educational institutions on the advice of the …   Wikipedia