computational geometry小木虫_computational power_computational(16)

Formal Methods in System Design

Leading:

Theory and Practice of Logic Programming (past: Jnl of LogicProgramming)

IEE Procs - Software

Jnl of Software Maintenance: Research and Practice

Higher-Order and Symbolic Computation (previously known as

LISP and Symbolic Computation)

Software: Practice and Experience

Jnl of Functional and Logic Programming

The Constraints Journal

Journal of Logic and Computation

Journal of Programming Languages

Empirical Software Engineering

Automated Software Engineering

Formal Aspects of Computing

Object-Oriented Systems

Theory and Practice of Object Systems

Journal of Object-Oriented Programming

IEEE Transactions on Reliability

Future Generations Computer Systems: FGCS

Science of Computer Programming

Reputable:

Programming and Computer Software

Jnl of Systems and Software

Intl Jnl on Software Engineering and Knowledge Eng

New Generation Computing

Software Quality Journal

Software Testing, Verification and Reliability

Computer Languages

Requirements Engineering Journal

IEE Software Engineering Journal

Others:

Journal of the Interest Group in Pure and Applied Logic

Notre Dame Journal of Formal Logic

Journal of Computer and Software Engineering

Journal of Structured Programming

International Journal on Software Tools for TechnologyTransfer

Chinese Journal of Advanced Software Research

Journal of Computing Systems in Engineering

Journal of Symbolic Logic

Project Management Journal

International Journal of Reliability, Quality, and Safety

Journal for Applied Nonclassical Logic

本文来自电脑杂谈，转载请注明本文网址：
https://www.pc-fly.com/a/jisuanjixue/article-48400-16.html