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.
Move as much as possible of the behaviour away from the Entities into Value Objects when working with Aggregates, As more behaviour is needed this is added as new value objects, Paul Rayner recommends in a series of blog posts covering aggregates, entities and value objects, all concepts from Domain-Driven Design (DDD).
By gathering all domain experts and developers in a room, provide them with a paper roll, lots of colored post-its and a facilitator they may in hours create the best model ever, Alberto Brandolini suggested at the recent DDD Exchange conference in London.
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…
Bounded Context concept from Domain Driven Design (DDD) can be used to divide a large model into smaller models using the Database Context (DbContext class) in Entity Framework (EF). Bounded Context creates smaller, more cohesive models with boundaries between models.
Greg Young, the lead architect behind the Event Store, recently talked about the Projections Library in the Event Store and how it can be used as a Read Model. In his presentation Greg explained what the Projections Library is, together with its main use cases. He also presented a number of examples of practical use.
The latest version of OpenXava, a Java framework for rapid development of enterprise applications, supports all strategies of JPA inheritance mapping and the Automated Business Logic (ABL) library. OpenXava version 4.5 was released last month.
Sparx Systems, an Austrian based vendor of UML tools, has recently published version 9.2 of Enterprise Architect. The new version adds features like enhanced simulation capability and support for describing ontologies.
The activity and interest focused on programming languages seem to be reaching new highs every month. Jean Bezivin argued this week at the SPLASH conference that interest in MDE has come to a stand still. He provided his analysis to as why that happened.
During the 12 years Steve spent away from Apple, he brought to market a number of software technologies and paradigms that are at the foundation of modern computing, languages and software engineering practices. At InfoQ, we would like to pay our tribute to Steve through a lesser known, but nonetheless probably as significant contribution to our lives.
As announced on 18th August 2011, the Irish Software Engineering Research Center (Lero) has signed a €300.000 contract for a research project with the European Space Agency (ESA). Goal of the research activities is to provide a solution framework for future space missions.
The International Software Product Line Conference (SPLC) is the most important event that covers the full range of Product Line Engineering in software-intensive products. Its 15th incarnation will take place in the Munich City Center from August 21st to August 26th.
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.
Jan Koehnlein, a core committer of the Xtext project, introduces how Xbase can be used to declaratively create graphical views of a given model, which is otherwise achieved by a hard-wired transformation between the model and its graphical representation.
Machiel van der Bijl from the University of Twente in the Netherlands recently introduced a Model-based testing approach which is supposed to automate software testing.