期刊名称：FORMAL METHODS IN SYSTEM DESIGN
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.
The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design. Papers describing original work in all aspects of formal methods as they relate to this general area are invited.
Instructions to Authors
Authors are encouraged to submit high quality, original work that has not appeared in, nor is under consideration by, other journals. Papers which have previously appeared in conference proceedings will also be considered, and this should be so indicated at the time of submission.
1. Authors should submit six hard copies of their final manuscript to:
Melissa Andersen
FORM - Editorial Office
Kluwer Academic Publishers
101 Philip Drive
Assinippi Park
Norwell, Massachusetts 02061, U.S.A.
Tel.: 781-871-6300
Fax: 781-878-0449
E-mail: melissa.andersen@wkap.com
For prompt attention, all correspondence can be directed to this address.
2. Enclose with each manuscript, on a separate page, from three to five keywords.
3. Enclose originals for the illustrations, see "Style for Illustrations", for one copy of the manuscript. Photocopies of the figures may accompany the remaining copies of the manuscript. Alternatively, original illustrations can be submitted after the paper has been accepted.
4. Enclose a separate page giving the preferred address of the contact author for correspondence and return of proofs. Please include an e-mail address, a telephone number and a fax number.
5. The refereeing is done by anonymous reviewers.
Electronic Delivery
Please send only the electronic version (of ACCEPTED paper) via one of the methods listed below. Note, in the event of minor discrepancies between the electronic version and hard copy, the electronic file will be used as the final version.
The Kluwer LaTeX journal style file is no longer the preferred format for accepted paper submissions. Kluwer will accept any format for accepted paper submissions.
Via electronic mail
1. Please e-mail electronic version to: KAPfiles@wkap.com
2. Recommended formats for sending files via e-mail:
o Binary files - uuencode or binhex
o Compressing files - compress, pkzip or gzip
o Collecting files - tar
3. The e-mail message should include the author¡®s last name, the name of the journal to which the paper has been accepted, and the type of file (e.g., LaTeX or ASCII).
Via anonymous FTP
ftp: ftp.wkap.com
cd: /incoming/production
Send e-mail to KAPfiles@wkap.com to inform Kluwer electronic version is at this FTP site.
Via disk
1. Label a 3.5 inch floppy disk with the operating system and word processing program along with the authors¡® names, manuscript title, and name of journal to which the paper has been accepted.
2. Mail disk to:
Kluwer Academic Publishers
Desktop Department
101 Philip Drive
Assinippi Park
Norwell, MA 02061, U.S.A.
Any questions about the above procedures please send e-mail to: dthelp@wkap.com
Style for Manuscript
1. Typeset, double or 1 1/2 space: use one side of sheet only (laser printed, typewritten, and good quality duplication acceptable).
2. Use an informative title and provide an informative 100-250 word abstract at the head of the manuscript. The abstracts are printed with the articles. It should be a carefully worded description of the problem, the key ideas introduced, and the results.
3. Provide a separate double-spaced sheet listing all footnotes, beginning with "Affiliation of author" and continuing with numbered footnotes. Acknowledgment of financial support may be given if appropriate.
4. References should appear in a separate bibliography at the end of the paper. References should be complete, in the following style:
Style for papers
Author(s) initials followed by last name for each author, paper title, publication name, volume, inclusive page numbers, month and year.
Style for books
Author(s), title, publisher, location, year, chapter or page numbers (if desired). The references should be cited in the text using numbers, for example [7].
5. Type or mark mathematical expressions exactly as they should appear in print. Journal style for letter symbols is as follows: variables, italic type (indicated by underline); constants, roman text type; matrices and vectors, boldface type (indicated by wavy underline). In word-processor manuscripts, use appropriate typeface. It will be assumed that letters displayed are to be set in italic type unless you mark them otherwise. All letter symbols in text discussion must be marked if they should be italic or boldface. Indicate best breaks for equations in case they will not fit on one line.
Style for Illustrations
1. Originals for illustrations should be sharp, noise-free, and of good contrast. We regret that we cannot provide drafting or art service.
2. Line drawings should be in laser printer output or in India ink on paper, or board. Use 8 1/2 by 11-inch (22 x 29 cm) size sheets if possible, to simplify handling of the manuscript.
3. Each figure should be mentioned in the text and numbered consecutively using Arabic numerals. Specify the desired location of each figure in the text, but place the figure itself on a separate page following the text.
4. Number each table consecutively using Arabic numerals. Please label any material that can be typeset as a table, reserving the term "figure" for material that has been drawn. Specify the desired location of each table in the text, but place the table itself on a separate page following the text. Type a brief title above each table.
5. All lettering should be large enough to permit legible reduction.
6. Photographs should be glossy prints, of good contrast and gradation, and any reasonable size.
7. Number each original on the back.
8. Provide a separate sheet listing all figure captions, in proper style for the typesetter, e.g., "Figure 3. Examples of the fault coverage of random vectors in (a) combinational and (b) sequential circuits."
Proofing
Page proofs for articles to be included in a journal issue will be sent to the contact author for proofing, unless otherwise informed. The proofread copy should be received back by the Publisher within 72 hours.
Copyright
It is the policy of Kluwer Academic Publishers to own the copyright of all contributions it publishes. To comply with the U.S. Copyright Law, authors are required to sign a copyright transfer form before publication. This form returns to authors and their employers full rights to reuse their material for their own purposes. Authors must submit a signed copy of this form with their manuscript.
Reprints
Contact authors will be entitled to 25 free reprints of their paper. Additional reprints may be ordered from the Publisher prior to publication. An order form will be sent to authors with page proof.
Editorial Board
|
Editor-in-Chief
Professor Edmund M. Clarke School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 TEL 412¨C268¨C2628 FAX 412¨C681¨C5739 EMAIL Edmund.Clarke @cs.cmu.edu |
|
Editorial Board: |
|
Rajeev Alur, University of Pennsylvania Graham Birtwistle, University of Calgary Dominique Borrione, Laboratoire TIMA Robert K. Brayton, University of California/Berkeley Randal E. Bryant, Carnegie Mellon University Luc Claesen, IMEC/Katholieke University Leuven Rance Cleaveland, SUNY at Stony Brook R. Constable, Cornell University Olivier Coudert, Synopsys, Inc. Srinivas Devadas, MIT E. Allen Emerson, University of Texas/Austin Hans Eveking, Technical University of Darmstadt Michael P. Fourman, University of Edinburgh Masahiro Fujita, Fujitsu Laboratories, America, Ltd. Steven German, IBM Ganesh C. Gopalakrishnan, University of Utah M. Gordon, Cambridge University Orna Grumberg, Technion, Haifa Gary Hachtel, University of Colorado/Boulder Thomas Henzinger, University of California/Berkeley C.A.R. Hoare, Oxford University Gerard J. Holzmann, Bell Laboratories Warren A. Hunt, Jr., IBM Steven D. Johnson, Indiana University |
Kurt Keutzer, Synopsys, Inc. Robert Kurshan, Bell Laboratories Insup Lee, University of Pennsylvania Kenneth McMillan, Cadence Berkeley Labs R. Milner, Cambridge University Aloysius K. Mok, University of Texas/Austin J. Strother Moore, University of Texas/Austin Doron Peled, University of Texas/Austin Carl Pixley, Motorola Amir Pnueli, Weizmann Institute A. William Roscoe, Oxford University Alberto Sangiovanni-Vincentelli, University of California/Berkeley Natarajan Shankar, SRI International Joseph Sifakis, IMAG A. Prasad Sistla, University of Illinois at Chicago Scott A. Smolka, SUNY at Stony Brook Bernard Steffen, University of Passau Colin Stirling, University of Edinburgh Antti Valmari, Tampere University of Technology Moshe Vardi, Rice University Jeannette Wing, Carnegie Mellon University Pierre Wolper, Universite de Liege |
|
|
