Structured methodologies & formal notations: Developing a framework for synthesis and investigation

Report on the Structured & Formal Methods Workshop hosted by Leeds Polytechnic in conjunction with British Telecom as part of their collaborative research project.1