Prototyping an Inconsistency Checking Tool for Software Process Models

Jin-Kao Hao; Jean-Jacques Chabrier; Francois Trousset

Năm xuất bản1992

Nguồn học thuậtIEEE Comput. Soc. Press

Định danhDOI 10.1109/seke.1992.227924

TRÍCH DẪN ĐỀ XUẤTAPA 7

Jin-Kao Hao; Jean-Jacques Chabrier; Francois Trousset (1992). Prototyping an Inconsistency Checking Tool for Software Process Models. IEEE Comput. Soc. Press, 227-234. https://doi.org/10.1109/seke.1992.227924

Thông tin thư mục

Nguồn/Tạp chí: IEEE Comput. Soc. Press
Trang: 227-234
Nhà xuất bản: IEEE Comput. Soc. Press
DOI: 10.1109/seke.1992.227924 ↗

Từ khóa

Prolog application; Inconsistency checking; Software process modeling