期刊名称：SCIENCE OF COMPUTER PROGRAMMING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.
The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and the aspects of industrial practice.
The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including
requirements, specification, design , validation, verification, coding, testing, maintenance, metrics and renovation of software;
design, implementation and evaluation of programming languages;
programming environments, development tools, visualisation and animation;
management of the development process;
human factors in software.
software aspects of operating systems, system administration and network management
Special emphasis is given to recent trends in software development, such as software architecture, component-based software development and web-based software engineering. SCP is divided into four tracks. These are: (1) Concepts and methodology, (2) Formal techniques, (3) Experimental software technology, (4) Descriptive software technology,
1) The conceptual track is open for methodological, philosophical and sociological studies on all aspects of computer software production and usage, including ethics.
2) The formal track emphasizes the development and the pragmatic application of formal and semiformal techniques. Submissions which the editors consider mainly mathematical or theoretical in nature, with the preliminary consent of the authors, will normally be forwarded to the sister journal TCS.
3) The experimental track is open for expositions on implementations of and experiments with novel programming languages, systems and methods. It must be emphasized that papers describing new software tools of relevance to SCP are welcome under the strict condition that the source code of the tools is open.
4) The descriptive track deals with observational studies of current software development practices, reporting on new languages, systems and methods, including survey reports on the various themes.
Special Issues
Science of Computer Programming welcomes Special Issues within its Scope either resulting from conferences or workshops or from dedicated editorial efforts.
Audience
Professionals, researchers, educators and students in the areas covered by the journal
Abstracting / Indexing
- ACM Computing Reviews
- Cambridge Scientific Abstracts
- CompuScience
- Computer Abstracts
- Computer Literature Index
- Current Contents/CompuMath
-
Contributions should be written in English (in exceptional cases, in French or German) and submitted in triplicate. They should not be sent systematically to the Editor-in-Chief but rather to the most competent Editor in the field covered by the paper; the Editor-in-Chief and Associate Editor being considered as Editors among others. The author's mailing address should appear on the manuscript.
No page charge is made. Twenty-five reprints of each contribution are available free of charge. Additional reprints can be ordered. Please make sure that the paper is submitted in its final form. Corrections in the proof stage, other than printer's errors, should be avoided: costs arising from such corrections will be charged to the authors.
Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the Publisher. This transfer will ensure the widest possible dissemination of information. Manuscripts should be prepared for publication in accordance with instructions given in the "Guide for Authors" (available from the Publisher) details of which are given below.
The manuscript should be typed on one side of the paper in double spacing (abstract, footnotes and references included) with wide margins. A duplicate copy should be retained by the author.
Footnotes should be avoided if possible and as brief as possible, they should be numbered consecutively.
Special care should be given to the preparation of the drawings for figures and diagrams. Except for a reduction in size, they will appear in final printing form in exactly the same format as submitted by the author; normally they will not be redrawn by the printer. In order to make a photographic reproduction possible, all drawings should be on separate sheets, with wide margins, drawn large size, and of good quality. Exceptions are diagrams only containing formulae and a small number of straight lines (or arrows): these can be typeset.
References should be listed alphabetically, as in the following examples: books [1], articles in journals [2], papers in a contributed volume [3,4], unpublished papers [5].
[1] E. Borger, Computability, Complexity, Logic (North-Holland, Amsterdam, 1989).
[2] D.E. Knuth, Theory and Practice, Theoret. Comput. Sci. 90 (1991) 1-15.
[3] A.K. Lenstra and H.W. Lenstra, Jr., Algorithms in number theory, in: J. van Leeuwen, ed., Handbook of Computer Science, Vol. A (Elsevier, Amsterdam, 1990) 673-715.
[4] M. Li, Lower bounds by Kolmogorov complexity, in: Proc. ICALP '85, Lecture Notes in Computer Science, Vol. 194 (Springer, Berlin, 1985) 383-393.
[5] A. Rajasekar, Semantics for logic programs, Ph.D. Thesis, Department of Computer Science, University of Maryland, 1989.
Electronic Submissions: LaTeX
Only the final accepted manuscript can be submitted on disk, along with a paper-printed version which is identical to the file. Please label the disk with your name, and mention which word processor you have used.
LateX files of papers that have been accepted for publication may be sent to the Publisher by e-mail or on a diskette (3.5" or 5.25" MS-DOS). If the file is suitable, proofs will be produced without rekeying the text. The article should be encoded in ESP-LaTeX, standard LaTeX, or AMS-LaTeX (in document style "article"). The Elsevier-LaTex package, together with instructions on how to prepare a file, is available from the Publisher. This package can also be obtained through obtained from our server or using anonymous FTP from the Comprehensive TeX Archive Network (CTAN) at sites in the USA ftp://ftp.shsu.edu/tex-archive/macros/latex/contrib/supported/elsevier in the United Kingdom at ftp://ftp.tex.ac.uk/pub/../tex-archive/macros/latex209/contrib/elsevier and in Germany at ftp://ftp.dante.de/pub/tex/macros/latex/contrib/supported/elsevier.
Illustrative material (original figures or high-quality glossy prints, or photographs showing a sharp contrast) should be included separately.
No changes from the accepted version are permissible, without the explicit approval by the Editors. The Publisher reserves the right to decide whether to use the author's file or not. If the file is sent by e-mail, the full name of the journal should be mentioned in the subject field of the message to identify the paper. Authors should include an ASCII table (available from the Publisher) in their files to enable the detection of transmission errors. The files should be mailed to Paulette de Boer, Elsevier Science B.V., P.O. Box 103, 1000 AC Amsterdam, Netherlands. Fax: +31 20 4852 616. For the purposeof further correspondence the manuscript should end with a complete mailing address, preferably including email address, of at least one of the authors.
Electronic submission: Non-LaTeX
Only the final accepted manuscript can be submitted on disk, along with a paper-printed version which is identical to the file. Please label the disk with your name, and mention which word processor you have used. The word-processed text should be in single column format. Keep the layout of the text as simple as possible; in particular, do not use the word-processor's options to justify the text or to hyphenate the words.
The electronic text should be prepared in a way very similar to that of conventional manuscripts (see also Guide for Authors). The list of references, tables and figure legends should be compiled separately from the main text. Do not reserve space for the figures and tables in the text; instead, indicate their approximate locations, either directly in the electronic text or on the manuscript.
The final text should be submitted both in manuscript form and on diskette. Use standard 3.5" or 5.25" diskettes for this purpose. Both double density (DD) and high density (HD) diskettes are acceptable.
It is recommended to store the main text, list of references, tables and figure legends in separate text files with clearly identifiable file names (for example, with extensions .TXT, .REF, .TBL, .FIG). The format of the files depends on the word-processor used. Texts made with DEC WPS PLUS, DisplayWrite, First Choice, IBM Writing Assistant, Microsoft Word, Multimate, PFS:Write, Professional Writer, Samma Word, Sprint, Total Word, Volkswriter, Wang PC, WordMARC, WordPerfect, Wordstar, or files supplied in DCA.RFT format can be readily processed. In all other cases the preferred text format is ASCII.
Essential is that name and version of the word-processing program and the type of computer on which the text was prepared is clearly indicated on the diskette label or the accompanying checklist.
The manuscript may contain parts (e.g. formulas or complex tables) or last-minute corrections which are not included in the text on diskette; however, if this is the case then the differences with the diskette version should be clearly marked on the manuscript.
Illustrative material (original figures or high-quality glossy prints, or photographs showing a sharp contrast) should be included separately.
Papers submitted to Science of Computer Programming may also be posted on The Mathematics Preprint Server (http://www.mathpreprints.com). Posting on The Mathematics Preprint Server is in conformity with Elsevier Science copyright policy and in no way conflicts with submission to Science of Computer Programming.
Author Benefits
No page charge is due
50 offprints of each contribution free of charge
30% discount on Elevier Science books.
For complete up-to-date addresses of Editors please check the link to the Editorial Board at the beginning of these instructions.
Editorial Board
Founding Editor:
M. Sintzoff, Unit?d'Informatique, Universit?Catholique de Louvain, Place Sainte-Barbe 2, B-1348 Louvain-la-Neuve, Belgium
Editor-in-Chief
J. Bergstra, University of Amsterdam, Faculty of Math., Comp.Sci., Phys. & Astro., Dept. of Computer Science, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands. janb@phil.uu.nl Tel: +31-20-5257591, Fax: +31-20-5257490, Email: janb@wins.uva.nl
Editorial Board:
G. Berry, Chief Scientist, Esterel Technologies 679, av. du Dr. J. Lefebvre, 06270 Villeneuve-Loubet, France Tel: +33 4 92 02 40 65, Email: Gerard.Berry@esterel-technologies.com
E. Bertino, Universita' di Milano, Dipt. di Scienze dell' Informazione, Via Comelico 39/41, 20135 Milano, Italy. Tel: +39 2 5500 6227, Fax: +39 2 5500 6253, Email: bertino@dsi.unimi.it
R. Bird, Oxford University, Programming Research Group, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. Tel: +44 1865 273 825, Fax: +44 1865 273 839, Email: bird@comlab.oxford.ac.uk
D. Bj鴕ner, Technical University of Denmark, Department of Computer Science, DK-2800 Lyngby, Denmark Email: db@it.dtu.dk
M. Broy, Institut f黵 Informatik, TUM, Arcistrasse 21, D-80333 M黱chen, Germany Email: broy@informatik.tu-muenchen.de
L. Cardelli, Microsoft Research, 1 Guildhall St., Cambridge CB2 3NH, UK. Tel: +44 1223 744753, Fax: +44 1223 744777, Email: luca@microsoft.com
L.M.G. Feijs, Technical Unversity of Eindhoven, Faculty Industrial Design - HG 3.92, Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Tel: +31 40 2742953, Fax: +31 40 2463992, Email: L.M.G.Feijs@tue.nl
M.C. Gaudel, Universit?de Paris-Sud, L.R.I., B鈚 490, F-91405, Orsay, France Email: mcg@lri.fr
C. Ghezzi, Politecnico di Milano, Dipt. Elettronica e Informazione, Piazza L. da Vinci 32, 20133 Milano, Italy Tel: +39 2 2399 3529, Fax: +39 2 2399 3411, Email: ghezzi@elet.polimi.it
M. Jackson, 101 Hamilton Terrace, London NW8 9QX, UK. Tel: +44 171 286 1814, Fax: +44 171 266 2645, Email: jacksonma@acm.org
P. Klint, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands. Email: paul.klint@cwi.nl
C. Lengauer, Universit鋞 Passau, Facult鋞 f黵 Mathematik und Informatik, D-94030 Passau, Germany. Tel: +49 851 509 347, Fax: +49 851 509 346, Email: lengauer@fmi.uni-passau.de
P.A. Lindsay, The University of Queensland, Brisbane Software Verification Research Centre, School of Information Technology, Queensland 4072, Australia. Tel: +61 7 3365 2005, Fax: +61 7 3365 1533, Email: p.lindsay@itee.uq.edu.au
Luqi, US Naval Postgraduate School, Computer Science, Monterey, CA 93943, USA. Tel: +1 408 656 2735, Email: luqi@cs.nps.navy.mil
M. Nivat, B.P. 1, 95570 Moisselles, France Tel: +33 (1) 4427 6845, Fax: +33 (1) 4687 5582, Email: nivat@liafa.jussieu.fr
A. Pnueli, The Weizmann Institute of Science, Faculty of Mathematics and Computer Science, 71600 Rehovot, Israel Tel: +972 8 934 3434, Fax: +972 8 934 4122, Email: amir@wisdom.weizmann.ac.il
B. Selic, Rational Software Canada, 770 Palladium Drive, Kanata, Ontario, Canada, K2V 1C8 Tel: +1 613 591 7915, Fax: +1 613 599 3912, Email: bselic@rational.com
J.V. Tucker, University of Wales Swansea, Department of Computer Science, Singleton Park, Swansea SA2 8PP, UK. Tel: +44 1792 205649, Fax: +44 1792 295618, Email: j.v.tucker@swan.ac.uk
P. Wegner, Brown University, Providence, RI 02912, USA. Tel: +1 401 863 7600, Fax: +1 401 863 7657, Email: pw@cs.brown.edu
|
|
刊名字顺( Alphabetical List of Journals):
返回页首 