ianh@banana.cs.uq.OZ (Ian Hayes) (09/09/88)
FORMAL ASPECTS OF COMPUTING The International Journal of Formal Methods Editor-in-Chief: C. B. Jones Associate Editor: D. J. Cooke Published by Springer International in association with The British Computer Society. Announcement and Call for Papers Computing Science is developing and providing a basis on which complex systems can be designed and analysed. Theories are evolving in terms of which a true understanding of difficult computing concepts can be gained. To employ such theories in discussions requires the use of formal notation. Although notation can present an initial barrier, practitioners are now finding that the investment of effort is worthwhile. The principle aims of ``Formal Aspects of Computing'' are to promote the growth of computing science, to show its relationship to practice, and to help in the application of formalisms. In particular, contributions to the formal aspects of computing are to be published. The following fall within the scope of formal aspects: - Well founded notations for system description/specification; - Verifiable designs; - Proof methods; - Theories of objects used in specifications and implementations; - Transformational design; - Formal approaches to requirements analysis; - Results on algorithm and problem complexity; - Fault-tolerant design; - Descriptions of relevant ``Project Support Environments''; - Methods of approaching development. Applications of known formal methods as well as new results would be suitable subjects for papers. Comprehensive surveys will also be published and there is hope that some systematic coverage of major topics can be achieved over a period of years. Contributions to the teaching of formal aspects would also be welcome. To all contributions, normal scientific standards will be applied; papers must be soundly based, include a proper description of their context and adequate references to associated work must be given. People wishing to submit papers should, in the first instance, contact either Cliff Jones or John Cooke. Professor C. B. Jones, Dr. John Cooke, Department of Computer Science, Department of Computer Studies, The University of Manchester, University of Technology, Oxford Road, Loughborough, Manchester M13 9PL, Leicestershire LE11 3TU, ENGLAND ENGLAND