中国计算机学会推荐的软件工程类国际学术刊物与会议.doc

中国计算机学会推荐国际学术刊物（软件工程）一、 A类序号刊物简称刊物全称出版社网址1.TOSEMACM Transactions on Software Engineering MethodologyACM/pubs/tosem/2.TSEIEEE Transactions on Software EngineeringIEEE Computer Society/portal/site/transactions3.TOPLASACM Transactions on Programming Languages & SystemsACM/toplas二、 B类序号刊物简称刊物全称出版社网址1.Automated Software EngineeringSpringer/computer/ai/journal/105152.Formal Methods in System DesignSpringer Netherlands/content/1572-8102/3.Empirical Software EngineeringSpringer/content/1573-7616/4.ASEAnnals of Software EngineeringSpringer/computer/swe/journal/104805.Formal Aspects of ComputingSpringer London/content/1433-299X/6.IEE Proceedings Softwarethe Institution of Engineering and Technology/Publish/Journals/Profjourn/Proc/sen/7.Journal of Software Maintenance: Research and PracticeJohn Wiley & Sons, Ltd/cgi-bin/jhome/53918.SPESoftware: Practice and ExperienceJohn Wiley & Sons, Ltd/cgi-bin/jhome/17529.IJSEKEInternational Journal on Software Engineering and Knowledge EngineeringWorld Scientific.sg/journals/ijseke/ijseke.shtml10.JSSJournal of Systems and SoftwareElsevier Science/wps/find/journaldescription.cws_home/505732/description#description11.JPLJournal of Programming LanguagesChapman & Hallhttp:/elib.cs.sfu.ca/Collections/CMPT/cs-journals/P-ChapmanHall/J-ChapmanHall-JPL.html12.SCPScience of Computer ProgrammingElsevier Science/wps/find/journaldescription.cws_home/505623/description#description13.RERequirements Engineering JournalSpringer/content/1432-010X/三、C类序号刊物简称刊物全称出版社网址1.ACM SIGSOFT Software Engineering NotesACM/SEN/2.FGCSFuture Generations Computer SystemsElsevier Science/wps/find/journaldescription.cws_home/505611/description#description3.HOSCHigher-Order and Symbolic ComputationSpringer Netherlands/content/1573-0557/4.SEJSoftware Engineering JournalInstitution of Electrical Engineers (IEE)/xpl/RecentIssue.jsp?punumber=22255.STTTInternational Journal on Software Tools for Technology TransferSpringer Berlin/Heidelberg/content/1433-2787/6.JFLPJournal of Functional and Logic ProgrammingThe MIT Presshttp:/danae.uni-muenster.de/lehre/kuchen/JFLP/7.Journal of Logic and ComputationOxford University Press/8.SoSyMSoftware and System ModelingSpringer/9.Software Quality JournalSpringer US/computer/programming/journal/1121910.STVRSoftware Testing, Verification and ReliabilityJohn Wiley & Sons, Ltd/cgi-bin/jhome/1363511.International Journal of Agent-Oriented Software EngineeringInderScience Publishers/ijaose/12.JFPJournal of Functional ProgrammingCambridge University Press/journals/JFP/13.Information and Software TechnologyElsevier Science /wps/find/journaldescription.cws_home14.Computer Languages, Systems and StructuresElsevier Science/wps/find/journaldescription.cws_home/638299/description#description中国计算机学会推荐国际学术会议（软件工程）一、A类序号会议简称会议全称出版社网址1.ICSEInternational Conference on Software EngineeringACM SIGSOFT and IEEE TCSE//sc/index.html2.FSEACM Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly)ACM/3.POPLACM SIGPLAN - SIGACT Symposium on Principles of Programming LanguagesACM SIGPLAN - SIGACT/dpw/popl/06/4.OOPSLAOO Programming Systems, Languages and ApplicationsACM/2006/二、B类序号会议简称会议全称出版社网址1.PEPMACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming ManipulationACM SIGPLAN/santos/pepm06/2.PLDIACM SIGPLAN Symposium on Programming Language Design & ImplementationACM SIGPLAN/sigs/sigplan/pldi.htm3.ICFPInternational Conf on Function ProgrammingACM/icfp/4.FMFormal Methods, World CongressFME/5.LICSIEEE Symposium on Logic in Computer ScienceIEEErmatik.hu-berlin.de/lics/6.ASEInternational Conference on Automated Software EngineeringIEEE/ACM.uk/7.ECOOPEuropean Conference on Object-Oriented ProgrammingAITO/8.COLINGInternational Conference on Computational LinguisticsICCLhttp:/www.dcs.shef.ac.uk/research/ilash/iccl/9.MoDELSInternational Conference on Model Driven Engineering Languages and SystemsACM, IEEE/10.SASInternational Static Analysis SymposiumSpringer/events/dmconf/m2005/11.REIEEE International Requirement Engineering ConferenceIEEE/www-gessi/re08/12.CONCURInternational Conference on Concurrency TheoryACM SIGACThttp:/www.cse.yorku.ca/concur08/13.ISSTAInternational Symposium on Software Testing and AnalysisACM SIGSOFT/14.ICSMInternational. Conference on Software MaintenanceIEEE/15.CCInternational Conference on Compiler ConstructionSpringerhttp:/www.sable.mcgill.ca/hendren/CC2008/16.COMPSACInternational Computer Software and Applications ConferenceIEEE/compsac/2008/17.ESECEuropean Software Engineering ConferenceACMhttp:/www.idt.mdh.se/esec-fse-2007/18.ICSRInternational Conference on Software ReuseSpringer/三、 C类序号会议简称会议全称出版社网址1.ICECCSIEEE International Conference on Engineering of Complex Computer SystemsIEEE/2.SEKEInternational Conference on Software Engineering and Knowledge EngineeringKSI/seke/seke06.html3.IWSSDInternational Workshop on Software Specifications & DesignIEEE/irus/iwssd/index.html4.FoSSaCSInternational Conference on Foundations of Software Science and Computation StructuresSpringerhttp:/fossacs06.ru.is/5.EMSOFTInternational Conference on Embedded SoftwareACM/6.CAiSEInternational Conference on Advanced Information Systems EngineeringSpringerhttp:/www.tudor.lu/caise067.CPInternational Conference on Principles and Practice of Constraint ProgrammingSpringerhttp:/www.sciences.univ-nantes.fr/cp06/8.LOPSTRInternational Symposium on Logic-based Program Synthesis and TransformationSpringerhttp:/www.cs.man.ac.uk/kung-kiu/lopstr/9.RTAInternational Conference on Rewriting Techniques and ApplicationsSpringer/FLoC-06/RTA.html10.ICFEMInternational Conference on Formal Engineering MethodsSpringer/icfem06/11.TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of SystemsSpringerhttp:/www.doc.ic.ac.uk/tacas07/12.SPINInternational SPIN Workshop on Model Checking of SoftwareSpringer/spin08/13.CAVComputer Aided VerificationSpringerhttp:/ww