Verification Approach for Refactoring Transformation Rules of State-Based Models
Published by
IEEE Transactions on Software Engineering
Summary
journal-article
Nada Almasri is an Associate Professor in the teaching stream of the Faculty of Information at the University of Toronto. Prior to joining the University of Toronto, she worked at an American university in Kuwait (GUST) and the University of Waterloo, David R. Cheriton School of Computer Science, Waterloo, Ontario, Canada. She received the M.Sc. and the Ph.D. in Computer Science from The National Institute of Applied Sciences of Lyon, France (INSA de Lyon), in 2000 and 2005 respectively. Dr. Almasri’s research interests include Software Engineering, IT ethics, and Education in Emergencies.
Associate Professor
Canada
→
Assistant Professor
Kuwait
→
Full-Time Lecturer
Canada
→
ATER
France
→
Adjunct Faculty
France
→
Published by
IEEE Transactions on Software Engineering
Summary
journal-article
Published by
IEEE Transactions on Software Engineering
Summary
journal-article
Published by
Technology, Pedagogy and Education
Summary
journal-article
Published by
Applied Computing and Informatics
Summary
journal-article
Published by
Technology, Pedagogy and Education
Summary
journal-article
Published by
Lecture Notes in Computer Science
Summary
journal-article
Published by
Journal of Academic Ethics
Summary
journal-article
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Published by
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
Summary
journal-article
Published by
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
Summary
conference-paper
Published by
Journal of Academic Ethics
Summary
journal-article
Published by
Software Quality Journal
Summary
journal-article
Published by
Software Quality Journal
Summary
journal-article
Summary
dissertation-thesis
Published by
Document Numerique
Summary
journal-article
Summary
report
Summary
report
Published by
Studies in Health Technology and Informatics
Summary
book
Published by
Studies in Health Technology and Informatics
Summary
journal-article