BT

InfoQ Homepage Model Driven Development Content on InfoQ

News

RSS Feed
  • 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 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.

  • 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.

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.