GrammaTech - PDFSEARCH.IO - Document Search Engine

GrammaTech
Results: 25

#	Item
21	2013 DHS S&T/DoD ASD (R&E) CYBER SECURITY SBIR WORKSHOP Multiplatform Static Analysis and Supply-chain Risk Management Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-08-05 15:18:08 Small Business Innovation Research Public safety Business GrammaTech Security Computer security
22	Special Publication[removed]The Second Static Analysis Tool Exposition (SATE[removed]Vadim Okun Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Program analysis LDRA Testbed Coverity Veracode Klocwork Vulnerability SofCheck Inspector Static program analysis GrammaTech Software Computing Software testing
23	The OpenJML User Guide DRAFT IN PROGRESS David R. Cok GrammaTech, Inc. December 18, 2013 Add to Reading List Source URL: jmlspecs.sourceforge.net Language: English - Date: 2013-12-18 09:25:51 Java programming language Cross-platform software Java Modeling Language Java OpenJDK JAR Classpath ANSI/ISO C Specification Language Computing Java platform Software
24	RAY (a.k.a. TIM) TEITELBAUM EDUCATION 1975 Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2013-03-15 15:48:48 Programming Language Design and Implementation Association for Computing Machinery Orc GrammaTech Computing Computer science
25	Advanced Slicing of Sequential and Concurrent Add to Reading List Source URL: www.opus-bayern.de Language: English - Date: 2010-11-02 14:59:32 Debugging Program analysis Program slicing Program transformation Software maintenance Compilers GrammaTech Data-flow analysis Slicing Computing Software engineering Programming language theory

UPDATE