先生とサテライトキャンパスで打合せ コマンドのプロセス代数へのマッピングをちゃんと書くこと AlureやHarelの形式化の最後をプロセス代数にマッピングすることで対応 MSCからプロセス代数へマッピングできるところの制限事項等の明確化 なんでも変換できる…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。