Last updated on April 21, 2014 at 9:29 EDT

Formal Aspects of Computing

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group).

FAC’s editors-in-chief are Jim Woodcock and Cliff Jones. The main goal of the journal is to promote 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.

Topics frequently covered in FACS include: 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, and formal approaches to requirements analysis.

Image Caption: A cover of the journal Formal Aspects of Computing. Credit: Wikipedia

For more information see:

Formal Aspects of Computing