• 充值
  • 帮助
搜期刊
主题
文献检索

Formal Aspects of Computing EI AJ SCIE JCR:Q3 中科院4区
发文量 1,212
被引量 7,292
影响因子(2023) 0.458

This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application. In particular, the scope of Formal Aspects of Computing includes: well-founded notations for the description of systems; verifiable design methods; elucidation of fundamental computational concepts; approaches to fault-tolerant design; theorem-proving support; state-exploration tools; formal underpinning of widely used notations and methods; formal approaches to requirements analysis.

  • 主办单位： ASSOC COMPUTING MACHINERY
  • 出版周期： 季刊
  • 别名： 计算形式
  • 国际标准连续出版物号： ISSN 0934-5043
  • 创刊时间： 1989年
热门主题：

VerificationSemanticsSpecificationSYSTEMSLogicProgrammingPROGRAMSAPPROACHSpecificationsModelProgramPropertiesProcessCalculusAnalysisLANGUAGESAlgorithmsExtendedFormal MethodsDesign

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
分析评价
  • 1
  • 2
  • 3
  • 4
目录
封面
2024年01期
共：5篇

      不详

    • Dziadek, SvenFahrenberg, UliSchlehuber, Philipp

    • Dongol, BrijeshDubois, CatherineHallerstede, StefanHehner, EricMorgan, CarrollMüller, PeterRibeiro, LeilaSilva, AlexandraSmith, GraemeVink, Erik De

    • Broy, ManfredBrucker, Achim D.Fantechi, AlessandroGleirscher, MarioHavelund, KlausKuppe, Markus AlexanderMendes, AlexandraPlatzer, AndréRingert, Jan OliverSullivan, Allison

    • Belardinelli, FrancescoBoureanu, IoanaMalvone, VadimRajaona, Fortunat

    • Ter Beek, Maurice H.Chapman, RodCleaveland, RanceGaravel, HubertGu, RongTer Horst, IvoKeiren, Jeroen J. A.Lecomte, ThierryLeuschel, MichaelRozier, Kristin YvonneSampaio, AugustoSeceleanu, CristinaThomas, MartynWillemse, Tim A. C.Zhang, Lijun

2024年01期

2024年01期

客服咨询
投稿相关：023-63416211
撤稿相关：023-67396862
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号