UNU-IIST Reference Handbook Contents

April 15, 2008

• I: GENERAL INFORMATION
• I/1: Historical background
• I/2: Foundation documents
• I/2/1: Exploratory Study
• I/2/2: Feasibility Study
• I/2/3: Statute
• I/2/4: Agreement on Establishment &c.
• I/2/5: Agreement on Legal Status
• I/2/6: Document of Understanding
• I/2/7: Programme
• I/3: Annual Reports
• I/3/1: Annual Report 1992
• I/3/2: Annual Report 1993
• I/3/3: Annual Report 1994
• I/3/4: Annual Report 1995
• I/3/5: Annual Report 1996
• I/3/6: Annual Report 1997
• I/3/7: Annual Report 1998
• I/3/8: Annual Report 1999
• I/3/9: Annual Report 2000
• I/3/10: Annual Report 2001
• I/3/11: Annual Report 2002
• I/3/12: Annual Report 2003
• I/3/13: Annual Report 2004
• I/3/14: Annual Report 2005
• I/3/15: Annual Report 2006
• I/4: How to find us
• II: ACTIVITIES
• II/1: Projects
• II/1/1: Research Projects
• II/1/1/1: DeTfoRS: Design Techniques for Real-Time Hybrid Systems
• II/1/1/2: DesCaRTeS: Design Calculi for Telecommunications Systems
• II/1/1/3: Models for Internet-based Programming
• II/1/1/4: Hardware/software Codesign
• II/1/1/5: Formal Methods for Object and Component Systems
• II/1/1/6: Design Techniques for Real-time Embedded Systems
• II/1/1/7: Software Testing
• II/1/1/8: Open Source Software Development
• II/1/1/9: Formal Models for Security
• II/1/1/10: Formal Analysis of Human Behaviour in Interactive Systems
• II/1/2: Advanced Development Projects
• II/1/2/1: RaCoSy: Railway Computing Systems
• II/1/2/2: ABC'2000: Airline Business Computing
• II/1/2/3: MultiScript
• II/1/2/4: MoFIT: Ministry of Finance IT
• II/1/2/5: Telephony
• II/1/2/6: MIICI: Manufacturing Infrastructures Computing
• II/1/2/7: CaSIno: Categories for System Integration
• II/1/2/8: Port Management
• II/1/2/9: Traditional Medicine
• II/1/2/10: MiTraS: Metropolitan Transport System
• II/1/2/11: Object-Oriented Design Patterns
• II/1/2/12: Case-based Reasoning
• II/1/2/13: Formal Methods Tools
• II/1/3: Curriculum Development
• II/1/3/1: RAISE Course Material
• II/1/3/2: Mathematics for Computer Science Course Material
• II/1/4: University Development
• II/1/5: Macau Projects
• II/1/5/1: INCoM: Information Network Centre of Macau
• II/1/5/2: Transmac Management Information System
• II/1/5/3: Y2K Activitites in Macau
• II/1/5/4: Macanese Database System
• II/1/5/5: Projects with the UNESCO Center of Macau
• II/1/5/6: Feasibility Studies on Macau Customs Computing System
• II/1/5/7: Macau Handover System
• II/1/5/8: Macao e-Government
• II/1/5/9: UNU Research Repository
• II/1/5/10: Global Desktop Project
• II/2: Courses
• II/2/1: Course Descriptions
• II/2/1/1: Formal Software Specification Using RAISE
• II/2/1/2: Duration Calculus: A Logical Approach to Real-Time Systems
• II/2/1/3: Design Calculi for Telecommunications
• II/2/1/3/1: Beyond SDL
• II/2/1/3/2: DesCaRTeS Seminar
• II/2/1/4: Advanced RAISE Course
• II/2/1/5: Software Project Management Course
• II/2/1/6: The B Method Course
• II/2/1/7: Model Checking Course
• II/2/1/8: Course on Foundations of Software Testing
• II/2/1/9: Software Development with UML
• II/2/1/10: Design and Processing of XML Languages
• II/2/1/11: Real-Time Systems: Specification, Verification, Refinement and Schedulability
• II/2/1/12: Programming Concurrent Computer Systems
• II/2/1/13: Security: Principles, Techniques and Verification
• II/2/1/14: Operational Semantics
• II/2/1/15: Relational Methods of Program Construction and Analysis
• II/2/1/16: The rCOS Method for Component-Based and Model Driven Development
• II/2/2: Course Schedules
• II/2/2/1: Schedule of Planned Courses
• II/2/2/2: Schedule of Past Courses
• II/2/2/2/1: 1992 Courses
• II/2/2/2/2: 1993 Courses
• II/2/2/2/3: 1994 Courses
• II/2/2/2/4: 1995 Courses
• II/2/2/2/5: 1996 Courses
• II/2/2/2/6: 1997 Courses
• II/2/2/2/7: 1998 Courses
• II/2/2/2/8: 1999 Courses
• II/2/2/2/9: 2000 Courses
• II/2/2/2/10: 2001 Courses
• II/2/2/2/11: 2002 Courses
• II/2/2/2/12: 2003 Courses
• II/2/2/2/13: 2004 Courses
• II/2/2/2/14: 2005 Courses
• II/2/2/2/15: 2006 Courses
• II/2/2/2/16: 2007 Courses
• II/3: Conferences, workshops and other events
• II/3/1: 1992 Events
• II/3/2: 1993 Events
• II/3/3: 1994 Events
• II/3/4: 1995 Events
• II/3/5: 1996 Events
• II/3/6: 1997 Events
• II/3/7: 1998 Events
• II/3/8: 1999 Events
• II/3/9: 2000 Events
• II/3/10: 2001 Events
• II/3/11: 2002 Events
• II/3/12: 2003 Events
• II/3/13: 2004 Events
• II/3/14: 2005 Events
• II/3/15: 2006 Events
• II/3/16: 2007 Events
• II/4: Dissemination
• II/4/1: List of Selected Journal for Dissemination
• II/4/2: Free software for dissemination
• II/5: Seminars and Colloquia
• II/5/1: Seminars and Colloquia 1995
• II/5/2: Seminars and Colloquia 1996
• II/5/3: Seminars and Colloquia 1997
• II/5/4: Seminars and Colloquia 1998
• II/5/5: Seminars and Colloquia 1999
• II/5/6: Seminars and Colloquia 2000
• II/5/7: Seminars and Colloquia 2001
• II/5/8: Seminars and Colloquia 2002
• II/5/9: Seminars and Colloquia 2003
• II/5/10: Seminars and Colloquia 2004
• II/5/11: Seminars and Colloquia 2005
• II/5/12: Seminars and Colloquia 2006
• II/5/13: Seminars and Colloquia 2007
• II/5/14: Seminars and Colloquia 2008
• III: PUBLICATIONS
• III/1: UNU/IIST Reports
• III/2: UNU/IIST Technical Notes
• III/3: Software
• III/3/1: RAISE tools
• IV: WORKING WITH UNU/IIST
• IV/1: Collaboration
• IV/2: Fellowships
• IV/3: Sabbatical Leave