„Berg- und Hüttenmännische Monatshefte“ – 2014 Publisher’s Report

Congress Attendance Report: AMEE 2014

This article has no abstract.

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany

Howard Berg

to test whether termites of the Cryptotermes domesticus species might be able to discriminate between different sizes of wood. The team constructed experiments that presented termites with blocks of wood with a standard crosssectional diameter of 20x20 mm but of either 20 mm or 160 mm length. The insects were placed in a gap between the two faces of the timber blocks so that they were not able ...

VOLT 2014 Workshop Report

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...

CMSEBA 2014 Workshop Report

This report is a summary of the First International Workshop on Combining Modelling with Searchand Example-Based Approaches (CMSEBA 2014) held at the MoDELS 2014 conference. The workshop brought together researchers from model-driven engineering and search-based software engineering. The major aims of CMSEBA 2014 were to identify motivations, problems, and requirements for combining modeling wi...