Formal Aspects of Computing
Encyclopedia
Formal Aspects of Computing (FAC) is a peer-reviewed
scientific journal
published by Springer Science+Business Media
, covering the area of formal methods
and associated topics in computer science
. The editors-in-chief are Jim Woodcock
and Cliff Jones. The journal is associated with BCS-FACS
, the British Computer Society
Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports
, the journal has a 2010 impact factor
of 1.170.
Peer review
Peer review is a process of self-regulation by a profession or a process of evaluation involving qualified individuals within the relevant field. Peer review methods are employed to maintain standards, improve performance and provide credibility...
scientific journal
Scientific journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research. There are thousands of scientific journals in publication, and many more have been published at various points in the past...
published by Springer Science+Business Media
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
, covering the area of formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
and associated topics in computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
. The editors-in-chief are Jim Woodcock
Jim Woodcock
Professor Jim C. P. Woodcock FRSA FBCS FREng is a British computer scientist.Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College...
and Cliff Jones. The journal is associated with BCS-FACS
BCS-FACS
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...
, the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports
Journal Citation Reports
Journal Citation Reports is an annual publication by the Healthcare & Science division of Thomson Reuters. It has been integrated with the Web of Knowledge, by Thomson Reuters, and is accessed from the Web of Science to JCR Web. It provides information about academic journals in the sciences and...
, the journal has a 2010 impact factor
Impact factor
The impact factor, often abbreviated IF, is a measure reflecting the average number of citations to articles published in science and social science journals. It is frequently used as a proxy for the relative importance of a journal within its field, with journals with higher impact factors deemed...
of 1.170.