InfoQ Homepage Model Driven Development Content on InfoQ
News
RSS Feed-
Microservices Framework Lagom 1.5 with Akka Management and Support for Kubernetes and OpenShift
Version 1.5 of the microservices framework Lagom comes with Akka Management, a set of tools for operating Akka powered applications, and support for deployment with Kubernetes or OpenShift. The recently released version 1.5 is built on Play 2.7.0, Alpakka Kafka 1.0 and Akka 2.5.22 and also adds support for Couchbase and for gRPC through Akka gRPC.
-
Kiki Carter, Enterprise Architect at Lightbend, Speaks to InfoQ at ETE
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.
-
Using Models in Developing Software for Self-Driving Cars
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
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.
-
Lagom, a New Microservices Framework
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 are used together with ConductR for deployment. By default, Lagom is message-driven and asynchronous, and uses distributed CQRS persistence patterns with event sourcing as the primary implementation.
-
Developing Provably-Correct Software Using Formal Methods
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
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
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
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.