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.

The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication.

In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other.

AUTHORS PLEASE NOTE: Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage. Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.
  • Presents research and development results at the junction of computing theory and practice
  • Includes well-founded notations for the description of systems, approaches to fault-tolerant design and formal approaches to requirements analysis
  • Stimulates applications of apposite formalisms to practical problems

Journal information

Chief Editor
  • James Woodcock
Publishing model
Hybrid. Open Access options available

Journal metrics

0.516 (2019)
Impact factor
0.647 (2019)
Five year impact factor
141 days
Submission to first decision
250 days
Submission to acceptance
11,984 (2019)
Downloads

Latest articles

This journal has 49 open access articles

Subscribe

eJournal
$99.00
Note this is only the net price. Taxes will be calculated during checkout.
  • Immediate online access with complete access to all articles
  • Downloadable in PDF format
  • Subscription expires 12/31/2020

About this journal

Electronic ISSN
1433-299X
Print ISSN
0934-5043
Abstracted and indexed in
  1. ACM Digital Library
  2. CNKI
  3. Current Contents/Engineering, Computing and Technology
  4. DBLP
  5. Dimensions
  6. EBSCO Academic Search
  7. EBSCO Applied Science & Technology Source
  8. EBSCO Computer Science Index
  9. EBSCO Computers & Applied Sciences Complete
  10. EBSCO Discovery Service
  11. EBSCO Engineering Source
  12. EBSCO STM Source
  13. EI Compendex
  14. Google Scholar
  15. INSPEC
  16. Institute of Scientific and Technical Information of China
  17. Japanese Science and Technology Agency (JST)
  18. Journal Citation Reports/Science Edition
  19. Mathematical Reviews
  20. Naver
  21. OCLC WorldCat Discovery Service
  22. ProQuest Advanced Technologies & Aerospace Database
  23. ProQuest Central
  24. ProQuest Computer Science
  25. ProQuest Computer and Information Systems Abstracts
  26. ProQuest Pharma Collection
  27. ProQuest SciTech Premium Collection
  28. ProQuest Technology Collection
  29. ProQuest-ExLibris Primo
  30. ProQuest-ExLibris Summon
  31. SCImago
  32. SCOPUS
  33. Science Citation Index Expanded (SciSearch)
  34. UGC-CARE List (India)
  35. WTI Frankfurt eG
  36. zbMATH
Copyright information

Rights and permissions

Springer policies

© British Computer Society