540 followers
RT @tomooda: モバイルFeliCaファームウェア開発でのVDMの役割もこれ。実際に証明までしなくても、証明を意識した言語で仕様を記述するだけでも仕様の品質向上に役立った事例。https://t.co/m6TCfsScFR
RT @tomooda: モバイルFeliCaファームウェア開発でのVDMの役割もこれ。実際に証明までしなくても、証明を意識した言語で仕様を記述するだけでも仕様の品質向上に役立った事例。https://t.co/m6TCfsScFR
モバイルFeliCaファームウェア開発でのVDMの役割もこれ。実際に証明までしなくても、証明を意識した言語で仕様を記述するだけでも仕様の品質向上に役立った事例。https://t.co/m6TCfsScFR