págs. 919-920
págs. 921-940
Transforming and tracing reused requirements models to home automation models
Begoña Moros Valle, José Ambrosio Toval Álvarez, María Francisca Rosique Contreras, Pedro Sánchez Palma
págs. 941-965
págs. 965-985
págs. 986-1003
Software verification and graph similarity for automated evaluation of students’ assignments
Milena Vujošević Janičić, Mladen Nikolić, Dušan Tošić, Viktor Kuncak
págs. 1004-1016
Translation of Z specifications to executable code: Application to the database domain
págs. 1017-1044
págs. 1045-1062
págs. 1063-1063
Retainment policies: A formal framework for change retainment for trace-based model transformations
págs. 1064-1084
págs. 1085-1100
págs. 1101-1118




© 2001-2026 Fundación Dialnet · Todos los derechos reservados