Chương trình theo rect.sf.net

Cho một chương trình Ada nó sẽ có thể làm kỹ thuật đảo ngượcchương trình đó do đó sản xuất sơ đồ UML. Đầu ra hiện tạiđược lên kế hoạch có thể được đọc bởi dia. Sử dụng ASIS để nhận được yêu cầuThông tin.