Using formal methods to reason about architectural standards

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 503-513

  Sullivan, Kevin J ^a   Socha, John ^a   Marchukov, Mark ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; STANDARDS;

COMPONENT OBJECT MODEL (COM); MULTIMEDIA AUTHORING SYSTEM; SOFTWARE ARCHITECTURAL STANDARDS;

SOFTWARE ENGINEERING; COMPUTER AIDED SOFTWARE ENGINEERING;

COMPONENT OBJECT MODELS (COM); SOFTWARE ARCHITECTURE;

EID: 0030615526     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/253228.253433     Document Type: Conference Paper

References (25)