Science of Computer Programming

SCIE-ISI SCOPUS (1981-2024)

ISSN: 0167-6423

E-ISSN:

Quốc gia:

Cơ quản chủ quản: Elsevier

Lĩnh vực:

SoftwareModeling and SimulationComputational Theory and MathematicsInformation Systems

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

Statecharts: a visual formalism for complex systems

Tập 8 Số 3 - Trang 231-274 - 1987

David Harel

Goal-directed requirements acquisition

Tập 20 Số 1-2 - Trang 3-50 - 1993

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas

Finding repeated elements

Tập 2 - Trang 143-152 - 1982

J. Misra

Using branching time temporal logic to synthesize synchronization skeletons

Tập 2 Số 3 - Trang 241-266 - 1982

E. Allen Emerson, Edmund M. Clarke

Functional documents for computer systems

Tập 25 Số 1 - Trang 41-61 - 1995

David Lorge Parnas, Jan Madey

Algorithm theories and design tactics

Tập 14 Số 2-3 - Trang 305-321 - 1990

Douglas R. Smith, Michael Lowry

Applying model-driven engineering in small software enterprises

Tập 89 - Trang 176-198 - 2014

Jesús Sánchez Cuadrado, Javier Luis Cánovas Izquierdo, Jesús García Molina

Quantifying requirements volatility effects

Tập 72 Số 3 - Trang 136-175 - 2008

G.P. Kulk, C. Verhoef

Proofs with graphs

Tập 26 - Trang 197-216 - 1996

Sharon Curtis, Gavin Lowe

A formal description of evolving software systems architectures

Tập 24 - Trang 41-61 - 1995

C.J.P. Lucena, P.S.C. Alencar

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

Về chúng tôi

Scholar Hub là công cụ hỗ trợ trích dẫn và phân tích các bài báo, công bố khoa học Việt Nam. Công cụ trợ giúp người nghiên cứu, tạp chí, đơn vị nghiên cứu tra cứu, phân tích và thống kê dữ liệu nghiên cứu khoa học tại 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 vào 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

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

Công cụ kiểm tra chính tả và thể thức Viver