<--- Back to Details
First PageDocument Content
Program analysis / APL / IBM software / Static program analysis / Coverity / Klocwork / Model checking / Parasoft / Cppcheck / Software / Computing / APL programming language family
Date: 2013-09-26 17:35:46
Program analysis
APL
IBM software
Static program analysis
Coverity
Klocwork
Model checking
Parasoft
Cppcheck
Software
Computing
APL programming language family

Microsoft Word - PENDERGRASS.LEE.FINAL[removed]SARALAB-V4[removed]docx

Add to Reading List

Source URL: techdigest.jhuapl.edu

Download Document from Source Website

File Size: 1,42 MB

Share Document on Facebook

Similar Documents

Itemis / YAKINDU Statechart Tools / Application software / Software license

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

DocID: 1xW2N - View Document

Software development / Computing / Debugging / Aspect-oriented software development / Aspect-oriented programming / Delta debugging / Extreme programming / Software testing / Debugger / Software bug / AspectJ / Spring Framework

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

DocID: 1xW1R - View Document

Uniform polyhedra / Prism / PRISM model checker / Model checking / Grip

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

DocID: 1xW1G - View Document

Ethics / Philosophy / Emerging technologies / Human behavior / Professional ethics / Codes of conduct / Philosophy of life / Business ethics / Ethical decision / Computer ethics / Self-driving car / Ethical code

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

DocID: 1xW0L - View Document

Computing / Engineering / Software engineering / Software testing / Information and communications technology / Product development / Software development / Software engineer / Test automation / Software quality

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

DocID: 1xW0u - View Document