Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Formal Aspects of Computing-incl. option to publish open access (Editorial Board)

Formal Aspects of Computing

Formal Aspects of Computing

Applicable Formal Methods

Chief Editor: James Woodcock

ISSN: 0934-5043 (print version)
ISSN: 1433-299X (electronic version)

Journal no. 165


Prof. J.C.P. Woodcock
Department of Computer Science,
University of York,
Heslington, York,
YO10 5DD, UK
email: jim.woodcock@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
Microsoft Research
One Microsoft Way
Redmond, WA  98052
email: wing@microsoft.com

Founding Editor

Prof. C.B. Jones
Department of Computing Science,
University of Newcastle Upon Tyne,
email: Cliff.Jones@ncl.ac.uk

Editorial Board

Prof. D. Bjorner
Fredscej 11, DK-2840 Holte, Denmark
email: bjorner@gmail.com

Dr. Eerke Boiten
School of Computing, University of Kent, Canterbury Kent CT2 7NF, UK
email: E.A.Boiten@kent.ac.uk

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, Av. Universidad, 30, E-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
. 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
LRI, University Paris-Sud PCRI , Batiment 650 91405, Orsay cedex, France
email: Marie-Claude.Gaudel@lri.fr

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

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, University of Oxford Wolfson Building Parks Road OXFORD, OX1 3QD, UK
email: Ursula.Martin@cs.ox.ac.uk

Prof. J. Parrow
Department of Information Technology, University of Uppsala,
Box 337, 751 05 Uppsala, Sweden
email: joachim.parrow@it.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
School of Computer Science, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA 15213, USA
email: wls@cs.cmu.edu

Prof. A. Sernadas
Universidade de Lisboa
email: amilcar.sernadas@tecnico.ulisboa.pt

Prof. J.V. Tucker
Department of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK
email: J.V.Tucker@swansea.ac.uk



For authors and editors

  • Journal Citation Reports®, Thomson Reuters
    2013 Impact Factor
  • 0.609
  • Aims and Scope

    Aims and Scope


    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.


  • Submit Online
  • Open Choice - Your Way to Open Access
  • Instructions for Authors

    Instructions for Authors


  • Author Academy: Training for Authors
  • English Language Editing

    English Language Editing


  • Copyright information

    Copyright information


    Submission of a manuscript implies: that the work described has not been published before (except in the form of an abstract or as part of a published lecture, review, or thesis); that it is not under consideration for publication elsewhere; that its publication has been approved by all co-authors, if any, as well as - tacitly and explicitly - by the responsible authorities at the institution where the work was carried out. Transfer of copyright to BCS becomes effective if and when the article is accepted for publication. The copyright covers the exclusive right (for U.S. government employees: to the extent transferable) to reproduce and distribute the article, including reprints, translations, photographic reproductions, microform, electronic form (offline, online) or other reproductions of similar nature.

    All articles published in this journal are protected by copyright, which covers the exclusive rights to reproduce and distribute the article (e. g., as offprints), as well as all translation rights. No material published in this journal may be reproduced photographically or stored on microfilm, in electronic data bases, video disks, etc., without first obtaining written permission from the publisher. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if not specifically identified, does not imply that these names are not protected by the relevant laws and regulations.

    An author may make his/her article published by Springer-Verlag London available on his/her personal home page, provided the source of the published article is cited and BCS is mentioned as the copyright owner. Authors are requested to create a link to the published article in Springer´s internet service. The link must be accompanied by the following text: "The original publication is available at springerlink.com".

    Please use the appropriate URL and/or DOI for the article. Articles disseminated via SpringerLink are indexed, abstracted and referenced by many abstracting and information services, bibliographic networks, subscription agencies, library networks, and consortia.

    The author warrants that this contribution is original and that he/she has full power to make this grant. The author signs for and accepts responsibility for releasing this material on behalf of any and all co-authors.

    After submission of this agreement signed by the corresponding author, changes of authorship or in the order of the authors listed will not be accepted by Springer-Verlag.

    While the advice and information in this journal is believed to be true and accurate at the date of its publication, neither the authors, the editors, nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.

    Special regulations for photocopies in the USA. Photocopies may be made to personal or in-house use beyond the limitations stipulated under Section 107 or 108 of U. S. Copyright Law, provided a fee is paid. All fees should be paid to the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA, Tel: +1-978-7508400, Fax: +1-978-6468600, http://www.copyright.com, stating the ISSN 0934-5043, the volume, and the first and last page numbers of each article copied. The copyright owner's consent does not include copying for general distribution, promotion, new works, or resale. In these cases specific written permission must first be obtained from the publisher.

    The Canada Institute for Scientific and Technical Infomation (CISTI) provides a comprehensive, world-wide document delivery service for all Springer-Verlag journals. For more information, or to place an order for a copyright-cleared Springer-Verlag document, please contact Client Assistant, Document Delivery, CISTI, Ottowa K1A 0S2, Canada (Tel: +1-613-993-9251; Fax: 613-952-8243; e-mail: cisti.docdel@nrc.ca).

    Springer-Verlag London Limited
    is a part of Springer Science+Business Media


    Ownership and Copyright
    © British Computer Society

Alerts for this journal


Get the table of contents of every new issue published in Formal Aspects of Computing.