Formal Aspects of Computing October-December 1991 [antikvár]

Computing science is developing and providing a basis on which complex systems can be designed and anaiysed. 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 formai notation. Although notation can present an initial barrier, practitioners are now finding that the investment of effort is worthwhile. The principal aims of this journal 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 formai aspects of computing are to be published. The following fali within the scope of formai aspects: * Well founded notations for system description/specification * Verifiable designs * Proof methods * Theories of objects used in specifications and implementations * Transformational design * Formai 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 formai methods as well as new results would be suitable subjects for papers. Comprehensive surveys will alsó be published and there is hope that somé systematic coverage of major topics can be achieved over a period of years. Contributions to the teaching of formai aspects would alsó be welcome. To all contributions, normál 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.