Formal Aspects of Computing

SCIE-ISI SCOPUS (1989-2024)

ISSN: 1433-299X

E-ISSN: 0934-5043

Quốc gia:

Google Scholar ID:

Cơ quản chủ quản: Association for Computing Machinery (ACM) , ASSOC COMPUTING MACHINERY

Lĩnh vực:

SoftwareTheoretical Computer Science

Phân tích ảnh hưởng

Các bài báo tiêu biểu

A New Approach to Abstract Syntax with Variable Binding

- 2002

Murdoch J. Gabbay, Andrew M. Pitts

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

- 1999

Diego Latella, István Majzik, Mieke Massink

A formal approach to adaptive software: continuous assurance of non-functional requirements

Tập 24 Số 2 - Trang 163-186 - 2012

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli

Temporal theories as modularisation units for concurrent system specification

- 1992

José Luiz Fiadeiro, Tom Maibaum

A Refinement Strategy for Circus

Tập 15 Số 2-3 - Trang 146-181 - 2003

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

Issues in the design of a parallel object-oriented language

Tập 1 Số 1 - Trang 366-411 - 1989

Pierre America

On the lattice of specifications: Applications to a specification methodology

- 1992

Noureddine Boudriga, Fathi Elloumi, Ali Mili

MetateM: An introduction

Tập 7 Số 5 - Trang 533-549 - 1995

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens

ProFeat: feature-oriented engineering for family-based probabilistic model checking

- 2018

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Hoare Logic and Auxiliary Variables

Tập 11 Số 5 - Trang 541-566 - 1999

Thomas Kleymann

Các tạp chí khác

Scholar Hub - Công cụ hỗ trợ trích dẫn và phân tích khoa học Việt Nam

Scholar Hub là công cụ hỗ trợ trích dẫn và phân tích ảnh hưởng của các bài báo, công bố khoa học Việt Nam và Quốc tế.
ScholarHub KHÔNG đăng thông tin tổng hợp, KHÔNG đăng lại nội dung từ các trang báo chí Việt Nam hoặc trang thông tin điện tử khác tại Việt Nam.

Thông tin, cập nhật

Đăng ký Tạp chí tham gia Scholar Hub

Phản hồi ý kiến về Scholar Hub

Bài viết, nội dung cập nhật

Chủ đề khoa học

Website liên kết

Hệ thống CSDL Khoa học & Công nghệ SciBase

Phần mềm kiểm tra trùng lặp Kiểm Tra Tài Liệu

Phần mềm xuất bản tạp chí điện tử VOJS

Hệ thống hội thảo khoa học Việt Nam

Nền tảng trắc nghiệm và đề thi đa lĩnh vực LetQA

Thông tin liên hệ & hỗ trợ

Đơn vị chủ quản, phát triển và vận hành: Công ty Cổ phần Metis

Địa chỉ liên hệ: 26A Lê Đức Thọ, Phường Từ Liêm, Thành phố Hà Nội

Số giấy chứng nhận ĐKKD: 0109293202 cấp ngày 03/08/2020 tại Sở Kế hoạch và Đầu tư thành phố Hà Nội

Người quản lý và chịu trách nhiệm nội dung: Nguyễn Ngọc Sơn

Hotline: 0566.685.688

Email: [email protected]