题7-12：研发设计软件开源项目都有哪些？