|
Volumn , Issue , 2010, Pages 7-11
|
Software economies
b
IBM
(United States)
|
Author keywords
Design; Economics; Reliability; Verification
|
Indexed keywords
COMPLEX SOFTWARE;
CORPORATE DEVELOPMENT;
FORMAL PROOFS;
SOFTWARE CONSTRUCTION;
SOFTWARE SYSTEMS;
ECONOMICS;
ENGINEERING RESEARCH;
RHENIUM COMPOUNDS;
SOFTWARE ENGINEERING;
OPEN SYSTEMS;
|
EID: 79951602773
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1882362.1882365 Document Type: Conference Paper |
Times cited : (11)
|
References (13)
|