• Home
  • Research
  • Training
  • People
  • About Us
 
Home Training

Main Menu

  • Home
  • Research
  • Training
    • Arranging Schools and Courses
    • Fellowships at UNU-IIST
    • Teaching Fellowships
    • PhD Programme
    • Seminars at UNU-IIST
    • Courses at UNU-IIST
    • External Schools and Courses
  • People
  • About Us
  • Search
  • Login/out

Links

  • UNU-IIST Center for Electronic Governance
  • rCOS: Method of Model-Driven Software Design
  • Waterbase
  • UNU Update
  • UNU News
  • United Nations University
  • United Nations

 UNU-IIST offers a number of courses that can be taught in developing countries, normally by UNU-IIST staff.

 How to arrange courses is described here, while descriptions of the various courses can be found below.

 

Course Descriptions

  • Formal Methods and their Applications
  • Formal Methods for Human-Computer Interaction
  • Formal Software Development Using RAISE
  • Foundations of Software Testing
  • Programming Concurrent Computer Systems
  • Model Checking
  • Real-Time Systems: Specification, Verification, Refinement and Schedulability
  • Relational Methods of Program Construction and Analysis
  • Security: Principles, Techniques and Verification
  • Software Development with UML
  • Software Project Management
  • The rCOS Method for Component-Based and Model Driven Development

Powered by Joomla!. valid XHTML and CSS.