(软件工程期刊会议分档.docVIP

中国计算机学会推荐国际学术刊物 （软件工程） A类 序号 刊物简称 刊物全称 出版社 网址 TOSEM ACM Transactions on Software Engineering Methodology ACM /pubs/tosem/ TSE IEEE Transactions on Software Engineering IEEE Computer Society /portal/site/transactions TOPLAS ACM Transactions on Programming Languages Systems ACM /toplas B类 序号 刊物简称 刊物全称 出版社 网址 Automated Software Engineering Springer /computer/ai/journal/10515 Formal Methods in System Design Springer Netherlands /content/1572-8102/ Empirical Software Engineering Springer /content/1573-7616/ ASE Annals of Software Engineering Springer /computer/swe/journal/10480 Formal Aspects of Computing Springer London /content/1433-299X/ IEE Proceedings – Software the Institution of Engineering and Technology /Publish/Journals/Profjourn/Proc/sen/ Journal of Software Maintenance: Research and Practice John Wiley Sons, Ltd /cgi-bin/jhome/5391 SPE Software: Practice and Experience John Wiley Sons, Ltd /cgi-bin/jhome/1752 IJSEKE International Journal on Software Engineering and Knowledge Engineering World Scientific .sg/journals/ijseke /ijseke.shtml JSS Journal of Systems and Software Elsevier Science /wps/find /journaldescription.cws_home/505732/description#description JPL Journal of Programming Languages Chapman Hall http://elib.cs.sfu.ca/Collections/CMPT/cs-journals/P-ChapmanHall/J-ChapmanHall-JPL.html SCP Science of Computer Programming Elsevier Science /wps/find/journaldescription.cws_home/505623/description#description RE Requirements Engineering Journal Springer /content/1432-010X/ 三、C类 序号 刊物简称 刊物全称 出版社 网址 ACM SIGSOFT Software Engineering Notes ACM /SEN/ FGCS Future Generations Computer Systems Elsevier Science /wps/find/journaldescription.cws_home/505611/description#description HOSC Higher-Order and Symbolic Computation Springer Netherlands /content/1573-0557/ SEJ Software Engineering Journal Institution of Electrical Engineers (IEE) /xpl/RecentIssue.jsp?punumber=2225 STTT International Journal on Software T