Science of Computer Programming, Volume 57

Volume 57, Number 1, July 2005

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

Volume 57, Number 2, August 2005

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

Volume 57, Number 3, September 2005

• M. Anton Ertl:
  Advances in interpreters, virtual machines and emulators. 251-252
  Electronic Edition (link) BibTeX
• Hanbing Liu, J. Strother Moore:
  Executable JVM model for analytical reasoning: A study. 253-274
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Mario Latendresse, Marc Feeley:
  Generation of fast interpreters for Huffman compressed bytecode. 295-317
  Electronic Edition (link) BibTeX
• David Gregg, Andrew Beatty, Kevin Casey, Brian Davis, Andy Nisbet:
  The case for virtual register machines. 319-338
  Electronic Edition (link) BibTeX
• John Whaley:
  Joeq: A virtual machine and compiler infrastructure. 339-356
  Electronic Edition (link) BibTeX
• Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
  Engineering a common intermediate representation for the Ovm framework. 357-378
  Electronic Edition (link) BibTeX