model driven architecture - foundations & applications (9783540359098) (28)
model driven architecture (16)
information and computation (12)
electronic notes in theoretical computer science (10)
graph transformations (9)
software & systems modeling (9)
entcs: electronic notes in theoretical computer science (6)
international journal on software tools for technology transfer (5)
software and systems modeling (5)
acta informatica (4)
formal aspects of computing (4)
fundamenta informaticae (4)
electronic proceedings in theoretical computer science (3)
applications of graph transformations with industrial relevance (2)
express'97 (santa margherita ligure, 1997) (2)
graph transformation, specifications, and nets (2)
graph transformations (9783540874041) (2)
graph transformations (9783642336539) (2)
handbook of process algebra (2)
lecture notes in computer science (2)
science of computer programming (2)
theoretical computer science (2)
2017 annual reliability and maintainability symposium (rams), reliability and maintainability symposium (rams), 2017 annual (1)
2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2019 acm/ieee 22nd international conference on, models-c (1)
2023 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2023 ieee international conference on, icstw (1)
2024 ieee international conference on software analysis, evolution and reengineering - companion (saner-c), software analysis, evolution and reengineering - companion (saner-c), 2024 ieee international conference on, saner-c (1)
acm international conference proceeding series (1)
applications of graph transformations with industrial relevance (9783642341755) (1)
automata, languages & programming (9783642141614) (1)
automata, languages and programming. part ii (1)
bulletin of the european association for theoretical computer science. eatcs (1)
concur 2006 - concurrency theory (9783540373766) (1)
concur 2008 - concurrency theory (1)
concurrency, graphs & models (1)
cyber physical systems. design, modeling & evaluation: 6th international workshop, cyphy 2016, pittsburgh, pa, usa, october 6, 2016, revised selected papers (1)
dependable software engineering: theories, tools & applications (1)
formal aspects of computing: applicable formal methods (1)
formal methods for components & objects (9783540367499) (1)
formal techniques for distributed systems (1)
fundamental approaches to software engineering (9783642288715) (1)
graph transformation (9783319211442) (1)
graph transformations & model-driven engineering (1)
information & computation (1)
integrated formal methods (9783642162640) (1)
ninth ieee international edoc enterprise computing conference (edoc'05) (1)
proceedings of the 1st workshop: behaviour modelling in model-driven architecture (1)
proceedings of the 2009 workshop: foundations of aspect-oriented languages (1)
proceedings of the 8th acm international conference: aspect-oriented software development (1)
transactions on aspect-oriented software development v (1)
transactions on foundations for mastering change i (1)