From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk -bremen - Postcondition - Document - PDFSEARCH.IO

First Page	Meta Content
	From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen Add to Reading List Document Date: 2014-12-03 03:36:54 Open Document File Size: 393,52 KB Share Result on Facebook

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremenAdd to Reading List