Position statement: ICSE-12 workshop on industrial experience using formal methods

The authors define a system of coordinate systems within which one might profitably discuss the proper role of and experience with formal methods in industrial software development. So far, contributions of formal methods have primarily been within narrow confines of techniques for carrying out minute subtasks. Formal studies of the method aspects, those of connecting various notations, techniques, and tools so as to form a coherent, formally justifiable method, have been lacking