Abstract | ||
---|---|---|
. 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 organisations. 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 result and 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 1708 and 1709 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 in 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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/PL00011167 | Formal Asp. Comput. |
Field | DocType | Volume |
Computer science,Systems design,Operations research,Theoretical computer science,System development,Formal methods,Mainstream,First World,Management science,Computing systems | Journal | 12 |
Issue | ISSN | Citations |
3 | 0934-5043 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jeannette M. Wing | 1 | 6429 | 874.60 |
Jim Woodcock | 2 | 0 | 0.34 |