


default search action
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 Petrucio Viana:

A note on proofs with graphs. 129-135

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














