| Journal Title | SCIENCE OF COMPUTER PROGRAMMING |
|---|---|
| ISSN | 0167-6423 |
| Aim/Scope/Research Area |
AIMS AND SCOPE
The major activity of software designers could be described as the development of systems for relevant problems in various domains. In this context, substantial practical experience has been gained in requirements analysis and useful results have been obtained in the mathematics of programming. The aim of Science of Computer Programming is to serve as a forum for results of research and development in the areas spanned by these themes, and thereby to foster a growing scientific synergy between them. The field involves models, specifications, and programs. The following topics are thus definitely included: the construction of clear scientific models, first for given domains, and then for problems in these domains the designs and adaptation of precise specifications for software systems the derivation of correct and efficient programs the development of concepts, theories, and systems which assist effectively in the construction, the adaptation, or the quality control of these models, specifications, or programs exemplary case-studies in any application domain. Hardware descriptions are also considered to be software. The journal accepts research papers, short notices, survey articles and book reviews. |
| Frequency of Journals | Yearly |
| Weblink | http://old.library.georgetown.edu/newjour/s/msg02619.html |
| Publisher | Science Direct |