Michael Poppleton

23 papers and 150 indexed citations i.

Michael Poppleton has authored 23 papers that have received a total of 150 indexed citations. This includes 15 papers in Computational Theory and Mathematics, 14 papers in Software and 13 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (9 papers) and Advanced Software Engineering Methodologies (8 papers). Michael Poppleton is often cited by papers focused on Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (9 papers) and Advanced Software Engineering Methodologies (8 papers) and collaborates with scholars based in United Kingdom, France and South Africa. Michael Poppleton's co-authors include Richard Banach, Colin Snook, Susan Stepney, Rozilawati Razali and Ian Johnson and has published in prestigious journals such as Information and Software Technology, Science of Computer Programming and Requirements Engineering.