|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Best Practices in Code Inspection for Safety-Critical Software
May/June 2003 (vol. 20 no. 3)
pp. 56-63
| ASCII Text | x | ||
| Jorge Rady de Almeida Jr., Jo?o Batista Camargo Jr., Bruno Abrantes Basseto, S?rgio Miranda Paz, "Best Practices in Code Inspection for Safety-Critical Software," IEEE Software, vol. 20, no. 3, pp. 56-63, May/June, 2003. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.2003.1196322, author = {Jorge Rady de Almeida Jr. and Jo?o Batista Camargo Jr. and Bruno Abrantes Basseto and S?rgio Miranda Paz}, title = {Best Practices in Code Inspection for Safety-Critical Software}, journal ={IEEE Software}, volume = {20}, number = {3}, issn = {0740-7459}, year = {2003}, pages = {56-63}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2003.1196322}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Best Practices in Code Inspection for Safety-Critical Software IS - 3 SN - 0740-7459 SP56 EP63 EPD - 56-63 A1 - Jorge Rady de Almeida Jr., A1 - Jo?o Batista Camargo Jr., A1 - Bruno Abrantes Basseto, A1 - S?rgio Miranda Paz, PY - 2003 KW - inspection checklist KW - code inspection KW - safety-critical software VL - 20 JA - IEEE Software ER - | |||
One of the most important issues in analyzing safety-critical systems is code verification through an inspection checklist, whose items must be applied to the source code. The attention given to this list will help ensure obedience to good coding rules and represents an important factor in the design of safety-critical systems. This list also helps in the development of non-safety-critical systems, improving their quality and correctness.
Index Terms:
inspection checklist, code inspection, safety-critical software
Citation:
Jorge Rady de Almeida Jr., Jo?o Batista Camargo Jr., Bruno Abrantes Basseto, S?rgio Miranda Paz, "Best Practices in Code Inspection for Safety-Critical Software," IEEE Software, vol. 20, no. 3, pp. 56-63, May-June 2003, doi:10.1109/MS.2003.1196322
Usage of this product signifies your acceptance of the Terms of Use.