Visual Studio 2012 Cookbook
When we sat down to map out the next version of our premier software development tool,
Microsoft Visual Studio 2012, we had a few key scenarios in mind.
One of those scenarios was Developers are Raving Fans. We clearly heard the feedback about
the speed of Visual Studio, about the discoverability of features, its... | | Winning LEGO MINDSTORMS Programming
Winning LEGO MINDSTORMS Programming is your ticket to successfully programming for fun and competition with LEGO MINDSTORMS and the NXT-G programming language commonly used in FIRST LEGO League events. The book is a companion title to author James Trobaugh’s acclaimed book on physical robot design,... | | Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the... |