Toolchain - PDFSEARCH.IO - Document Search Engine

Toolchain
Results: 139

#	Item
41	Test Driven Development in Debian — BoF Ian Jackson Tom Marble Stefano Zacchiroli Add to Reading List Source URL: upsilon.cc Language: English - Date: 2011-07-27 12:29:02 Free software Debian Ubuntu Cross-platform software FTBFS Deb Advanced Packaging Tool Lintian Debian build toolchain Software Dpkg Linux
42	Debsources: Live and Historical Views on Macro-Level Software Evolution∗ Matthieu Caneill Stefano Zacchiroli Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Ubuntu Cross-platform software Unstable Deb Advanced Packaging Tool Debian build toolchain Software Debian Dpkg
43	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
44	Debian: 20 years of Free Software, “do-ocracy,” and democracy Stefano Zacchiroli Debian Project Leader 28 January 2013 Add to Reading List Source URL: upsilon.cc Language: English - Date: 2013-01-28 09:56:47 Linux Deb Debian GNU/Hurd Debian build toolchain Software Debian System software
45	Presseinformation Nr. 022 \| or \| ALMA holt mehr aus Mehrkernprozessoren heraus Ergebnisse des EU-Projekts: Toolchain senkt Zeit- und Kostenaufwand beim Programmieren – Anwendungen laufen schneller Add to Reading List Source URL: www.itiv.kit.edu Language: German - Date: 2015-03-06 05:58:41
46	The Click2NetFPGA Toolchain Teemu Rinta-aho NomadicLab Ericsson Research Jorvas, Finland Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-29 05:10:41 LLVM Clang Lua Iptables Packet Processing Toolchain VHDL Router GNU Compiler Collection Software Computing Compilers
47	CRAN Repository Policy (Draft version), Version $Revision: 2678 $ CRAN Repository Maintainers Preamble Add to Reading List Source URL: www.icesi.edu.co Language: English - Date: 2012-04-20 12:09:53 Debian R Package Dpkg Software repository Debian build toolchain Software Free software Cross-platform software
48	Reference tables from Section 2b of Practical Security Stories and Security Tasks for Agile Development Environments www.safecode.org/publications/ SAFECode_Agile_Dev_Security0712.pdf Add to Reading List Source URL: www.safecode.org Language: English - Date: 2014-08-15 16:06:16 Software quality Hacking Software testing Vulnerability C Proprietary software Software assurance Requirement Debian build toolchain Computing Software development Software engineering
49	Backporting and Packaging in Debian 7. Juni 2004 Note l´egale ¨ Freie Inhalte. Dieser Beitrag ist lizensiert unter der UVM Lizenz fur Zusammenfassung Add to Reading List Source URL: www.free-it.org Language: English - Date: 2005-03-10 13:04:34 Ubuntu Software distribution Cross-platform software Unstable Deb Package management system Advanced Packaging Tool Debian build toolchain Debian-Med Software Dpkg Debian
50	Legal Compliance in Large Free Software Communities The case of Debian Stefano Zacchiroli Debian Developer Add to Reading List Source URL: upsilon.cc Language: English - Date: 2014-06-05 19:23:02 Dpkg Debian Free Software Guidelines Free software Deb Stefano Zacchiroli Debian build toolchain Debian GNU/kFreeBSD Software Linux Debian

UPDATE