アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 4 - Modules
This blog continues Part 1, Part 2, and Part 3 of our series on s...
お役立ちコラム
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 3 - First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software s...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 2 - Basics of CafeOBJ
This blog continues Part 1 of our series on software specificatio...
サイバーレジリエンス
通信プロトコルの脆弱性(3)
前回の記事からずいぶん時間が経ってしまいましたが、今回も前回に引き続き、ネットワークの通信プロトコルに潜む脆弱性について見ていき...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 1 - Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, t...
Webインフラ関連のトレンド
「CES 2018」に見る家電のトレンドと、サービス基盤として求められる安定したインターネットの重要性
早いものでこのコラムを始めて一年が過ぎました。一年前にこのコラムで紹介した米国ラスベガスで開催された家電の展示会「CES」、今回...
アクセリアの研究
Analyzing Debian packages with Neo4j - Part 3 Getting data from UDD into Neo4j
In the first part and the second part of this series of articles ...
アクセリアの研究
Analyzing Debian packages with Neo4j - Part 2 UDD and Graph DB Schema
In the first part of this series of articles on analyzing Debian ...