1. A design proto‐pattern for continuously evaluated forecasting in IBM® InfoSphere® Streams. (26th February 2015) Authors: Oliver, Helen; McSharry, Patrick Journal: Software, practice & experience Issue: Volume 46:Number 5(2016) Page Start: 645 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A fast algorithm for constructing nearly optimal prefix codes. (3rd November 2015) Authors: Osorio, Roberto R.; González, Patricia Journal: Software, practice & experience Issue: Volume 46:Number 10(2016) Page Start: 1299 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A graph‐labeling approach for efficient cone‐of‐influence computation in model‐checking problems with multiple properties. (11th March 2015) Authors: Cabodi, Gianpiero; Camurati, Paolo; Quer, Stefano Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A novel malware for subversion of self‐protection in anti‐virus. (3rd February 2015) Authors: Min, Byungho; Varadharajan, Vijay Journal: Software, practice & experience Issue: Volume 46:Number 3(2016) Page Start: 361 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A rule‐based procedure for automatic recognition of design patterns in UML diagrams. (18th June 2015) Authors: Di Martino, Beniamino; Esposito, Antonio Journal: Software, practice & experience Issue: Volume 46:Number 7(2016) Page Start: 983 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A static region‐based compiler for the Dalvik virtual machine. (5th July 2015) Authors: You, Yi‐Ping; Chen, Jian‐Ru Journal: Software, practice & experience Issue: Volume 46:Number 8(2016) Page Start: 1109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A transformation‐based approach to testing concurrent programs using UML activity diagrams‡. (14th April 2015) Authors: Sun, Chang‐ai; Zhao, Yan; Pan, Lin; He, Xiao; Towey, Dave Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 551 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Applying Gaia and AUML for the development of multiagent‐based control software for flexible manufacturing systems: addressing methodological and implementation issues. (21st January 2015) Authors: Duran‐Faundez, Cristian; Ramos, Mario; Rodriguez, Pedro Journal: Software, practice & experience Issue: Volume 45:Number 12(2015) Page Start: 1719 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Automatic builder of class diagram (ABCD): an application of UML generation from functional requirements. (22nd December 2015) Authors: Ben Abdessalem Karaa, Wahiba; Ben Azzouz, Zeineb; Singh, Aarti; Dey, Nilanjan; S. Ashour, Amira; Ben Ghazala, Henda Journal: Software, practice & experience Issue: Volume 46:Number 11(2016) Page Start: 1443 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. AVOCLOUDY: a simulator of volunteer clouds. (30th July 2015) Authors: Sebastio, Stefano; Amoretti, Michele; Lafuente, Alberto Lluch Journal: Software, practice & experience Issue: Volume 46:Number 1(2016) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗