2012-07-01から1ヶ月間の記事一覧

case studies in software engineering

Yin, R. K. (2002) Case Study Research: Design and Methods (3rd Edition). CA:Sage. Stake, R.E. (1995). The art of case study research. Thousand Oaks, CA:Sage. Ragin, C.C., & Becker, H.S. (Eds.). (1992). Whatis a case? Exploring the foundati…

An Evaluation of Random Testing

J. W. Duran and S. C. Ntafos. An Evaluation of Random Testing. IEEE Transactions on Software Engineering, pages 438-444, July 1984.ABSTRACTRandom testing of programs has usually (but not always) been viewed as a worst case of program testi…

How to read embedded quantifiers in Predicate logic

There exists x such that P(x,y) for any y in Y. For all x in X, there exists y such that P(x,y). There exists x in X such that P(x,y) for some y in Y. For all x in X, P(x,y) for all y in Y.

論理学の両本:復刊 数理論理学 (著) 松本 和夫

復刊 数理論理学作者: 松本和夫出版社/メーカー: 共立出版発売日: 2001/08/15メディア: 単行本購入: 3人 クリック: 12回この商品を含むブログ (6件) を見る数理論理学の基本がコンパクトにまとまっている。数理論理学の入門書はたくさんあり、それぞれまとめ…