Date: 2014-09-10 09:14:12Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language | | ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2Add to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 760,53 KBShare Document on Facebook
|