FORMAL METHODS IN SYSTEM DESIGN
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
FORMAL METHODS IN SYSTEM DESIGN
FORM METHOD SYST DES
ISSN / eISSN
0925-9856 / 1572-8102
Aims and Scope
The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.
Subject Area
COMPUTER SCIENCE, THEORY & METHODS
CiteScore
3.00
View Trend
CiteScore Ranking
Category | Quartile | Rank |
---|---|---|
Mathematics - Theoretical Computer Science | Q2 | #57/127 |
Mathematics - Hardware and Architecture | Q3 | #103/169 |
Mathematics - Software | Q3 | #246/404 |
Web of Science Core Collection
Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
---|---|
Indexed | - |
Category (Journal Citation Reports 2023) | Quartile |
---|---|
COMPUTER SCIENCE, THEORY & METHODS - SCIE | Q4 |
H-index
47
Country/Area of Publication
UNITED STATES
Publisher
Springer US
Publication Frequency
Bimonthly
Year Publication Started
1992
Annual Article Volume
20
Open Access
NO
Contact
SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search