Journal: Science of Computer Programming

Volume 73, Issue 2-3

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

Volume 73, Issue 1

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