The full version of this Call for Papers is available.
The aims of the Workshop are to promote the interests of researchers and users of software development methods which combine the use of formal methods with other heuristic or semiformal methods (including structured and object-oriented methods), to evaluate integrated methods in the light of current research and practice, and discuss future research directions and priorities. The Workshop will include both technical presentations and working groups with active participation.
Contributions are invited in the following areas (but this list is not exclusive): different approaches to integration; process models; object orientation; integrating formal methods with object-oriented analysis and design methods; using integrated methods for verification and validation; tool support for integrated use of formal and structured methods; industrial experience/case studies; using integrated methods in education and training.
Submissions. There are three types of submissions: research papers (up to 20 pages in length) describing new theoretical work; industrial experience reports. These may be much shorter, and need not give so much technical detail; posters (four A4 sheets) outlining work in progress. Submissions should be sent to:
Tony Bryant, Leeds Metropolitan University,Prospective authors should consult the more detailed submission information in the full version of this announcement.
Faculty of Information and Engineering Systems, The Grange,
Beckett Park, Leeds, LS6 3QS, England,
Email: a.bryant@lmu.ac.uk
Important Dates
Intention to submit: 31 July 1995
Deadline for submission: 29 Sep 1995
Authors notified: 8 Dec 1995
Camera-ready copy: 26 Jan 1996