计算机国际核心期刊精选

《计算机国际核心期刊精选》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、一、程序语言和软件工程权威期刊类:ACMTransonProgrammingLanguages&SystemsAnnalsofSoftwareEngineeringIEEETransonSoftwareEngineeringJnlofFunctionalProgrammingACMTransonS/WEngandMethodologyFormalMethodsinSystemDesign著名期刊类:TheJnlofLogicProgrammingIEEEProcs-SoftwareJnlofSoftwareMain

2、tenance:ResearchandPracticeHigher-OrderandSymbolicComputation(previouslyknownasLISPandSymbolicComputation)Software:PracticeandExperienceJnlofFunctionalandLogicProgrammingTheConstraintsJournalJournalofLogicandComputationJournalofProgrammingLanguagesEmpiricalSof

3、twareEngineeringAutomatedSoftwareEngineeringFormalAspectsofComputingObject-OrientedSystemsTheoryandPracticeofObjectSystemsJournalofObject-OrientedProgrammingIEEETransactionsonReliabilityFutureGenerationsComputerSystems:FGCSProgrammingandComputerSoftwareScience

4、ofComputerProgrammingJnlofSystemsandSoftwareIntlJnlonSoftwareEngineeringandKnowledgeEngNewGenerationComputingSoftwareQualityJournalSoftwareTesting,VerificationandReliabilityComputerLanguagesRequirementsEngineeringJournalIEEESoftwareEngineeringJournal其它期刊:Journ

5、aloftheInterestGroupinPureandAppliedLogicNotreDameJournalofFormalLogicJournalofComputerandSoftwareEngineeringJournalofStructuredProgrammingInternationalJournalonSoftwareToolsforTechnologyTransferChineseJournalofAdvancedSoftwareResearchJournalofComputingSystems

6、inEngineeringJournalofSymbolicLogicProjectManagementJournalInternationalJournalofReliability,Quality,andSafetyJournalforAppliedNonclassicalLogicTheJournalofDefenseSoftwareEngineeringComputer&ControlEngineeringJournalJournalofLogic,LanguageandInformationCompute

7、rSystemsEngineeringJournalJournalofAutomata,LanguagesandCombinatoricsTheCUsersJournalInformationDesignJournalJavaDeveloper'sJournalC++JournalFortranJournalJournalofScientificProgrammingLogicJournaloftheIGPLJournalofPhilosophicalLogicJournalofQualityTechnologyI

8、nternationalJournalofTechnologyManagementSoftwareProcessModelingandTechnologyJournalofComputersandTranslationJournalofCLanguageTranslationJournalofElectronicTestingSoftwareEngineer