FORMAL ASPECTS OF COMPUTING
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
FORMAL ASPECTS OF COMPUTING
FORM ASP COMPUT
ISSN / eISSN
0934-5043 / 1433-299X
Aims and Scope
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.
Subject Area
COMPUTER SCIENCE, SOFTWARE ENGINEERING
CiteScore
3.30
View Trend
CiteScore Ranking
| Category | Quartile | Rank |
|---|---|---|
| Mathematics - Theoretical Computer Science | Q2 | #57/130 |
| Mathematics - Software | Q3 | #246/407 |
Web of Science Core Collection
| Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
|---|---|
| Indexed | - |
| Category (Journal Citation Reports 2024) | Quartile |
|---|---|
| COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 |
H-index
36
Country/Area of Publication
UNITED STATES
Publisher
Springer London
Publication Frequency
Quarterly
Year Publication Started
1989
Annual Article Volume
21
Open Access
NO
Contact
SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreCreate your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create Now