川山康树 证伪主义和软件工程。 （英语） Zbl 0936.03007号 安。日本人。菲洛斯协会。科学。 9，第4期，165-176（1999）. 小结：虽然波普尔的证伪主义通常是在科学合理性等哲学问题的背景下处理的，但我将借助软件工程的一个典型案例，在这里从实践的背景下考虑它。我将试图找出波普尔的证伪主义思想在哪里适用于实际的具体问题。我这样做的目的是为了证明证伪主义方法对软件开发的实际过程的适用性。 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：科学哲学；波普尔的证伪主义；软件工程 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kageyama}，Ann.日本协会Philos。科学。9，第4号，165--176（1999；Zbl 0936.03007） 全文： 内政部