II/1 Projects

The part of the reference handbook includes details of both current and previous UNU-IIST projects.

Current Projects

• Formal Methods for Object and Component Systems II/1/1/5

• Design Techniques for Real-time Embedded Systems II/1/1/6

• Formal Models for Security II/1/1/9

• Formal Analysis of Human Behaviour in Interactive Systems II/1/1/10

• Curriculum Development II/1/3

• University Development II/1/4

• UNU Research Repository II/1/5/9

• Formal Methods Tools and Applications II/1/2/13

• Software Infrastructure for e-Government

• Semantic Interoperability for Electronic Government

• Strategic IT Planning for Public Organizations

• Standards and Best Practices for Electronic Government

• e-Macao Program - Building a Foundation for e-Government in Macao

• UNeGov.net - Building a Community of Practice for e-Governance

• Developing Open Courseware for the United Nations University

Previous projects

• DeTfoRS: Design Techniques for Real-Time Hybrid Systems II/1/1/1

• DesCaRTeS: Design Calculi for Telecommunications Systems II/1/1/2

• Models for Internet-based Programming II/1/1/3

• Hardware/software Codesign II/1/1/4

• Software Testing II/1/1/7

• Open Source Software Development II/1/1/8

• RaCoSy: Railway Computing Systems II/1/2/1

• ABC'2000: Airline Business Computing II/1/2/2

• MultiScript II/1/2/3

• MoFIT: Ministry of Financ Software Infrastructure for e-Governmente IT II/1/2/4

• Telephony II/1/2/5

• MIICI: Manufacturing Infrastructures Computing II/1/2/6

• CaSIno: Categories for System Integration II/1/2/7

• Port Management II/1/2/8

• Traditional Medicine II/1/2/9

• MiTraS: Metropolitan Transport System II/1/2/10

• Object-Oriented Design Patterns II/1/2/11

• Case-based Reasoning II/1/2/12

• INCoM: Information Network Centre of Macau II/1/5/1

• Transmac Management Information System II/1/5/2

• Y2K Activitites in Macau II/1/5/3

• Macanese Database System II/1/5/4

• Projects with the UNESCO Center of Macau II/1/5/5

• Feasibility Studies on Macau Customs Computing System II/1/5/6

• Macau Handover System II/1/5/7

• The South-South Report on Software Technology

• e-Macao - Survey Project

• e-Macao - Development Project

• e-Macao - Training Project

• e-Macao - Dissemination Project

• e-Macao - Research Project

• IT Master Plan for Macao Institute for Tourism Studies

• Global Desktop Project II/1/5/10

• II/1/1 Research Projects
• II/1/2 Advanced Development Projects
• II/1/3 Curriculum Development
• II/1/4 University Development
• II/1/5 Macau Projects