DocumentCode
2356669
Title
Position statement: ICSE-12 workshop on industrial experience using formal methods
Author
Bjorner, Dines ; Druffel, Larry
fYear
1990
fDate
26-30 Mar 1990
Firstpage
264
Lastpage
266
Abstract
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
Keywords
software engineering; coordinate systems; formal methods; industrial software development;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location
Nice
Print_ISBN
0-8186-2026-9
Type
conf
DOI
10.1109/ICSE.1990.63632
Filename
63632
Link To Document