Submitted by Anonymous on Tue, 06/11/2013 - 2:55pm
To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations. A quick search on the internet produces more than 30 different transformation languages that have been proposed in the literature or implemented in open-source or commercial tools. The growing adoption of these languages and the growing size and complexity of the model transformations developed require a better understanding of how all activities in the model transformation life cycle can be optimally supported.
Submitted by Anonymous on Tue, 06/11/2013 - 2:38pm
The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.
The U.S. Department of Transportation's National Highway Traffic Safety Administration (NHTSA) today announced a new policy concerning vehicle automation, including its plans for research on related safety issues and recommendations for states related to the testing, licensing, and regulation of "autonomous" or "self-driving" vehicles. For a copy of the statement, see http://www.nhtsa.gov/staticfiles/rulemaking/pdf/Automated_Vehicles_Policy.pdf.