Methods Integration: Proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996

The Methods Integration Workshop, held in Leeds in March 1996, had three main aims: to promote research into, and use of, software development methods which combine the use of formal methods with other heuristic or semiformal methods; to evaluate integrated methods in the light of current practice; and to discuss future research directions. The papers presented at the workshop covered a range of issues in methods integration, including: data modelling in ZIM; integrated formal and object-oriented methods; CASE support for methods integration; and mapping object diagrams into B specifications. The full papers from the workshop are available on-line. This booklet provides the passwords needed to access the Web site. Purchasing the booklet provides the user with unlimited access to the site for four years.