Title: 2nd International Conference on Formal Engineering Methods (Icfem '98