Formal Aspects Of Computing
期刊全称
Formal Aspects Of Computing (FORM ASP COMPUT)
期刊别名
计算形式
ISSN
0934-5043
EISSN
1433-299X
最新影响因子
1.4
5年影响因子
1.3
是否OA
否
中科院分区大类
计算机科学3区
中科院分区小类
计算机：软件工程3区
JCR分区学科名称
COMPUTER SCIENCE, SOFTWARE ENGINEERING
JCR分区 (排名)
Q3 (87/128)
期刊介绍
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.
出版周期
Quarterly
出版年份
1989
期刊收录情况
Science Citation Index Expanded、Current Contents - Engineering, Computing & Technology
语言
English
出版国家
Germany 德国
出版社名称
Springer London
出版社缩写
---
出版社网址