Өндөр эрэмбийн логик програмчлал

Формаль хэл Лексик шинжилгээ Төлөвийн машин Доод түвшний дизайн Middleware ба Concurrent програмчлал Test ба Debug хийх