GrammaTech - PDFSEARCH.IO - Document Search Engine

GrammaTech
Results: 25

#	Item
11	Lindsey Kuper Programming Systems Lab, Intel Labs Intel Corporation 3600 Juliette Lane Santa Clara, CA 95054 Add to Reading List Source URL: composition.al Language: English Association for Computing Machinery Functional programming International Conference on Functional Programming Principles of Programming Languages SIGPLAN Continuation Parallel computing Programming Language Design and Implementation GrammaTech Computing Software engineering Computer programming
12	Microsoft Word - COVERS.DOC Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-11-18 05:04:00 Ada Ada programming language Procedural programming languages GrammaTech Programmer Robert Dewar C Sharp Intermetrics ALGOL 68 Computing Software engineering Computer programming
13	TIM CHEVALIER Objective A full-time position at the intersection of software development and computer science research. Particularly interested in applying advanced, type-safe programming languages to real-world applicat Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-10-04 23:39:47 Cross-platform software Scripting languages Haskell Literate programming OpenLaszlo Tcl GrammaTech Deforestation Java Computing Software engineering Computing platforms
14	Microsoft PowerPoint - 11_Grammatech Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-03-06 18:49:04 GrammaTech Program analysis Static program analysis
15	Bugs that Matter: True Positives and False Negatives in CodeSonar ® SATE 2010 Presented by: Paul Anderson, VP of Engineering, GrammaTech Inc. Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:58 GrammaTech Denial-of-service attacks Wireshark Computer network security Pointer C Buffer overflow Type I and type II errors Transport Layer Security Computing Software Software bugs
16	CASE STUDY In response to an alarming number of complaints, the FDA has announced more stringent Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2015-03-05 16:41:49 Medical equipment Software testing Pharmaceutical industry Validity Formal methods Medical device Food and Drug Administration Validation Verification and validation Medicine Technology Science
17	PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2014-11-26 00:46:21 Software testing GrammaTech Program analysis Application security Software bug Static program analysis Vulnerability Analysis Pointer Computing Software Cross-platform software
18	National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011 Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2014-11-26 00:46:21 Unmanned spacecraft GrammaTech Gerard J. Holzmann Mars Science Laboratory Reliability engineering Mars Global Surveyor Software development Spaceflight Spacecraft Space technology
19	White Paper April[removed]Embedded Software Design: Best Practices for Static Analysis Tools This paper reviews a number of the growing complexities that embedded software development Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2014-11-26 00:46:21 Cross-platform software Source code MISRA C GrammaTech Application security Software quality Static program analysis Embedded system Coding conventions Computing Computer programming Software engineering
20	Securely Taking on New Executable Software of Uncertain Provenance (STONESOUP) Neutralizing Exploitable Vulnerabilities in Software Program Manager: Mr. W. Konrad Vesey; E-mail: [removed] How can we benefit Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-11-12 11:22:59 Computer security Security Vulnerability Computer network security Software bugs Application security GrammaTech Memory safety Attack patterns Software testing Cyberwarfare Hacking

UPDATE