4 papers:
CAV-2012-SinghS #named #programming- SPT: Storyboard Programming Tool (RS, ASL), pp. 738–743.
MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
SFM-2007-Woodside #design #uml- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.