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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312960
بازگشت