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.