Software - Practice and Experience, Volume 41

Volume 41, Number 1, January 2011

• 
  Yunus Emre Selçuk, Nadia Erdogan:
  Role models - implementation-based approaches to using roles. 1-22
• 
  Rodrigo N. Calheiros, Rajiv Ranjan, Anton Beloglazov, César A. F. De Rose, Rajkumar Buyya:
  CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. 23-50
• 
  Suneetha Nadella, Dharanipragada Janakiram:
  Message filters for hardening the Linux kernel. 51-62
• 
  Jacek Rosik, Andrew Le Gear, Jim Buckley, Muhammad Ali Babar, Dave Connolly:
  Assessing architectural drift in commercial software development: a case study. 63-86
• 
  Najmus Saqib Malik, David Ko, Harry H. Cheng:
  A secure migration process for mobile agents. 87-101
• 
  Alexandre Sztajnberg, Rodrigo Souza Granja, Jeane Cesário, André Felipe Almeida Monteiro:
  An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non-functional requirements in computing grids. 103-127

Volume 41, Number 2, February 2011

Tool Building in Formal Methods: Extended Papers from WS-TBFM 2010

• 
  Frédéric Gervais, Benoît Fraikin:
  Tool building in formal methods. 131-132
• 
  Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  Developing UPPAAL over 15 years. 133-142
• 
  Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse:
  Experiences in developing the mCRL2 toolset. 143-153
• 
  Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
  A model-driven process for engineering a toolset for a formal method. 155-166
• 
  Roozbeh Farahbod, Uwe Glässer:
  The CoreASM modeling framework. 167-178
• 
  Petra Malik:
  A retrospective on CZT. 179-188
• 
  Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt:
  Developing Camille, a text editor for Rodin. 189-198
• 
  Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler:
  Decomposition tool for event-B. 199-208

Volume 41, Number 3, March 2011

Research Articles

• 
  Antonio Ruiz-Martínez, Daniel Sánchez-Martínez, C. Inmaculada Marín-López, Manuel Gil Pérez, Antonio Fernandez Gómez-Skarmeta:
  An advanced certificate validation service and architecture based on XKMS. 209-236
• 
  Fabio Bellifemine, Giancarlo Fortino, Roberta Giannantonio, Raffaele Gravina, Antonio Guerrieri, Marco Sgroi:
  SPINE: a domain-specific framework for rapid prototyping of WBSN applications. 237-265
• 
  Amer Diwan, Matthias Hauswirth, Todd Mytkowicz, Peter F. Sweeney:
  TraceAnalyzer: a system for processing performance traces. 267-282
• 
  Adam Nelson, Tim Menzies, Gregory Gay:
  Sharing experiments using open-source software. 283-305
• 
  João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus, René Jeruschkat:
  Scalable model-based configuration management of security services in complex enterprise networks. 307-338

Volume 41, Number 4, April 2011

Research Articles

• 
  Anthony Schoofs, Phillip Stanley-Marbell:
  Portability in MAC protocol and transceiver software implementations for LR-WPAN platforms. 339-361
• 
  David Budgen, Andy J. Burn, O. Pearl Brereton, Barbara A. Kitchenham, Rialette Pretorius:
  Empirical evidence about the UML: a systematic literature review. 363-392
• 
  Svend E. Knudsen:
  Using independence to enable parallelism on multicore computers. 393-402
• 
  Ramón Hervás, José Bravo:
  COIVA: context-aware and ontology-powered information visualization architecture. 403-426
• 
  Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang:
  Grammar-based test generation with YouGen. 427-447
• 
  Abelardo Pardo, Carlos Delgado Kloos:
  SubCollaboration: large-scale group management in collaborative learning. 449-465

Volume 41, Number 5, April 2011

Practical Aspects of Search-Based Software Engineering

• 
  Iain Bate, Simon M. Poulding:
  Editorial for the special issue on search-based software engineering. 467-468
• 
  Hiroshi Wada, Junichi Suzuki, Yuji Yamano, Katsuya Oba:
  Evolutionary deployment optimization for service-oriented clouds. 469-493
• 
  Massimiliano Di Penta, Mark Harman, Giuliano Antoniol:
  The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. 495-519
• 
  Sukhee Lee, Gigon Bae, Heung Seok Chae, Doo-Hwan Bae, Yong Rae Kwon:
  Automated scheduling for clone-based refactoring using a competent GA. 521-550
• 
  Dongwon Kang, Jinhwan Jung, Doo-Hwan Bae:
  Constraint-based human resource allocation in software projects. 551-577
• 
  Kehan Gao, Taghi M. Khoshgoftaar, Huanjing Wang, Naeem Seliya:
  Choosing software metrics for defect prediction: an investigation on feature selection techniques. 579-606

Volume 41, Number 6, May 2011

Research Articles

• 
  Marconi Lanna, Daniel Amyot:
  Spotting the difference. 607-626
• 
  Roland Ducournau:
  Coloring, a versatile technique for implementing object-oriented languages. 627-659
• 
  Roland Ducournau, Floréal Morandat:
  Perfect class hashing and numbering for object-oriented implementation. 661-694
• 
  SeongKi Kim, Ha Yoon Song, Sang-Yong Han:
  ZipfAllocation: an algorithm for static allocation of movies in a cluster of video servers. 695-716
• 
  Jonghee M. Youn, Jongwon Lee, Yunheung Paek, Jongeun Lee, Hanno Scharwächter, Rainer Leupers:
  Fast graph-based instruction selection for multi-output instructions. 717-736

Volume 41, Number 7, June 2011

• 
  Yanqin Yang, Haijin Yan, Zili Shao, Minyi Guo:
  Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems. 737-752
• 
  Andreas Gampe, Jeffery von Ronne, David Niedzielski, Jonathan Vasek, Kleanthis Psarris:
  Safe, multiphase bounds check elimination in Java. 753-788
• 
  José Barranquero Tolosa, Oscar Sanjuán Martínez, Vicente García-Díaz, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle:
  Towards the systematic measurement of ATL transformation models. 789-815
• 
  Daniel von Dincklage, Amer Diwan:
  Integrating program analyses with programmer productivity tools. 817-840
• 
  Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske:
  Monitoring of Probabilistic Timed Property Sequence Charts. 841-866

Volume 41, Number 8, July 2011

Agile Product Line Engineering

• 
  Yaser Ghanam, Kendra M. L. Cooper, Frank Maurer:
  Editorial. 867-869
• 
  Jan Bosch, Petra Bosch-Sijtsema:
  Introducing agile customer-centered development in a legacy software product line. 871-882
• 
  Geir Kjetil Hanssen:
  Agile software product line engineering: enabling factors. 883-897
• 
  Ivonei Freitas da Silva, Paulo Anselmo da Mota Silveira Neto, Pádraig O'Leary, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
  Agile software product lines: a systematic mapping study. 899-920
• 
  Jessica Díaz, Jennifer Pérez, Pedro Pablo Alarcón, Juan Garbajosa:
  Agile product line engineering - a systematic literature review. 921-941

Volume 41, Number 9, August 2011

Focus on Agile Software Development

• 
  Des Greer, Yann Hamon:
  Agile Software Development. 943-944
• 
  Kevin Gary, Andinet Enquobahrie, Luis Ibáñez, Patrick Cheng, Ziv Yaniv, Kevin Cleary, Shylaja Kokoori, Benjamin Muffih, John Heidenreich:
  Agile methods for open source safety-critical software. 945-962
• 
  Jennifer Ferreira, Helen Sharp, Hugh Robinson:
  User experience design and agile development: managing cooperation through articulation work. 963-974
• 
  Kai Petersen, Claes Wohlin:
  Measuring the flow in lean software development. 975-996

Volume 41, Number 10, September 2011

QSIC 2010: Extended papers from the 10th International Conference on Quality Software Editorials

• 
  Ji Wang, Wing Kwong Chan, Fei-Ching Kuo:
  Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). 997-998

Special Issue Papers

• 
  Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  Scenarios-based testing of systems with distributed ports. 999-1026
• 
  Emad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman:
  Prioritizing the creation of unit tests in legacy software systems. 1027-1048
• 
  Xulin Zhao, Ying Zou:
  A business process-driven approach for generating software modules. 1049-1071

Research Articles

• 
  Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan:
  Assuring the model evolution of protocol software specifications by regression testing process improvement. 1073-1103

Special Issue Papers

• 
  Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
  Prioritizing tests for software fault diagnosis. 1105-1129
• 
  Huai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen:
  Adaptive random testing through test profiles. 1131-1154

Volume 41, Number 11, October 2011

• 
  Anthony Savidis:
  Integrated implementation of dynamic untyped object-based operator overloading. 1155-1184
• 
  Petr Hnetynka, Frantisek Plásil:
  Using meta-modeling in design and implementation of component-based systems: the SOFA case study. 1185-1201
• 
  Sandor Dembitz, Mirko Randic, Gordan Gledec:
  Advantages of online spellchecking: a Croatian example. 1203-1231
• 
  Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay:
  Experience with fault injection experiments for FMEA. 1233-1258
• 
  Dennis Jeffrey, Yan Wang, Chen Tian, Rajiv Gupta:
  Isolating bugs in multithreaded programs using execution suppression. 1259-1288
• 
  Jose M. Such, Juan M. Alberola, Agustín Espinosa, Ana García-Fornes:
  A group-oriented secure multiagent platform. 1289-1302
• 
  Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker, Tetsuya Tohdo:
  An approach to optimization of fault tolerant architectures using HiP-HOPS. 1303-1327
• 
  María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
  A practical use of model checking for synthesis: generating a dam controller for flood management. 1329-1347
• 
  Kostas Saidis, Yannis Smaragdakis, Alex Delis:
  DOLAR: virtualizing heterogeneous information spaces to support their expansion. 1349-1383

Volume 41, Number 12, November / December 2011

Component and service-oriented distributed embedded real-time systems: Extended papers from ISORC 2010 Editorials

• 
  Roman Obermaisser:
  Component and service-oriented distributed embedded real-time systems (Extended papers from ISORC 2010). 1385-1386

Special Issue Papers

• 
  Kwang-Hae (Kane) Kim, Jing Qian, Zhen Zhang, Qian Zhou, Kyung-Deok Moon, Jun Hee Park, Kwang-Roh Park, Doo-Hyun Kim:
  A scheme for reliable real-time messaging with bounded delays. 1387-1407
• 
  Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres:
  Non-functional information transmission patterns for distributed real-time Java. 1409-1435
• 
  Paul Lokuciejewski, Sascha Plazar, Heiko Falk, Peter Marwedel, Lothar Thiele:
  Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size. 1437-1458
• 
  Joseph P. Loyall, Matthew Gillen, Aaron Paulos, Larry Bunch, Marco M. Carvalho, James R. Edmondson, Douglas C. Schmidt, Andrew Martignoni, Asher Sinclair:
  Dynamic policy-driven quality of service in service-oriented information management systems. 1459-1489
• 
  Fabian Scheler, Wolfgang Schröder-Preikschat:
  The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems. 1491-1515
• 
  Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan:
  A component model for hard real-time systems: CCM with ARINC-653. 1517-1550