Using Models in Developing Software for Self-Driving Cars

by Ben Linders on  Jul 28, 2016

Models play an important role in developing software for autonomous systems like self-driving cars; they are used to simulate and verify behavior, document the system, and generate code. Jonathan Sprinkle explains how to model software used in autonomous systems, the benefits of modeling, using test data to validate the software that drives a car and techniques for writing reliable code.

Technologies and Trends in Developing Complex Software Systems

by Ben Linders on  May 26, 2016 7

The Software-Centric Systems Conference explored new technologies, trends, and experiences in developing complex software systems. InfoQ spoke with Rob Howe and Martijn Rutten, two members of the program committee, about the main challenges that software development is facing, technology developments, driving innovation, and deploying agile to improve process reliability and deliver value.

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.

AnyPresence Soups up Enterprise MBaaS Platform- Part 1 of 2

by Martin Monroe on  Oct 30, 2013

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…

Software Architecture in the Movies

by Michael Stal on  Jul 31, 2011

Keeping up-to-date with software architecture can be a tough endeavor. Information is normally available within thick books or somewhere hidden in the Web. Another more entertaining way can be to watch clips available at video sites such as YouTube and Vimeo.

OpenXava 4.0 Supports JPA 2.0 and Dependency Injection

by Srini Penchikala on  Jan 18, 2011 2

The latest version of Java based model-driven development framework OpenXava supports JPA 2.0 and Dependency Injection. OpenXava version 4.0 also includes improvements in Groovy support to define the JPA entities.

General Feedback
Marketing and all content copyright © 2006-2016 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.