BT

Developing Provably-Correct Software Using Formal Methods

by Ben Linders on  May 22, 2015

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.

Automated Error Reporting in Eclipse Mars

by Alex Blewitt on  Mar 13, 2015

At EclipseCon, the automated error reporting and UI freeze detecting tool - built into Eclipse Mars - was demonstrated. Having only been in the package for a short while, it has already helped identify and subsequently fix a number of problems. InfoQ spoke to the people behind the tools to find out more.

An Architect's World View: A Guide to Values, Principles and Practices

by Daniel Bryant on  Mar 05, 2015

At QCon London 2015, Colin Garlick presented “An Architect’s World View”, which provided a set of values, principles and practices to act as guidance for a software architect. The core values included people, the big picture, teamwork and integrity. Garlick proposed that these values are essentially characteristics that can be prioritised in order to work as a successful software architect.

Improve your Programming Skills with Exercism.io

by Ben Linders on  Dec 23, 2014

Exercism.io helps developers to increases their craftsmanship in a language through feedback and discussion. It’s a community and tool where developers can write code and discuss it to strengthen their problem-solving skills. InfoQ did an interview with the creator of exercism Katrina Owen and with Richard Thomson who contributed the C++ language track for exercism.

Enabling Agile Teams to Improve Software Quality

by Ben Linders on  Aug 07, 2014

Long working days, deadlines and team pressure can impact the quality of the software that agile teams deliver. What can we do to prevent that from happening and enable teams to improve the quality of their software? Some suggestions are to arrange for scope and deadline slack, adopt pull systems, and to make sure that people can slow down and get enough sleep.

How can Agile make you Faster?

by Ben Linders on  Mar 07, 2013 4

Delivering faster is one of the reasons that enterprises mention why want to use agile for software development. How can agile be used to become faster?

The Impact of Software Testing on Embedded Systems

by Michael Stal on  Apr 20, 2012 1

In its recent issue the Chip Design Magazine points out that the huge growth of portable and wireless systems combined with the increasing relevance of software in embedded systems poses a challenge. Quality issues need special attention, especially in safety-critical systems. This is why software test tools for software systems will become increasingly important.

An Introduction to Software Quality

by Abel Avram on  Apr 06, 2012 2

In two recent papers, David Chappell, Principal of Chappell & Associates, outlines the different aspects of software quality – functional, structural, and process-, the groups of people directly interested in quality –users, developers, and sponsors-, and the outcome of defects in externally or internally facing software over time.

Individual Yield

by Christopher Goldsbury on  Dec 28, 2011 6

Tony Wong, a project management blackbelt, enumerates some practical points on individual procutivity. This article wonders how well these apply to software development and contrasts his list with that of other lists.

How Applied Psychology can help Software Engineers

by Michael Stal on  Nov 02, 2011 1

On the 1st November software engineer and author John R. Fox has published his book “Digital Work in an Analog World”. According to its subtitle “Improving Software Engineering by Applied Psychology”, the book does not consider software engineering in practice. Rather, it is focusing on the psychological aspects relevant and practices relevant for engineers.

How Facebook Ships Code

by Jean-Jacques Dubray on  Jan 26, 2011 3

Facebook is probably the hottest company today, driving a very high level of interest and scrutiny. Despite a high level of secrecy, Yee Lee, a product manager at Skype, has assembled a large collection of notes detailing how code ships at Facebook.

How To Complete Stories Without Leaving Bugs Behind

by Dan Puckett on  Dec 27, 2010 3

What can you do when unacceptable numbers of stories are "done" with development, but they still have many quality problems?

How To Pay Down Technical Debt

by Dan Puckett on  Dec 06, 2010 4

Technical debt can be difficult to connect directly to customer value, but delivering customer value is what Agile processes are all about. So how can we track and reduce technical debt in an Agile development environment?

Big Ball of Mud, Still the Most Popular Software Design

by Vikas Hazrati on  Sep 15, 2010 19

Big Ball of Mud, is a code jungle which is haphazardly structured, sprawling, sloppy and connected by duct-tape. Over the years we have been introduced to various guidelines such as SOLID, GRASP and KISS amongst age old, high cohesion and low coupling to deal with this Mud. However, the situation still remains bleak and Big Ball of Mud seems to be a popular way to design and architect software.

W3C Releases Unicorn Web Validation Tool

by Dave West on  Jul 27, 2010

W3C has released Unicorn, a one-stop tool to help people improve the quality of their Web pages. Unicorn combines four popular tools, including the Markup validator, CSS validator, mobileOk checker, and Feed validator, with a single interface.

General Feedback
Bugs
Advertising
Editorial
Marketing
InfoQ.com and all content copyright © 2006-2015 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT