摘要：
一、程序语言和软件工程权威期刊类:ACM Trans on Programming Languages & SystemsAnnals of Software EngineeringIEEE Trans on Software EngineeringJnl of Functional ProgrammingACM Trans onS/W Engand MethodologyFormal Methods in System Design著名期刊类:The Jnl of Logic ProgrammingIEEE Procs - SoftwareJnl of Software Mainte 阅读全文
