System specification in Rosetta

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2000, Pages 299-307

  Alexander, Perry ^a   Kamath, Roshan ^a  

^a UNIVERSITY OF KANSAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LANGUAGES; PROGRAMMING THEORY;

FACET ALGEBRA; SOFTWARE PACKAGE ROSETTA;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (13)