DocumentCode :
50507
Title :
To Code Is Human
Author :
Holzmann, Gerard J.
Volume :
32
Issue :
1
fYear :
2015
fDate :
Jan.-Feb. 2015
Firstpage :
14
Lastpage :
17
Abstract :
Programmers have found creative ways around programming rules. However, such tactics have a cost.
Keywords :
programming; programmer; programming rules; Computer programs; Encoding; Reliability engineering; Software engineering; Software reliability; program processors; compilers; computer programming; programming errors; software engineering;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/MS.2015.19
Filename :
7030198
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=50507