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