Formal specifications on industrial-strength code - From myth to reality

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 1-

  Das, Manuvir ^a  

^a MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COST BENEFIT ANALYSIS; DATA STORAGE EQUIPMENT; PRODUCT DEVELOPMENT; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE ENGINEERING;

INDUSTRIAL STRENGTH CODE; MEMORY ACCESS BEHAVIOR; RUN TIME ASSERTIONS; WINDOWS PUBLIC INTERFACES;

COMPUTER SOFTWARE;

EID: 33749836630     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_1     Document Type: Conference Paper

References (0)