期刊名称：FORMAL ASPECTS OF COMPUTING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application. The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication. In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other. In particular, the scope of Formal Aspects of Computing includes,
- well-founded notations for the description of systems
- verifiable design methods
- elucidation of fundamental computational concepts
- approaches to fault-tolerant design
- theorem-proving support
- state-exploration tools
- formal underpinning of widely used notations and methods
- formal approaches to requirements analysis
Normal scientific standards are expected of all contributors: papers must be soundly based, place their contribution in context and provide adequate references. Material which is already widely available (e.g. as conference proceedings) will not normally be considered unless the work has been further developed and refined.
Related subjects » Numerical and Computational Mathematics - Theoretical Computer Science
Abstracted/Indexed in:
Academic OneFile, Academic Search, Compendex, CompuScience, Computer Abstracts International Database, Computer Science Index, Current Abstracts, Current Contents/Engineering, Computing and Technology, DBLP, Gale, Google Scholar, Inspec, io-port.net, Journal Citation Reports/Science Edition, OCLC, PASCAL, Science Citation Index Expanded (SciSearch), SCOPUS, Summon by Serial Solutions, TOC Premier, VINITI - Russian Academy of Science, Zentralblatt Math
Instructions to Authors
The author(s) guarantee(s) that the manuscript will not be published elsewhere in any language without the consent of the copyright holders, that the rights of third parties will not be violated,
and that the publisher will not be held legally respon-sible should there be any claims for compensation.Authors wishing to include figures or text passages that have already been published else-where are required to obtain permission from the copyright holder(s) and to include evidence that such permission has been granted when submit-ting their papers. Any material received without such evidence will be assumed to originate from the authors.
Manuscripts must be accompanied by the ‘‘Copyright Transfer Statement’’. The form can be obtained from springeronline.com/journal/165
2 Editorial procedure Papers must present scientific results that are essentially new. All manuscripts are subject to peer review.
Authors should submit their manuscripts elec-tronically as pdf files to an appropriate member of the editoral board. More information is available under § 4.
The journal accepts e-iled submissions of pdf files. The layout design for Formal Aspects of Computing has been implemented as a LaTeX class file which should be used whenever possible.
For further information and links to go to springeronline.com/journal/165 The preferred mode of preparation of papers is using Latex in conjunction with the fac.cls files.
Papers prepared using other systems will also be considered, but the Associate Editor should be contacted beforehand. Please be sure to include your e-mail address and your fax number. Please do not transmit electronic data to the publisher until your manu-script has been reviewed and accepted for publi-cation.
Please follow the instructions below.
Manuscripts which are returned to the authors for revision should be sent back within 10 weeks;otherwise they will be considered withdrawn.
Rejected manuscripts will not be returned to the authors (except for original illustrations).
Papers that do not conform to the journal norms may be returned to the authors for revision before being considered for publication.The author is responsible for the accuracy of the references.
No manuscript or figures will be returned following publication.
3 Manuscript preparation
Manuscripts should be written in LaTeX for which Springer-Verlag offers a LaTeX macro-package (see § 4).
All manuscripts are subject to copy editing.
Title page
– The name(s) of the author(s)
– A concise and informative title
– The affiliation(s) and address(es) of the author(s)
– The e-mail address, telephone and fax numbers of the communicating author
Abstract. Each paper must be preceded by an abstract presenting the most important results and conclusions in no more than 100 words.
Keywords. Up to 6 keywords should be supplied after the Abstract for indexing purposes.
Abbreviations should be defined at first mention the abstract and again in the main body of the ext and used consistently thereafter.
Essential footnotes to the text should be numbered consecutively and placed at the bottom
of the page to which they refer.References. The list of References should only include works that are cited in the text and that have been published or accepted for publication.
Personal communications should only be mentioned in the text.
The accuracy of the references is the authors’responsibility. Inconsistencies between the reference list and text citations may lead to a delay in publication.
References should be cited in the text by three letters (author surname or in the case of co-authors,first letter of the first three authors’ surnames). The date of publication should then follow.
At the end of the article, references should be given on a separate page in a list in alphabetical order in the following format:
Book: [AbC96] Abadu M, Cardelli L (1996) Title of book. Publisher, Place of publication
Chapter in a book: [Ama91] Amadio RM (1991)
Title of chapter. In: Smith J (ed) Title of book.
Publisher, Location, pp xx–xx
Journal Article: [BjJ78] Bjøner D, Jones CB (1978)
Title of article. Journal title abbreviated 256:xx–xx
References such as ‘‘personal communications’’or ‘‘unpublished data’’ cannot be included in the reference list,
but should bementioned in the text in parentheses: this also applies to papers presented at meeting but not yet published or accepted for publication. A date should be given for both ‘‘per-sonal cmomunications’’ and ‘‘unpublished data’’.Papers which have been accepted for publica-ion should be included in the list of references with the name of the journal and ‘‘in press’’.
Oral communications should only be men-tioned in the acknowledgements.If available the Digital Object Identifier (DOI)of the cited literature should be added at the end of the reference in question.
Example: [DeG03] Derrick J, Smith G (2003)
Structural refinement of systems specified in object-Z and CSP. Formal Aspects of Computing 5(1):1–27. DOI 10.1007/s00165-003-0002-9 A paper published online but not (yet) in print can be cited using the Digital Object Identifier (DOI). The DOI should be added at the end of the reference in question.
Editorial Board
Editor-in-Chief
Prof. J.C.P. Woodcock
Department of Computer Science,
University of York,
Heslington, York,
YO10 5DD, UK
email: jim@cs.york.ac.uk
Asscociate Editor
Dr. D.J. Cooke
Department of Computer Science,
Loughborough University,
Loughborough, LE11 3TU, UK
email: D.J.Cooke@lboro.ac.uk
North American Editor
Prof. J.M. Wing
Department of Computer Science,
Carnegie Mellon University,
Pittsburgh, PA 15213, USA
email: wing@cs.cmu.edu
Founding Editor
Prof. C.B. Jones
Department of Computing Science,
University of Newcastle Upon Tyne,
NE1 7RU, UK
email: Cliff.Jones@ncl.ac.uk
Editorial Board
Prof. E. Astesiano
Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Vle. Benedetto xv, 3, 16 132 Genova, Italy
email: astes@disi.unige.it
Prof. R. Backhouse
Dept. of Computing Science & Information Technology, University of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, UK
email: rcb@cs.nott.ac.uk
Prof. D. Bjorner
Fredsvej 11, DK-2840 Holte, Denmark
email: db@it.dtu.dk
Prof. M. Broy
Institut für Informatik, Technische Universität München, Lehrstuhl IV, Boltzmannst. 3, Garching bei München, Germany
email: broy@in.tum.de
Prof. M.J. Butler
School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK
email: mjb@ecs.soton.ac.uk
Prof. Dr. C. Delgado Kloos
Universidad Carlos III de Madrid, c/Butarque, 15, 28911 Leganés (Madrid), Spain
email: cdk@it.uc3m.es
Dr Dong Jin Song
Department of Computer Science, School of Computing,
National University of Singapore, 3 Science Drive 2, Singapore 117543
email: dongjs@comp.nus.edu.sg
Prof. D.A. Duce
School of Computing and Mathematical Sciences, Oxford Brookes University, Headington, Oxford OX3 0BP, UK
email: daduce@brookes.ac.uk
Prof. E.A. Emerson
Department of Computer Science, University of Texas at Austin, Austin, TX 7812, USA
email: emerson@cs.utexas.edu
Prof. M.-C. Gaudel
Université de Paris-Sud, L.R.I. CNRS UA 410, Bâtiment 490, 91405 Orsay Cedex, France
email: mcg@lri.fr
Prof. Dr. G. Goos
GMD, Postfach 1240, Schloß Birlinghoven, 53754 St Augustin, Germany
Prof. I.J. Hayes
Department of Computer Science, University of Queensland, Brisbane, Queensland 4072, Australia
email: Ian.Hayes@itee.uq.edu.au
Prof. He Jifeng
Software Engineering Institue, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China
Email: jifeng@sei.ecnu.edu.cn
Prof. E.C.R. HehnerComputer Systems Research Group, University of Toronto, Sandford Fleming Building, 10 King's College Road, Toronto, Ontario M5S 3G4, Canada email: hehner@cs.toronto.edu
Dr. C.J.P. de Lucena
Pontifica Universidade Catholica do Rio de Janeiro, PUCRJ, Departmento de Informatica, Rue Marques de Sao Vicente 225, Gavea, Rio de Janeiro CEP, 22453, Brazil
email: lucena@inf.puc-rio.br
Prof. T.S.E. Maibaum
McMaster University, Department of Computing & Software, 1280 Main St. West, Hamilton, Ontario, Canada L8S 4K1
email: tom@maibaum.org
Prof. U.H.M. Martin
Department of Computer Science, Queen Mary University of London, Mile End Road, London E1 4NS, UK
email: Ursula.Martin@dcs.qmul.ac.uk
Prof. A.J.R.G. Milner
The Computer Laboratory, Cambridge University, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK
email: Robin.Milner@cl.cam.ac.uk
We are sad to note that our colleague, Professor Robin Milner, passed away on Saturday 20th March 2010.
Prof. J. Parrow
Department of Information Technology, University of Uppsala,
Box 337, 751 05 Uppsala, Sweden
email: joachim@docs.uu.se
Prof. B. Pierce
Department of Computer Science and Information Science, University of Pennsylvania,
200 South 33rd Street, Philadelphia, PA 19104-6389, USA
email: bcpierce@cis.upenn.edu
Prof. W.L. Scherlis
Department of Computer Science, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA 15213, USA
email: scherlis@cs.cmu.edu
Prof. A. Sernadas
Section of Computer Science, Department of Mathematics, IST, AV Rovisco Pais, 1096 Lisboa Codex, Portugal
email: acs@math.ist.utl.pt
Prof. J.V. Tucker
University College of Swansea, Singleton Park, Swansea SA2 8PP, UK
email: J.V.Tucker@swansea.ac.uk
Prof. Zhou Chaochen
United Nations University, International Institute for Software Technology, PO Box 3058, Macau
email: zcc@ios.ac.cn
| 
