这是我们参加06年全国开源软件的竞赛作品,已经在SourceForge上开源,是一个针对BPEL的形式化验证工具-This is our country take part in open-source software in 2006 race works, has been on the SourceForge open source, is a response to the Formal Verification of BPEL tools
一个基于Java技术编写的24点游戏逼真图形版,调用了很多图片去显示游戏内容,很逼真。不妨研究一下。-Based on Java technology to prepare a 24-point games with lifelike graphics version, called a lot of pictures to display the game content, is very realistic. May wish to look.