![Software engineering / Theoretical computer science / Unified Modeling Language / Computing / Formal methods / Object Constraint Language / ECO / Postcondition / Object diagram / Object Process Methodology / Class diagram / Invariant Software engineering / Theoretical computer science / Unified Modeling Language / Computing / Formal methods / Object Constraint Language / ECO / Postcondition / Object diagram / Object Process Methodology / Class diagram / Invariant](https://www.pdfsearch.io/img/28fd134edbf0fc61ee5e058bad5b2ead.jpg) Date: 2014-12-03 03:36:54Software engineering Theoretical computer science Unified Modeling Language Computing Formal methods Object Constraint Language ECO Postcondition Object diagram Object Process Methodology Class diagram Invariant | | 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 ListSource URL: www.db.informatik.uni-bremen.deDownload Document from Source Website File Size: 393,52 KBShare Document on Facebook
|