AdaCore的GNAT Pro、CodePeer、QGen 和 SPARK Pro AdaCore 最近宣布同时年度发布其任务关键型、安全关键型和安全关键型系统的软件开发和验证工具组合中的四款旗舰产品。 这些包括 GNAT Pro、CodePeer、QGen 和 SPARK Pro 的 17.1 版本。
Brent Laster的 Professional Git (Wrox) 超过 40% 的软件开发人员使用这款非常流行的软件开发工具 Git 作为其主要的源代码控制工具。 对于那些刚接触 Git 领域，正在寻找专业、最新的指南来帮助他们入门的人来说，Brent Laster 的新书《Professional Git》是一项新的资源。
一切为了用户：在开源软件中应用可用性 开源软件开发人员已经创建了一系列出色的程序，这些程序提供了具有丰富功能的良好工作环境。 在工作和在家中，我通常在我的桌面上运行 Linux，使用 Firefox 和 LibreOffice 来完成我的大部分日常任务。 我更喜欢运行开源软件工具，我认为大多数 Linux Journal 的读者也是如此。
Mercurial - 近似的版本控制 不久前，Linux Journal 上发表了一篇文章，暗示 Git 是源代码版本控制系统的终极解决方案（Henry Van Styn 的“Git—完美的版本控制”，2011 年 8 月）。
交叉编译选项 您对交叉编译工具链的策略是什么？ 在这里，我们探讨一些选项：DIY - 需要您手动启动每个步骤，除非您足够擅长编写脚本来处理该过程。 由于每个步骤都需要很长时间，因此这可能是一项繁琐的工作。 但是，它可以让您完全控制并深入了解每个步骤。
