中国计算机学会推荐国际学术刊物
(● 软件工程/系统软件/程序设计语言)
A类
-
序号刊物名称刊物全称出版社地址
-
1TOPLASACM Transactions on Programming Languages & SystemsACM
-
2TOSEMACM Transactions on Software Engineering and MethodologyACM
-
3TSEIEEE Transactions on Software EngineeringIEEE
B类
-
序号刊物名称刊物全称出版社地址
-
1ASEAutomated Software EngineeringSpringer
-
2ESEEmpirical Software EngineeringSpringer
-
3TSCIEEE Transactions on Service ComputingIEEE
-
4IETSIET SoftwareIET
-
5ISTInformation and Software TechnologyElsevier
-
6JFPJournal of Functional ProgrammingCambridge University Press
-
7Journal of Software: Evolution and ProcessWiley
-
8JSSJournal of Systems and SoftwareElsevier
-
9RERequirements EngineeringSpringer
-
10SCPScience of Computer ProgrammingElsevier
-
11SoSyMSoftware and System ModelingSpringer
-
12STVRSoftware Testing, Verification and ReliabilityWiley
-
13SPESoftware: Practice and ExperienceWiley
C类
-
序号刊物名称刊物全称出版社地址
-
1CLComputer Languages, Systems and StructuresElsevier
-
2IJSEKEInternational Journal on Software Engineering and Knowledge EngineeringWorld Scientific
-
3STTTInternational Journal on Software Tools for Technology TransferSpringer
-
4JLAPJournal of Logic and Algebraic ProgrammingElsevier
-
5JWEJournal of Web EngineeringRinton Press
-
6SOCAService Oriented Computing and ApplicationsSpringer
-
7SQJSoftware Quality JournalSpringer
-
8TPLPTheory and Practice of Logic ProgrammingCambridge University Press
中国计算机学会推荐国际学术会议
(● 软件工程/系统软件/程序设计语言)
A类
-
序号刊物名称刊物全称出版社地址
-
1PLDIACM SIGPLAN Symposium on Programming Language Design & ImplementationACM
-
2POPLACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesACM
-
3FSE/ESECACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering ConferenceACM
-
4SOSPACM Symposium on Operating Systems PrinciplesACM
-
5OOPSLAConference on Object-Oriented Programming Systems, Languages,and ApplicationsACM
-
6ASEInternational Conference on Automated Software EngineeringIEEE/ACM
-
7ICSEInternational Conference on Software EngineeringACM/IEEE
-
8ISSTAInternational Symposium on Software Testing and AnalysisACM
-
9OSDIUSENIX Symposium on Operating Systems Design and ImplementationsUSENIX
B类
-
序号刊物名称刊物全称出版社地址
-
1ECOOPEuropean Conference on Object-Oriented ProgrammingAITO
-
2ETAPSEuropean Joint Conferences on Theory and Practice of SoftwareSpringer
-
3ICPCIEEE International Conference on Program ComprehensionIEEE
-
4REIEEE International Requirements Engineering ConferenceIEEE
-
5CAiSEInternational Conference on Advanced Information Systems EngineeringSpringer
-
6ICFPInternational Conference on Function ProgrammingACM
-
7LCTESInternational Conference on Languages,Compilers, Tools and Theory for Embedded SystemsACM
-
8MoDELSInternational Conference on Model Driven Engineering Languages and SystemsACM, IEEE
-
9CPInternational Conference on Principles and Practice of Constraint ProgrammingSpringer
-
10ICSOCInternational Conference on Service Oriented ComputingSpringer
-
11SANERInternational Conference on Software Analysis, Evolution, and ReengineeringIEEE
-
12ICSMEInternational Conference on Software Maintenance and EvolutionIEEE
-
13VMCAIInternational Conference on Verification,Model Checking, and Abstract InterpretationSpringer
-
14ICWSInternational Conference on Web Services(Research Track)IEEE
-
15MiddlewareInternational Middleware ConferenceACM/IFIP/ USENIX
-
16SASInternational Static Analysis SymposiumSpringer
-
17ESEMInternational Symposium on Empirical Software Engineering and MeasurementACM/IEEE
-
18FMInternational Symposium on Formal MethodsFME
-
19ISSREInternational Symposium on Software Reliability EngineeringIEEE
-
20HotOSUSENIX Workshop on Hot Topics in Operating SystemsUSENIX
C类
-
序号刊物名称刊物全称出版社地址
-
1PEPMACM SIGPLAN Workshop on Partial Evaluation and Program ManipulationACM
-
2PASTEACMSIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and EngineeringACM
-
3APLASAsian Symposium on Programming Languages and SystemsSpringer
-
4APSECAsia-Pacific Software Engineering ConferenceIEEE
-
5EASEEvaluation and Assessment in Software EngineeringACM
-
6ICECCSIEEE International Conference on Engineering of Complex Computer SystemsIEEE
-
7ICSTIEEE International Conference on Software Testing, Verification and ValidationIEEE
-
8ISPASSIEEE International Symposium on Performance Analysis of Systems and SoftwareIEEE
-
9SCAMIEEE International Working Conference on Source Code Analysis and ManipulationIEEE
-
10COMPSACInternational Computer Software and Applications ConferenceIEEE
-
11ICFEMInternational Conference on Formal Engineering MethodsSpringer
-
12TOOLSInternational Conference on Objects, Models, Components, PatternsSpringer
-
13SCCInternational Conference on Service ComputingIEEE
-
14ICSSPInternational Conference on Software and System ProcessISPA
-
15SEKEInternational Conference on Software Engineering and Knowledge EngineeringKSI
-
16QRSInternational Conference on Software Quality, Reliability and SecurityIEEE
-
17ICSRInternational Conference on Software ReuseSpringer
-
18ICWEInternational Conference on Web EngineeringSpringer
-
19SPINInternational SPIN Workshop on Model Checking of SoftwareSpringer
-
20ATVAInternational Symposium on Automated Technology for Verification and AnalysisSpringer
-
21LOPSTRInternational Symposium on Logic-based Program Synthesis and TransformationSpringer
-
22TASEInternational Symposium on Theoretical Aspects of Software EngineeringIEEE
-
23MSRMining Software RepositoriesIEEE/ACM
-
24REFSQRequirements Engineering: Foundation for Software QualitySpringer
-
25WICSAWorking IEEE/IFIP Conference on Software ArchitectureIEEE