The IEICE Transactions on Information and Systems announces a forthcoming special issue on Formal Approach to be published in May 2010.rnFormal methods and techniques play a key role in the design and development of highly reliable hardware, software, and systems. The last decades have seen various new techniques and deep theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, test, verification, maintenance, and reuse. They are rapidly extending its application domains as a result of the recent growth of information and communication technologies.
展开▼