Computer-checked models can be used to prove that core communications and state management in a software program are 100% logically correct. Such models can also be used to generate 100% correct source code. The usage of formal methods can reduce costs and time to market and help to deliver highly reliable software products.
Code Aware Libraries are “libraries that provide guidance on correct use through embedded tooling and operates on the user’s code in real time.”
Facebook has open sourced Stetho, an Android debugging bridge enabling developers to debug their apps using Chrome DevTools.
Itty Bitty apps last week released (http://revealapp.com/features/#debug) version 1.5 of their iOS layout debugging app Reveal; which features 35 new features and a refreshed user interface.
In an upcoming Chrome release, Google upgraded DevTools with a new “Device Mode” to enable streamlined device display emulation, media query inspection, and a new network throttling tool. These tools make it easier for developers to emulate various devices and situations that their web page will encounter in the wild.
Facebook engineers Slobodan Predolac and Nicolas Spielberg have recently described how they "solved a long-term mobile debugging problem and reduced the crash rate ... by more than 50 percent." In the process, they show general useful techniques and a few Facebook tools that can help with large, rapidly evolving codebases.
Genuitec has announced a public beta for GapDebug, a free debugger for hybrid mobile apps built on top of the Cordova/PhoneGap SDK. GapDebug integrates versions of the Safari Webkit Inspector and Chrome Dev Tools to offer an integrated debugging experience on OS X and Windows.
The recent security weakness found in both iOS and OS X hints at flaws in coding style guidelines, unit testing, system testing, code review policies, error management strategies, and tools deployment. An overview.
The recently released Android++ in closed beta enables you to build Android apps using Visual Studio with support for zero hardware restrictions, MSBuild, LLVM, GCC in addition to integrated GDB debugging.
When a .NET application fails in production the developer is often left with just a memory dump. Since Visual Studio cannot handle dumps, you have to instead look at a tool called WinDbg. Though powerful, these can be difficult to use so developers occasionally create their own extensions. Once such developer is Rodney Viana, who has just released netext 1.6.1 as an open source project.
Eclipse Code Recommenders 2.0 has been released, with a new crowd-sourcing mechanism for gaining recommendations and snippets for other users, as well as an incubating technology to annotate JavaDocs with dynamically updated documentation for 'see also' calls. Read on to find out more.
Mobile Backend as a Service provider AnyPresence continues to hone their chops. Launching the fifth update to their self-titled platform geared for the enterprise. Co-founder Rich Mendis provides some insights for InfoQ readers…