DocumentCode
312960
Title
Formalizing and Integrating the Dynamic Model within OMT
Author
Wang, Enoch Y. ; Richter, Heather A. ; Cheng, Betty H. C.
Author_Institution
Department of Computer Science, Michigan State University
fYear
1997
fDate
17-23 May 1997
Firstpage
45
Lastpage
55
Keywords
Object-oriented modeling, formal specification, requirements analysis, design, model integration; Analytical models; Computer science; Context modeling; Control charts; Erbium; Formal specifications; Functional programming; Object oriented modeling; Permission; Uniform resource locators;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN
0270-5257
Print_ISBN
0-89791-914-9
Type
conf
DOI
10.1109/ICSE.1997.610203
Filename
610203
Link To Document