Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
Dines Bjørner, Larry E. Druffel · International Conference on Software Engineering · 1990
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. >