BT

Your opinion matters! Please fill in the InfoQ Survey!

rss
Java Follow 492 Followers

Kiki Carter, Enterprise Architect at Lightbend, Speaks to InfoQ at ETE

by Michael Redlich Follow 6 Followers on  Jun 07, 2017

Kiki Carter, enterprise architect at Lightbend, spoke to InfoQ at the 2017 Emerging Technologies for the Enterprise (ETE) Conference about her thoughts on microservices, reactive systems, Scala vs. Java, and the SMACK stack.

Culture & Methods Follow 287 Followers

Using Models in Developing Software for Self-Driving Cars

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

Culture & Methods Follow 287 Followers

Technologies and Trends in Developing Complex Software Systems

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

Architecture & Design Follow 907 Followers

Lagom, a New Microservices Framework

by Jan Stenberg Follow 10 Followers on  Mar 08, 2016 1

Lightbend, the company behind Akka, has released an open source microservices framework, Lagom built on their Reactive Platform, in particular the Play Framework and the Akka family of products together with ConductR for deployment. By default, Lagom is message-driven and asynchronous, and using distributed CQRS persistence patterns with event sourcing as the primary implementation.

Followers

Developing Provably-Correct Software Using Formal Methods

by Ben Linders Follow 13 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

AnyPresence Soups up Enterprise MBaaS Platform- Part 1 of 2

by Martin Monroe  Followers 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…

Followers

Software Architecture in the Movies

by Michael Stal  Followers 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.

Followers

OpenXava 4.0 Supports JPA 2.0 and Dependency Injection

by Srini Penchikala Follow 17 Followers 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.

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