Requirements Capture and Analysis in ASSERT(TM). Abstract: Capturing high-level requirements in a human readable but formal representation suitable for analysis ...
確定! 回上一頁