1 Background

Randy Johnson is a mathematical logician by training and was first involved in formal methods part time from 1981 to 1984. From 1983 to 1990 he was doing large system software development. Since 1991 he has been involved full time in formal methods. He has been working on the international standard for Z as a member of the ISO committee SC22/WG19 since 1992 and has been a member of the ANSI committee NCITS/J21 for formal specification languages since its establishment.

Haim Kilov is a member of and active contributor to several international standardization committees. In particular, he contributed significantly to the development of GRM and RM-ODP. He is a member of NCITS/J21 and chairs the OMG semantics working group. He organized and co-chaired six OOPSLA workshops on behavioral semantics (he co-edited a book recently published by Kluwer based on the first four of these), as well as the ECOOP97 one, and has been an invited speaker and program committee member at numerous international conferences. He has a significant number of publications. His interests are in the areas of precise and formal specifications, information modeling, and business specifications including business patterns.