Lunch Seminar: Refinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models
Title: Refinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models Speaker: Professor Daniel Varro, Linköping university Abstract: When engineering complex software systems, knowledge representations often take the form of domain-specific graph models. For instance, the system architecture in automotive or avionics applications are captured by standardized models. Moreover, tool qualification as necessitated by safety standards require a large and diverse set of consistent graphs as test cases or design