Loading article…
 | |
| 規律 | コンピュータサイエンス、形式手法 |
|---|---|
| 言語 | 英語 |
| 編集 者 | ジム・ウッドコック、クリフ・ジョーンズ |
| 出版の詳細 | |
| 歴史 | 1989年～現在 |
| 出版社 | |
| 頻度 | 四半期ごと |
| 1.4（2023） | |
| 標準略語 | |
| ISO4 規格 | フォーム。Asp。コンピューター。 |
| インデックス作成 | |
| 国際郵便 | 0934-5043 （印刷） 1433-299X（ウェブ） |
| OCLC 番号 | 42939863 |
| リンク | |
| |
Formal Aspects of Computing ( FAC ) は、 Association for Computing Machinery (ACM) と BCS (British Computer Society 、Chartered Institute for IT)が発行する査読付きゴールドオープン アクセスジャーナルです。このジャーナルは、Formal Methods Europe と密接に関連しています。
起源
クリストファー・ストラチー氏のコメントがこのジャーナルにインスピレーションを与えました。
「コンピューティングの分野で行われる実践的な作業の多くは、ソフトウェアとハードウェアの両方の設計において、より良くなる可能性があります。なぜなら、それを行う人々は、自分の仕事の基本的な設計原理を明確に理解する必要があるからです。ほとんどの抽象的な数学的および理論的な作業は、実際のコンピューティングとの接点がないため、不毛です。」
ストラチー氏は、プログラミングにおける実践的な作業と理論的な作業の人為的で有害な分離を終わらせるよう求めた。
歴史
Formal Aspects of Computing は、 BCS の Formal Aspects of Computing 専門家グループのメンバーであった John Cooke、Dan Simpson、 Cliff Jonesの主導により、1989 年に BCS によって設立されました。Cliff Jones が創刊編集者で、Springer が最初の発行元でした。Cliff Jones は 1989 年から 2007 年まで編集長を務めました。Jim Woodcock が現在の編集長であり、2007 年に引き継いでいます。
研究貢献
Formal Aspects of Computing は、理論と実践の接点における貢献を出版しています。FAC の主な目的は、コンピューティング サイエンスの発展を促進し、その実践との関係を示し、適切な形式主義を実際の問題に適用することを促進することです。重要な課題の 1 つは、さまざまな形式モデルが互いにどのように関連しているかを示すことです。特に、Formal Aspects of Computingの対象範囲には、次のものが含まれます。
- システムの説明と仕様のための根拠のある表記法。
- 検証可能なシステム設計の方法。
- 基本的な計算概念とモデルの解明。
- フォールトトレラント設計へのアプローチ。
- 検証ツールと定理証明。
- 状態探索ツールとモデルチェック。
- 広く使用されている表記法とメソッドの形式意味論。
- 要件分析への正式なアプローチ。
現在の編集長はジム・ウッドコック氏です。Journal Citation Reportsによると、このジャーナルの2023年のインパクトファクターは1.4です。
その他の貢献
このジャーナルでは、研究論文に加えて寄稿も歓迎します。寄稿には以下のものが含まれます。
- 特別号FAC は、形式手法コミュニティの主要メンバーからの特別号の提案を歓迎します。適切な提案には次のものが含まれます。
- 会議とワークショップの論文集の改訂版。
- テーマ別トピックには、形式手法のホットなトピックに特化した論文集が含まれており、通常は論文の公募が行われています。
- 最先端のレポート重要な研究分野に関する詳細かつ学術的な分析。
- 思想の歴史思想の歴史は、形式手法とそのツールの起源と発展をたどります。さまざまな機械化、それらの関係、使用された知的リソース、そしてその作業からインスピレーションを得たさらなる思想について検討します。
- 書評これには、形式手法、研究論文、教科書の批評的なレビューが含まれます。
- 訃報訃報では通常、最も成功した研究者の生涯について説明し、称賛します。私たちの場合は、形式手法への独創的な貢献を通じてです。また、革新的な教育、教科書の執筆、ソフトウェア ツールの開発、アウトリーチと継続教育の追求、産業界におけるツールとテクニックの応用など、より一般的な方法で私たちの研究分野に貢献した人々を称賛することも奨励しています。
参照
参考文献
外部リンク
- 公式サイト
- ホームページ
- 憲章（ジャーナルの目的を含む）
- 提出物
- 著者ガイドライン
- 編集委員会
- オープンアクセス
- インパクトファクターと索引