2Ilie D.Deriving formal specification from informal requirements[C]//Proc of the 31st Annual Int Computer Software and Application Conference Los Alamitos,CA:IEEE Computer Society,2007:145-452.
3Zhang Wei,Mei Hong,Zhao Hai-yan,et al.Transformation from CIM to PIM:A Feature-Oriented Component-Based Approach[C]//Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems.Berlin Heidelberg:Springer,2005:248-263.
4Kelleher J,Simonsson M.Utilizing use case classes for requirement and traceability modeling[C]//Proc of the 17th IASTED Int Conf on Modelling and Simulation.Montreal:Acta Press,2006:609-617.
5Ferreira P,Sampaio A,Mota A.Viewing CSP specifications with UML-RT diagrams[J].Electronic Notes in Theoretical Computer Science,2008,195:57-74.
6Li Tong.An Approach to Modelling Software Evolution Processes[M].Berlin:Springer-Verlag,2008.