fundamenta informaticae (3)
ieee transactions on learning technologies (3)
science of computer programming (3)
software & systems modeling (3)
2016 10th international conference on complex, intelligent & software intensive systems (cisis) (2)
2016 10th international conference on complex, intelligent, and software intensive systems (cisis), complex, intelligent, and software intensive systems (cisis), 2016 10th international conference on (2)
computer languages, systems & structures (2)
international journal of engineering education (2)
international journal of web information systems (2)
journal of systems & software (2)
journal of systems and software (2)
revista de universidad y sociedad del conocimiento (2)
rigorous state-based methods (2)
rusc: revista de universidad y sociedad del conocimiento (2)
2012 first international workshop on formal methods in software engineering: rigorous & agile approaches (formsera) (1)
2012 first international workshop on formal methods in software engineering: rigorous and agile approaches (formsera), software engineering: rigorous and agile approaches (formsera), 2012 formal methods in (1)
2013 27th international conference on advanced information networking & applications workshops (1)
2013 27th international conference on advanced information networking and applications workshops, advanced information networking and applications workshops (waina), 2013 27th international conference on (1)
2016 30th international conference on advanced information networking & applications workshops (waina) (1)
2016 international conference on intelligent networking & collaborative systems (incos) (1)
2016 international conference on intelligent networking and collaborative systems (incos), intelligent networking and collaborative systems (incos), 2016 international conference on, intelligent networking and collaborative systems, international conference on (1)
2017 acm/ieee 20th international conference on model driven engineering languages and systems (models), model driven engineering languages and systems (models), 2017 acm/ieee 20th international conference on, models (1)
2018 11th international conference on the quality of information and communications technology (quatic), quality of information and communications technology (quatic), 2018 11th international conference on the, quatic (1)
2019 ieee/acm 11th international workshop on modelling in software engineering (mise), modelling in software engineering (mise), 2019 ieee/acm 11th international workshop on (1)
2021 acm/ieee international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2021 acm/ieee international conference on, models-c (1)
2021 ieee/acm third international workshop on bots in software engineering (botse), bots in software engineering (botse), 2021 ieee/acm third international workshop on, botse (1)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (1)
acm transactions on software engineering & methodology (1)
advances on p2p, parallel, grid, cloud & internet computing (1)
applications & theory of petri nets 2005 (1)
applications and theory of petri nets 2005 (1)
asp-dac 2004: asia & south pacific design automation conference 2004 (ieee cat. no.04ex753) (1)
computer languages systems & structures (1)
ieee software (1)
ieee transactions on software engineering (1)
integrated formal methods (9783642002540) (1)
international journal of educational technology in higher education (1)
proceedings of the ieee/acm international conference: automated software engineering (1)
proceedings of the twenty-second ieee/acm international conference: automated software engineering (1)
science of computer programming. methods of software design: techniques and applications (1)
software and systems modeling (1)
software engineering & formal methods: 13th international conference, sefm 2015, york, uk, september 7-11, 2015. proceedings (1)
static analysis (1)
the journal of systems & software (1)
theory & practice of model transformations (1)
theory & practice of model transformations (9783642136870) (1)