Title :
Integrating formal and informal specification techniques. why? how?
Author :
Bruel, Jean-Michel ; Cheng, Binjie ; Easterbrook, S. ; France, Robert ; Rumpe, Bernhard
Author_Institution :
Universit de Pau et des Pays de I´Adour
Keywords :
Application software; Dictionaries; Formal specifications; Graphical models; Guidelines; NASA; Programming;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL, USA
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766297
