![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 149
Volume 149, December 2017
- Peter J. Clarke
, Juan de Lara, Mark van den Brand
:
Tool demonstration track of MODELS'2016. 1-2 - Hammad Muhammad, Tao Yue
, Shuai Wang
, Shaukat Ali, Jan Nygård
:
IOCL: An interactive tool for specifying, validating and evaluating OCL constraints. 3-8 - Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, Abel Gómez
, Jordi Cabot
:
NeoEMF: A multi-database model persistence framework for very large models. 9-14 - Joel Greenyer
, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz:
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. 15-27
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.