BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

rss
Culture & Methods Follow 173 Followers

Evolving the Engineering Culture at Criteo

by Ben Linders Follow 8 Followers on  Apr 03, 2017

Senior management should make engineering culture a top priority and create the framework which supports building a good engineering culture. You need values for culture to evolve, supported by rules that govern how things are done.

Followers

Developing Provably-Correct Software Using Formal Methods

by Ben Linders Follow 8 Followers 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.

Followers

SEI Publishes The CERT Guide to Insider Threats Book

by Michael Stal Follow 0 Followers on  Mar 03, 2012 1

What do ACTA, SEPA, PIPA, Stuxnet, Google have in common? They all have been hot topics in the press during the last months and they are dealing with information security. What, however, is commonly forgotten are internal threats related to espionage and stealing of company information.

Followers

Acceleration Problems in Cars caused by Software

by Michael Stal Follow 0 Followers on  Mar 03, 2012

In a recent news report CNN has revealed a translated Toyota memo which links problems of the car manufacturer regarding an electronic acceleration concern to a software issue. When even news magazines pick up such stories, this shows the growing importance of software for embedded systems.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT