アクセリアの研究
DebConf 2018 in 新竹 レポート
Debian Developers Conferenceは毎年開催され、今年は7月29日から8月5日の日程で、台湾の新竹で開催さ...
お役立ちコラム
アクセリアの研究
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...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 1 - Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, t...
アクセリアの研究
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 ...
アクセリアの研究
Analyzing Debian packages with Neo4j
The Ultimate Debian Database UDD collects a variety of data aroun...