


default search action
Science of Computer Programming, Volume 56
Volume 56, Numbers 1-2, April 2005
- Elke Pulvermüller, Gerhard Goos, Uwe Aßmann
:
New software composition concepts. 1-4 - Eliezer Kantorowitz, Alexander Lyakas:
Use-case components for interactive information systems. 5-21 - Péter Arató
, Zoltán Ádám Mann, András Orbán:
Extending component-based design with hardware components. 23-39 - Peter H. Fröhlich, Andreas Gal, Michael Franz:
Supporting software composition at the programming language level. 41-57 - Markus Lumpe, Jean-Guy Schneider
:
A form-based meta-model for software composition. 59-78 - Uwe Aßmann
:
Architectural styles for active documents. 79-98 - Hironori Washizaki
, Yoshiaki Fukazawa:
A technique for automatic component extraction from object-oriented programs by refactoring. 99-116 - Ursula Scheben:
Hierarchical composition of industrial components. 117-139 - Hans-Gerhard Groß, M. Melideo, Alberto Sillitti:
Self-certification and trust in component procurement. 141-156 - Xiaodong Liu, Beihu Wang, Jon M. Kerridge
:
Achieving seamless component composition through scenario-based deep adaptation and generation. 157-170 - Leandro Dias da Silva
, Angelo Perkusich
:
Composition of software artifacts modelled using Colored Petri nets. 171-189 - Péter Völgyesi, Miklós Maróti, Sebestyen Dóra, Esteban Osses, Ákos Lédeczi:
Software composition and verification for sensor networks. 191-210 - Auri Marcelo Rizzo Vincenzi
, José Carlos Maldonado, W. Eric Wong, Márcio Eduardo Delamaro:
Coverage testing of Java programs and components. 211-230 - Ronald Porter, James Coplien, Tiffany Winn:
Sequences as a basis for pattern language composition. 231-249
Volume 56, Number 3, May-June 2005
- Jan Friso Groote
, Tim A. C. Willemse
:
Model-checking processes with data. 251-273 - Chris Verhoef:
Quantitative aspects of outsourcing deals. 275-313 - Chris Verhoef:
Quantifying the value of IT-investments. 315-342 - Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili:
Relational characterizations of system fault tolerance. 343-361 - Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis:
Rewriting of imperative programs into logical equations. 363-401

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.