The IEICE Transactions on Information and Systems announces a forthcoming special section on Formal Approach to be published in May 2011. Formal 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. The Special Section on Formal Approach aims at stimulating research on formal approach to information systems, ranging from fundamental theory to case studies in practical systems. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers.
展开▼