5分で読めるUAF紹介:ケーパビリティ

皆さんこんにちは! 今回は、以前に紹介したUAFについて、その中身を紹 […]
ソフトウェア開発におけるモデル検査の利用例などのご紹介
皆さんこんにちは! 今回は、以前に紹介したUAFについて、その中身を紹 […]
みなさんこんにちは! 今日はOMGで規定されているアーキテクチャフレー […]
皆さんこんにちは!C4 modelというモデリング手法をご存じですか。今回は,astah* の新しいプラグイン,C4model pluginを紹介します。
モデル検査の解説の第二回目です!今回は、モデル検査が活用できる利用場面の紹介です。
モデル検査技術を用いてステートマシン図を自動検証する手法のご紹介