848:
409:
128:
22:
843:
63:
600:"Much of the practical work done in computing, both in software and hardware design, could be better because the people who do it need to understand the fundamental design principles of their work clearly. Most abstract mathematical and theoretical work is sterile because it has no point of contact with real computing."
751:
Obituaries usually describe and celebrate the lives of the most successful researchers, in our case, through seminal contributions to formal methods. We also encourage celebrating people who have contributed to our subject in more ordinary ways, such as through innovative teaching, writing textbooks,
642:
is to promote the growth of computing science, show its relation to practice, and stimulate applications of appropriate formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other. In particular, the scope of
734:
The history of ideas traces the origin and development of formal methods and their tools. It examines various mechanisations, their relation, the intellectual resources used, and the further ideas inspired by the
623:, all of whom were members of the BCS Formal Aspects of Computing specialist group. Cliff Jones was the founding editor, and Springer was the initial publisher. Cliff Jones was editor-in-chief from 1989 to 2007.
379:
941:
872:
902:
494:
469:
770:
921:
149:
91:
35:
895:
465:
956:
445:
888:
265:
931:
200:
577:
332:
172:
951:
926:
404:
936:
237:
219:
109:
49:
179:
876:
620:
306:
41:
708:
FAC welcomes proposals for special issues from leading members of the formal methods community. Appropriate proposals include:
437:
433:
272:
186:
153:
752:
developing software tools, pursuing outreach and continuing education, and applying our tools and techniques in industry.
486:
392:
168:
78:
946:
138:
157:
142:
367:
685:
581:
720:
include collections of papers dedicated to hot topics in formal methods, usually with an open call for papers.
193:
340:
383:
73:
482:
388:
371:
326:
701:
The journal welcomes contributions in addition to research papers. These include the following.
516:
510:
526:
503:
264:
862:
743:
This includes critical reviews of formal methods, research monographs and teaching textbooks.
457:
858:
855:
763:
277:
84:
680:
296:
281:
915:
690:
638:
publishes contributions at the junction of theory and practice. The principal aim of
352:
619:
was founded in 1989 by the BCS in an initiative led by John Cooke, Dan
Simpson, and
847:
813:
624:
302:
818:
400:
739:
573:
569:
127:
823:
828:
584:, the Chartered Institute for IT). The journal is closely associated with
453:
802:
747:
533:
651:
Well-founded notations for the description and specification of systems.
842:
808:
676:
474:
418:
797:
790:
547:
121:
56:
15:
657:
Elucidation of fundamental computational concepts and models.
608:
separation of practical and theoretical work in programming.
585:
728:
In-depth, scholarly analyses of essential research areas.
596:
A comment from
Christopher Strachey inspired the journal:
866:
669:
Formal semantics for widely used notations and methods.
875:. Further suggestions might be found on the article's
873:
See tips for writing articles about academic journals
539:
524:
501:
429:
417:
363:
349:
339:
325:
317:
312:
295:
287:
271:
408:
942:Association for Computing Machinery publications
771:Innovations in Systems and Software Engineering
627:is the current EIC, having taken over in 2007.
896:
8:
253:
672:Formal approaches to requirements analysis.
666:State-exploration tools and model checking.
156:. Unsourced material may be challenged and
50:Learn how and when to remove these messages
903:
889:
252:
238:Learn how and when to remove this message
220:Learn how and when to remove this message
110:Learn how and when to remove this message
663:Verification tools and theorem proving.
922:Academic journals established in 1989
654:Methods for verifiable system design.
7:
839:
837:
805:(including the scope of the journal)
660:Approaches to fault-tolerant design.
154:adding citations to reliable sources
578:Association for Computing Machinery
333:Association for Computing Machinery
865:. You can help Knowledge (XXG) by
604:Strachey called for an end to the
14:
31:This article has multiple issues.
846:
841:
407:
263:
126:
61:
20:
39:or discuss these issues on the
957:Computer science journal stubs
714:Revised collections of papers.
1:
582:(the British Computer Society
169:"Formal Aspects of Computing"
932:Formal methods publications
645:Formal Aspects of Computing
636:Formal Aspects of Computing
617:Formal Aspects of Computing
559:Formal Aspects of Computing
256:Formal Aspects of Computing
81:. The specific problem is:
973:
836:
829:Impact factor and Indexing
77:to meet Knowledge (XXG)'s
952:English-language journals
927:Computer science journals
712:Conferences and Workshops
689:, the journal has a 2023
544:
262:
937:British Computer Society
726:State-of-the-Art Reports
686:Journal Citation Reports
606:artificial and injurious
631:Research Contributions
612:History of the Journal
602:
364:Standard abbreviations
854:This article about a
598:
586:Formal Methods Europe
576:journal published by
150:improve this article
92:improve this article
697:Other Contributions
683:. According to the
313:Publication details
259:
947:Quarterly journals
424:Form. Asp. Comput.
884:
883:
814:Author Guidelines
555:
554:
248:
247:
240:
230:
229:
222:
204:
120:
119:
112:
79:quality standards
70:This article may
54:
964:
905:
898:
891:
856:computer science
850:
845:
838:
794:
793:
791:Official website
764:Acta Informatica
732:History of Ideas
548:Journal homepage
530:
513:
506:
497:
413:
411:
410:
355:
278:Computer science
267:
260:
257:
250:Academic journal
243:
236:
225:
218:
214:
211:
205:
203:
162:
130:
122:
115:
108:
104:
101:
95:
65:
64:
57:
46:
24:
23:
16:
972:
971:
967:
966:
965:
963:
962:
961:
912:
911:
910:
909:
834:
819:Editorial Board
789:
788:
785:
780:
759:
718:Thematic topics
699:
681:editor-in-chief
679:is the current
633:
614:
594:
525:
520:
515:
509:
502:
473:
432:
431:
387:
366:
365:
356:
351:
335:
255:
251:
244:
233:
232:
231:
226:
215:
209:
206:
163:
161:
147:
131:
116:
105:
99:
96:
89:
66:
62:
25:
21:
12:
11:
5:
970:
968:
960:
959:
954:
949:
944:
939:
934:
929:
924:
914:
913:
908:
907:
900:
893:
885:
882:
881:
851:
832:
831:
826:
821:
816:
811:
806:
800:
795:
784:
783:External links
781:
779:
776:
775:
774:
767:
758:
755:
754:
753:
744:
736:
729:
723:
722:
721:
715:
706:Special Issues
698:
695:
674:
673:
670:
667:
664:
661:
658:
655:
652:
632:
629:
613:
610:
593:
590:
580:(ACM) and BCS
553:
552:
551:
550:
542:
541:
537:
536:
531:
522:
521:
507:
499:
498:
427:
426:
421:
415:
414:
361:
360:
357:
350:
347:
346:
343:
337:
336:
331:
329:
323:
322:
319:
315:
314:
310:
309:
300:
293:
292:
289:
285:
284:
282:formal methods
275:
269:
268:
249:
246:
245:
228:
227:
134:
132:
125:
118:
117:
69:
67:
60:
55:
29:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
969:
958:
955:
953:
950:
948:
945:
943:
940:
938:
935:
933:
930:
928:
925:
923:
920:
919:
917:
906:
901:
899:
894:
892:
887:
886:
880:
878:
874:
870:
868:
864:
860:
857:
852:
849:
844:
840:
835:
830:
827:
825:
822:
820:
817:
815:
812:
810:
807:
804:
801:
799:
796:
792:
787:
786:
782:
777:
773:
772:
768:
766:
765:
761:
760:
756:
750:
749:
745:
742:
741:
737:
733:
730:
727:
724:
719:
716:
713:
710:
709:
707:
704:
703:
702:
696:
694:
692:
691:impact factor
688:
687:
682:
678:
671:
668:
665:
662:
659:
656:
653:
650:
649:
648:
646:
641:
637:
630:
628:
626:
622:
618:
611:
609:
607:
601:
597:
591:
589:
587:
583:
579:
575:
571:
570:peer-reviewed
567:
566:
561:
560:
549:
546:
545:
543:
538:
535:
532:
528:
523:
518:
514: (print)
512:
508:
505:
500:
496:
492:
488:
484:
480:
476:
471:
467:
463:
459:
455:
451:
447:
443:
439:
435:
428:
425:
422:
420:
416:
406:
402:
398:
394:
390:
385:
381:
377:
373:
369:
362:
358:
354:
353:Impact factor
348:
344:
342:
338:
334:
330:
328:
324:
320:
316:
311:
308:
304:
301:
298:
294:
290:
286:
283:
279:
276:
274:
270:
266:
261:
258:
242:
239:
224:
221:
213:
202:
199:
195:
192:
188:
185:
181:
178:
174:
171: –
170:
166:
165:Find sources:
159:
155:
151:
145:
144:
140:
135:This article
133:
129:
124:
123:
114:
111:
103:
93:
88:
86:
80:
76:
75:
68:
59:
58:
53:
51:
44:
43:
38:
37:
32:
27:
18:
17:
871:
867:expanding it
853:
833:
769:
762:
746:
740:Book Reviews
738:
731:
725:
717:
711:
705:
700:
684:
677:Jim Woodcock
675:
644:
639:
635:
634:
625:Jim Woodcock
616:
615:
605:
603:
599:
595:
564:
563:
558:
557:
556:
490:
478:
461:
449:
441:
423:
396:
375:
321:1989–present
303:Jim Woodcock
254:
234:
216:
207:
197:
190:
183:
176:
164:
148:Please help
136:
106:
97:
90:Please help
82:
71:
47:
40:
34:
33:Please help
30:
824:Open Access
809:Submissions
621:Cliff Jones
574:Open Access
519: (web)
307:Cliff Jones
94:if you can.
916:Categories
778:References
748:Obituaries
647:includes,
401:MathSciNet
359:1.4 (2023)
273:Discipline
180:newspapers
36:improve it
877:talk page
798:Home page
529: no.
517:1433-299X
511:0934-5043
345:Quarterly
341:Frequency
327:Publisher
210:July 2024
137:does not
100:July 2024
42:talk page
757:See also
693:of 1.4.
534:42939863
430:Indexing
380:Bluebook
299: by
288:Language
72:require
859:journal
803:Charter
592:Origins
568:) is a
489:)
460:)
448:)
395:)
374:)
318:History
291:English
194:scholar
158:removed
143:sources
74:cleanup
495:Scopus
491:·
479:·
477:
462:·
450:·
442:·
440:
397:·
376:·
297:Edited
196:
189:
182:
175:
167:
85:WP:JWG
861:is a
735:work.
572:Gold
540:Links
493:
481:
464:
454:JSTOR
452:
444:
434:CODEN
419:ISO 4
399:
378:
368:ISO 4
201:JSTOR
187:books
863:stub
527:OCLC
504:ISSN
475:MIAR
466:LCCN
446:alt2
173:news
141:any
139:cite
83:See
640:FAC
565:FAC
487:alt
483:NLM
470:alt
458:alt
438:alt
405:alt
393:alt
389:NLM
384:alt
372:alt
152:by
918::
588:.
305:,
280:,
45:.
904:e
897:t
890:v
879:.
869:.
562:(
485:(
472:)
468:(
456:(
436:(
412:)
403:(
391:(
386:)
382:(
370:(
241:)
235:(
223:)
217:(
212:)
208:(
198:·
191:·
184:·
177:·
160:.
146:.
113:)
107:(
102:)
98:(
87:.
52:)
48:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.