TOPLAS |
ACM Transactions on Programming Languages & Systems |
ACM |
软件工程|系统软件|程序设计语言 |
A |
TOSEM |
ACM Transactions on Software Engineering and Methodology |
ACM |
软件工程|系统软件|程序设计语言 |
A |
TSE |
IEEE Transactions on Software Engineering |
IEEE |
软件工程|系统软件|程序设计语言 |
A |
ASE |
Automated Software Engineering |
Springer |
软件工程|系统软件|程序设计语言 |
B |
ESE |
Empirical Software Engineering |
Springer |
软件工程|系统软件|程序设计语言 |
B |
TSC |
IEEE Transactions on Service Computing |
IEEE |
软件工程|系统软件|程序设计语言 |
B |
IETS |
IET Software |
IET |
软件工程|系统软件|程序设计语言 |
B |
IST |
Information and Software Technology |
Elsevier |
软件工程|系统软件|程序设计语言 |
B |
JFP |
Journal of Functional Programming |
Cambridge University Press |
软件工程|系统软件|程序设计语言 |
B |
|
Journal of Software: Evolution and Process |
Wiley |
软件工程|系统软件|程序设计语言 |
B |
JSS |
Journal of Systems and Software |
Elsevier |
软件工程|系统软件|程序设计语言 |
B |
RE |
Requirements Engineering |
Springer |
软件工程|系统软件|程序设计语言 |
B |
SCP |
Science of Computer Programming |
Elsevier |
软件工程|系统软件|程序设计语言 |
B |
SoSyM |
Software and System Modeling |
Springer |
软件工程|系统软件|程序设计语言 |
B |
STVR |
Software Testing, Verification and Reliability |
Wiley |
软件工程|系统软件|程序设计语言 |
B |
SPE |
Software: Practice and Experience |
Wiley |
软件工程|系统软件|程序设计语言 |
B |
CL |
Computer Languages, Systems and Structures |
Elsevier |
软件工程|系统软件|程序设计语言 |
C |
IJSEKE |
International Journal on Software Engineering and Knowledge Engineering |
World Scientific |
软件工程|系统软件|程序设计语言 |
C |
STTT |
International Journal on Software Tools for Technology Transfer |
Springer |
软件工程|系统软件|程序设计语言 |
C |
JLAP |
Journal of Logical and Algebraic Methods in Programming |
Elsevier |
软件工程|系统软件|程序设计语言 |
C |
JWE |
Journal of Web Engineering |
Rinton Press |
软件工程|系统软件|程序设计语言 |
C |
SOCA |
Service Oriented Computing and Applications |
Springer |
软件工程|系统软件|程序设计语言 |
C |
SQJ |
Software Quality Journal |
Springer |
软件工程|系统软件|程序设计语言 |
C |
TPLP |
Theory and Practice of Logic Programming |
Cambridge University Press |
软件工程|系统软件|程序设计语言 |
C |