From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Transformation Techniques can make Students excited about Formal Methods

V. Gorp, H. Schippers, S. Demeyer, и D. Janssens. Information and Software Technology, 50 (12): 1295--1304 (ноября 2008)
DOI: http://dx.doi.org/10.1016/j.infsof.2008.03.003

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Séverine Demeyer

Elena Sergeyev

Nikolai Sergeev

Tatiana Sergey

Dieter Sergel

Другие публикации лиц с тем же именем

Towards a Software Evolution Benchmark.S. Demeyer, T. Mens, и M. Wermelinger. IWPSE, стр. 174-177. ACM, (2001)On stories, models and notations: Storyboard creation as an entry point for model-based interface development with UsiXMLK. Luyten, M. Haesen, D. Ostrowski, K. Coninx, S. Degrandsart, и S. Demeyer. Proceedings of the USer Interface eXtensible Markup Language workshop (UsiXML-EICS 2010), (2010)DEVS for AUTOSAR platform modelling.J. Denil, H. Vangheluwe, P. Ramaekers, P. Meulenaere, и S. Demeyer. SpringSim (TMS-DEVS), стр. 67-74. SCS/ACM, (2011)Report: Workshop on Object-Oriented Re-engineering (WOOR'97).S. Demeyer, и H. Hall. ACM SIGSOFT Softw. Eng. Notes, 23 (1): 28-29 (1998)Redocumentation of a legacy banking system: an experience report.J. Geet, P. Ebraert, и S. Demeyer. EVOL/IWPSE, стр. 33-41. ACM, (2010)Circumventing refactoring masking using fine-grained change recording.Q. Soetens, J. Pérez, S. Demeyer, и A. Zaidman. IWPSE, стр. 9-18. ACM, (2015)A Digital Twin Description Framework and Its Mapping to Asset Administration Shell.B. Oakes, A. Parsai, B. Meyers, I. David, S. Mierlo, S. Demeyer, J. Denil, P. Meulenaere, и H. Vangheluwe. MODELSWARD (Revised Selected Papers), том 1708 из Communications in Computer and Information Science, стр. 1-24. Springer, (2022)Towards Automating Source-Consistent UML Refactorings.P. Gorp, H. Stenten, T. Mens, и S. Demeyer. UML, том 2863 из Lecture Notes in Computer Science, стр. 144-158. Springer, (2003)Towards Mutation Testing of Simulink Models.J. Kisaakye, O. Kilinççeker, и S. Demeyer. BENEVOL, том 3071 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Focal Methods for C/C++ via LLVM: Steps Towards Faster Mutation Testing.S. Vercammen, S. Demeyer, и L. Roy. BENEVOL, том 3071 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)

BibSonomy

Disambiguation