DocumentCode

2822685

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

fYear

1998

fDate

23-23 Oct. 1998

Firstpage

50

Lastpage

57

Keywords

Application software; Dictionaries; Formal specifications; Graphical models; Guidelines; NASA; Programming;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WIFT.1998.766297

Filename

766297