Table of Contents for Year 2011 [7 articles]

• Dynamic Context-Aware and Limited Resources-Aware Service Adaptation for Pervasive Computing, Moeiz Miraoui, Chakib Tadj, Jaouhar Fattahi, and Chokri Ben Amar
  Volume 2011 (2011), Article ID 649563, 11 pages
• The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach, Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, and Dan Goldwasser
  Volume 2011 (2011), Article ID 579292, 21 pages
• Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams, Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon
  Volume 2011 (2011), Article ID 370198, 18 pages
• Multiagent Systems Protection, Antonio Muñoz, Pablo Anton, and Antonio Maña
  Volume 2011 (2011), Article ID 281517, 9 pages
• Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications, Salamah Salamah, Ann Q. Gates, Steve Roach, and Matthew Engskow
  Volume 2011 (2011), Article ID 869182, 13 pages
• Bug Localization in Test-Driven Development, Massimo Ficco, Roberto Pietrantuono, and Stefano Russo
  Volume 2011 (2011), Article ID 492757, 18 pages
• ReMoFP: A Tool for Counting Function Points from UML Requirement Models, Vitor A. Batista, Daniela C. C. Peixoto, Eduardo P. Borges, Wilson Pádua, Rodolfo F. Resende, and Clarindo Isaías P. S. Pádua
  Volume 2011 (2011), Article ID 495232, 7 pages