Science of Computer Programming, Volume 57

Volume 57, Number 1, July 2005

• Lawrence Chung, Nary Subramanian:
  System and software architectures. 1-4
  
• Hong-Mei Chen, Rick Kazman, Aditya Garg:
  BITAM: An engineering-principled method for managing misalignments between business and IT architectures. 5-26
  
• Michael E. Shin:
  Self-healing components in robust software architecture for concurrent and distributed systems. 27-44
  
• Pere P. Sancho, Carlos Juiz, Ramón Puigjaner:
  Evaluating the performance of architectures in MASCOT. 45-60
  
• Masaki Murakami:
  A calculus for concurrent system with higher-order streaming communication. 61-72
  
• François Coallier, Roger Champagne:
  A Product Line engineering practices model. 73-87
  
• Kendra Cooper, Lirong Dai, Yi Deng:
  Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. 89-108
  
• Piyush Maheshwari, Albert Teoh:
  Supporting ATAM with a collaborative Web-based software architecture evaluation tool. 109-128
  

Volume 57, Number 2, August 2005

• Niels P. Veerman:
  Towards lightweight checks for mass maintenance transformations. 129-163
  
• Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking:
  A transactional object calculus. 164-186
  
• Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
  Formal specification of multi-agent e-barter systems. 187-216
  
• Enrico Denti, Andrea Omicini, Alessandro Ricci:
  Multi-paradigm Java-Prolog integration in tuProlog. 217-250
  

Volume 57, Number 3, September 2005

• M. Anton Ertl:
  Advances in interpreters, virtual machines and emulators. 251-252
  
• Hanbing Liu, J. Strother Moore:
  Executable JVM model for analytical reasoning: A study. 253-274
  
• Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang:
  A portable virtual machine target for proof-carrying code. 275-294
  
• Mario Latendresse, Marc Feeley:
  Generation of fast interpreters for Huffman compressed bytecode. 295-317
  
• David Gregg, Andrew Beatty, Kevin Casey, Brian Davis, Andy Nisbet:
  The case for virtual register machines. 319-338
  
• John Whaley:
  Joeq: A virtual machine and compiler infrastructure. 339-356
  
• Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
  Engineering a common intermediate representation for the Ovm framework. 357-378
  

Last update Tue May 21 19:33:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page