BT

Developing Provably-Correct Software Using Formal Methods

by Ben Linders on  May 22, 2015 9

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.

Delivering Value on Time by Using #NoEstimates

by Ben Linders on  May 21, 2015 2

Vasco Duarte suggests that people should experiment with #NoEstimates to learn and find ways in which it can help them to deliver value on time and under budget. He is writing a book on #NoEstimates in which he explains why estimation does not work and how you can use #NoEstimates to manage projects.

Adoption of SAFe at TomTom

by Ben Linders on  May 19, 2015

InfoQ interviewed Hans Aerts, vice president software development and agile coach at TomTom, about why they decided to adopt SAFe and how it was introduced and used to simplify the organizational structure and stop doing projects, why they focus on throughput rather than output, how they modified SAFe for Custom Systems, and what using SAFe has brought TomTom.

Node.js and io.js Merge Under the Node Foundation

by Abel Avram on  May 16, 2015

The io.js TC has voted to join the upcoming Node Foundation. The project will be named Node.js but it will be based on io.js’ repository.

Microsoft Project Oxford Aims to Bring Intelligence to Apps

by Sergio De Simone on  May 12, 2015

Under the name of Project Oxford, Microsoft has made available a set of RESTful APIs that aim to make it possible for developers to build apps that feature face recognition, speech processing, and other machine learning algorithms. Part of the Azure portfolio, the new APIs are currently in beta and free to use up to 5,000 call per month.

Scaling Dilemmas and How to Deal with Them

by Ben Linders on  May 11, 2015

Making teams working together can be challenging, but it is often needed to develop and deliver large complex products. In her opening keynote about scaling dilemma's at the Agile Adria 2015 conference Mary Poppendieck presented ideas for organizations that want to scale agile.

Avoid a Canonical Data Model

by Jan Stenberg on  Apr 12, 2015 16

Standardizing on common models for business objects that are exchanged within an enterprise, e.g. Customer, Order and Product together with the attributes and associations they have, might seem compelling but for Stefan Tilkov this creation of Canonical Data Models (CDMs) is a horrible idea which he strongly advices against.

Adrian Cockcroft: Microservices Revisited

by Mark Little on  Apr 12, 2015 1

Recently Adrian Cockcroft gave an interview to ActiveState's John Wetherill about microservices. In it he talks about how polyglot fits into microservices and the impact on him when he head that companies such as Target and Macy's, as well as Homeland Security had adopted that architectural approach.

AnyPresence Launches a New API Platform for Mobile and IoT Developers

by Janakiram MSV on  Apr 08, 2015

AnyPresence, one of the leading MBaaS players has launched JustAPIs, a platform for building and deploying RESTful APIs.

A Service is a Logical Construct Built by Microservices

by Jan Stenberg on  Mar 31, 2015

A service is a logical construct owning a business capability and made up of internal autonomous components or microservices that together fulfil the responsibilities of the service, Jeppe Cramon suggests continuing a previous series of blog posts clarifying his view on building services around business capabilities and bounded contexts.

Managing the Expectations from Agile

by Ben Linders on  Mar 27, 2015

InfoQ did an interview with Gil Zilberfeld about managing the expectations that organizations have of agile and how to prevent misconceptions, valuable ideas and practices from agile and what the future will bring for agile.

Measuring the Business Value in Agile Projects

by Savita Pahuja on  Mar 27, 2015

Technique of "value points" to determine the value delivered by any software project.

5 Design Principles for System Configuration

by Manuel Pais on  Mar 25, 2015

Popular configuration mechanisms like conf.d pose multiple problems when trying to converge system configuration using configuration management tools. Ish-Shalom proposes five design principles for configuration that prevent those problems. The core ideas being the use of a configuration API and the separation of configurations based on the type of system updates they require.

Playing the Product Owner Value Game

by Ben Linders on  Mar 23, 2015

The product owner value game is a card game for teams. The objective of the game is to deliver as much value as possible. Teams learn to prioritize backlogs, plan iterations, and deliver results. The game helps teams to talk about agile principles, and exchange experiences.

How Testers Can Make Organizations More Successful

by Ben Linders on  Mar 20, 2015

Tester should go beyond their testing discipline and go into the organization. By asking questions they can start a movement that increases product quality and helps organizations to become more successful as Mike Sutton explained in his closing keynote at the Agile Testing Day Netherlands 2015 about test beyond quality – beyond software.

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