Log

Protected: Research Proposal: Formal Methods and Design for Security for Solidity

This content is password protected. To view it please enter your password below:

Related posts:

HSBC’s New Securities Blockchain Will Control $20B

HSBC will upgrade their blockchain technology to control $20 billion in assets by March 2020.┬áDigital Vault, the blockchain HSBC announced today, will control assets referred to as “private placements”, which are securities bought on private markets. Digital Vault will use distributed ledger technology to “give investors real-time access to their records”.

Five More Lessons about Documentation: A follow-up to Mark Birch’s “Developer Documentation”

Last week’s DevBizOps blog entry (“Developer Documentation: Developers don’t like writing docs, what’s the alternative?“) asked: How programmers can get their answers from documentation, and are there alternatives? As ever Mark’s post advises on questions every developer has to ask in understanding software. Open source or proprietary, documentation is necessary either for using, extending, or changing software. The costs of searching for answers are known to developers and project managers. Empirical literature and decades of research in software comprehension and reverse engineering show that the costs of understanding software are significant. What, then, can be done? We offer five more lessons in addition to Mark’s post, presented as “formulas”: