Keyword : falsification


Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
Weiqiang KONG Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 974-984
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Specification
Keyword: 
e-Government messaging frameworkformal methodsthe OTS/CafeOBJ methodfalsificationverification
 Summary | Full Text:PDF(534.1KB)

Philosophical Aspects of Scientific Discovery: A Historical Survey
Keiichi NOE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/01/25
Vol. E83-D  No. 1 ; pp. 3-9
Type of Manuscript:  INVITED PAPER (Special Issue on Surveys on Discovery Science)
Category: 
Keyword: 
falsificationparadigmmetaphorrhetoric
 Summary | Full Text:PDF(194.8KB)