软件工程210-08-30-06_36_44.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