Methods of Software Design: Techniques and Applications
Guide for Authors
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
being considered as an
Editor 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.
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.
The manuscript should contain an abstract, a list of significant keywords and full mailing addresses,
preferably including e-mail addresses, of all authors. Electronic submission of papers is encouraged.
Footnotes should be avoided
if possible and as brief as possible, they should be
numbered consecutively.
Submitting your illustrations, pictures, tables and
other artwork in an electronic format helps us to produce your work to the best possible standards, ensuring accuracy, clarity and a
high level of detail. For detailed guidelines on electronic figures, please refer to 'artwork instructions' at http://authors.elsevier.com/artwork.
This site shows how to prepare your artwork for electronic submission and includes: common problems, suggestions on how to ensure the
best results, and guidelines for popular applications. See the links under Creating your Artwork for details about using specific artwork
software.
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.
LaTeX documents
If the LaTeX file is suitable, proofs will be produced without rekeying the text. The article should preferably be written using Elsevier's
document class "elsart", or alternatively the standard document class "article".
The Elsevier LaTeX package (including detailed instructions
for LaTeX preparation) can be obtained from the Quickguide: http://www.elsevier.com/latex. It consists of the files: elsart.cls,
guidelines for users of elsart, a template file for quick start, and the instruction booklet "Preparing articles with LaTeX".
No
changes fromthe 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.
Submission to this journal proceeds totally online. Use the following guidelines
to prepare your article. Via the homepage of this journal http://www.elsevier.com/scico you will be guided stepwise through the creation
and uploading of the various files. The system automatically converts source files to a single Adobe Acrobat PDF version of the article,
which is used in the peer-review process. Please note that even though manuscript source files are converted to PDF at submission for
the review process, these source files are needed for further processing after acceptance. All correspondence, including notification
of the Editor's decision and requests for revision, takes place by e-mail and via the author's homepage, removing the need for a hard-copy
paper trail.
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 copyright policy and in no way conflicts with submission to
Science of Computer Programming.
Author Benefits
No page charge is due
The corresponding author, at no cost, will
be provided with a PDF file of the article via e-mail or, alternatively, 25 free paper offprints. The PDF file is a watermarked version
of the published article and includes a cover sheet with the journal cover image and a disclaimer outlining the terms and conditions
of use.
30% discount on Elsevier books.
For complete up-to-date addresses of Editors please check the link to the Editorial
Board on the journal's homepage. 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 copyright
policy and in no way conflicts with submission to Science of Computer Programming.
Author Benefits No page charge is due The
corresponding author, at no cost, will be provided with a PDF file of the article via e-mail or, alternatively, 25 free paper offprints.
The PDF file is a watermarked version of the published article and includes a cover sheet with the journal cover image and a disclaimer
outlining the terms and conditions of use. 30% discount on Elsevier books. For complete up-to-date addresses of Editors please
check the link to the Editorial Board at the beginning of these instructions.
