Using formal specifications for component retrieval and reuse

Proceedings of the Hawaii International Conference on System Sciences

Volumn 3, Issue , 1998, Pages 356-365

  Penix, John ^a   Alexander, Perry ^a  

^a UNIVERSITY OF CINCINNATI   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; FORMAL LANGUAGES; FORMAL LOGIC; INTERFACES (COMPUTER);

FORMAL INFERENCE; FORMAL INTERFACE SPECIFICATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031599582     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)