2017-06-25から1日間の記事一覧
ソフトウェアとは何なんだろうか? 曖昧な要件を矛盾のない仕様に落とし、さらに自然言語だと曖昧さが残るので、 曖昧さを許さないプログラミング言語に翻訳する段階で、なにが曖昧であるかに気づき、 その曖昧さをなくし、完全に曖昧さも矛盾もない仕様に落…
ソフトウェアとは何なんだろうか? 曖昧な要件を矛盾のない仕様に落とし、さらに自然言語だと曖昧さが残るので、 曖昧さを許さないプログラミング言語に翻訳する段階で、なにが曖昧であるかに気づき、 その曖昧さをなくし、完全に曖昧さも矛盾もない仕様に落…