Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems

FORMAL methods are coming of age: mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organizations. A transfer of technology into the mainstream of systems development is slowly but surely taking place. FM '99, the First World Congress on Formal Methods in the Development of Computing Systems, was a measure of this new-found maturity. It brought together an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. The proceedings are published as volumes 1,708 and 1,709 in Springer-Verlag's Lecture Notes in Computer Science. These proceedings are a record of the technical symposium of FM '99: alongside the papers describing applications of formal methods, you will find technical reports, papers, and abstracts detailing new advances in formal techniques, from mathematical foundations to practical tools. After the World Congress, we decided that many papers deserved a wider audience, and we created an opportunity for their authors to revise and extend their work. The proceedings contain over one hundred papers, and we decided to publish twelve of them simultaneously in special issues of three journals: Formal Aspects of Computing, Formal Methods in System Design, and IEEE Transactions on Software Engineering. The papers selected are among the best submitted to FM '99, and were subjected to a rigorous second review process involving leading international academic and industrial researchers. The three journals contain the following papers.