BT
rss

New Developments in Model Driven Software Engineering

by Ben Linders on  Jun 24, 2015

An interview with Rob Howe, host of the MDSE session at the software engineering conference and CEO of Verum, about the state of practice and recent developments in model driven software engineering, the usage of this technology, whether he considers model driven software engineering to be a proven mature technology, and what the future will bring us in model driven software engineering.

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
Bugs
Advertising
Editorial
Marketing
InfoQ.com and all content copyright © 2006-2015 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT