這裡是對CMU的Philip Koopman教授的著作Better Embedded System Software 20章做的翻譯練習。 重點提示. 軟體設計藉由總攬全局的上層表示在不給出每一行的規範前提下?
確定! 回上一頁