Parallel/Distributed Programming

• An Intelligent Software Package Distributing System
• An Intelligent Software Package Distributing System with Formal Specification Techniques