AI Lecture 4: Automated Prototype Generation from Requirements Model
Artificial Intelligence Lecture 4- Speaker: Dr. Yilong Yang +- Time: October 17, 2019 (Thursday), 10:30–11:30
- Venue: Room 621, Boxue Building, Guizhou University
Abstract
The talk presents RM2PT, an approach and tool for automatically generating software prototypes from formal requirements models for requirements validation.
Speaker biography
Dr. Yang earned his PhD in Software Engineering from the University of Macau in 2019 and was a Fellow at UNU-IIST. His research focuses on automated and intelligent software engineering.
Yisong Wang
Professor
Professor at the College of Computer Science and Technology, Guizhou University． His main research interests include knowledge representation andreasoning,machine learning and artificial intelligence．