友情提示:以下期刊信息可能会有更新,仅供参考,请在投稿前自行登录期刊官网仔细核实。
期刊名
FORMAL ASPECTS OF COMPUTING
FORM ASP COMPUT
ISSN / eISSN
0934-5043 / 1433-299X
目标和范围
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.
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.
研究方向
计算机:软件工程
CiteScore
3.30
查看趋势图
CiteScore 学科排名
类别 | 分区 | 排名 |
---|---|---|
Mathematics - Theoretical Computer Science | Q2 | #57/130 |
Mathematics - Software | Q3 | #246/407 |
Web of Science 核心收藏夹
Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
---|---|
Indexed | - |
类别 (Journal Citation Reports 2024) | 分区 |
---|---|
COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 |
H-index
36
出版国家或地区
UNITED STATES
出版商
Springer London
出版周期
Quarterly
出版年份
1989
年文章数
21
Open Access
NO
通讯方式
SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started