Science of Computer Programming, Volume 73

Volume 73, Number 1, September 2008

• Mehmet Aksit, Ivan Kurtev:
  Elsevier special issue on foundations and applications of model driven architecture. 1-2
  
• Alexander Christoph, Matthias M. Müller:
  GREAT: UML transformation tool for porting middleware applications. 3-12
  
• Vasian Cepa, Mira Mezini:
  Language support for model-driven software development. 13-25
  
• Gabor Karsai, Sandeep Neema, David Sharp:
  Model-driven architecture for embedded software: A synopsis and an example. 26-38
  
• Aniruddha S. Gokhale, Krishnakumar Balasubramanian, Arvind S. Krishna, Jaiganesh Balasubramanian, George Edwards, Gan Deng, Emre Turkay, Jeff Parsons, Douglas C. Schmidt:
  Model driven middleware: A new paradigm for developing distributed real-time and embedded systems. 39-58
  

Volume 73, Numbers 2-3, October 2008

• Maurizio Cimadamore, Mirko Viroli:
  On the reification of Java wildcards. 59-75
  
• Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
  Design and verification of long-running transactions in a timed framework. 76-94
  
• Thuy Duong Vu:
  Goto elimination in program algebra. 95-128
  
• Renata P. de Freitas, Jorge Petrúcio Viana:
  A note on proofs with graphs. 129-135