DocumentCode :
313002
Title :
Using Formal Methods to Reason about Architectural Standards
Author :
Sullivan, K.J. ; Socha, J. ; Marchukov, M.
Author_Institution :
Computer Science Department, University of Virginia
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
503
Lastpage :
513
Keywords :
Software engineering, formal methods, partial specification, architecture, integration, mediator, Component Object Model, COM, OLE, ActiveX, empirical, Microsoft, multimedia; Authoring systems; Computer architecture; Computer science; Documentation; Multimedia systems; Software engineering; Software standards; Standards development; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Conference_Location :
Boston, MA, USA
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610360
Filename :
610360
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=313002
بازگشت