Logo - springer
Slogan - springer

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

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

 

Articles

For authors and editors


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

    Aims and Scope

    Close

    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

    Close

  • Author Academy: Training for Authors
  • English Language Editing

    English Language Editing

    Close

  • Copyright information

    Copyright information

    Close

    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

    springer.com

    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.