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.