Journal: Science of Computer Programming

Volume 56, Issue 3

251 -- 273Jan Friso Groote, Tim A. C. Willemse. Model-checking processes with data
275 -- 313Chris Verhoef. Quantitative aspects of outsourcing deals
315 -- 342Chris Verhoef. Quantifying the value of IT-investments
343 -- 361Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili. Relational characterizations of system fault tolerance
363 -- 401Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis. Rewriting of imperative programs into logical equations

Volume 56, Issue 1-2

1 -- 4Elke Pulvermüller, Gerhard Goos, Uwe Aßmann. New software composition concepts
5 -- 21Eliezer Kantorowitz, Alexander Lyakas. Use-case components for interactive information systems
23 -- 39Péter Arató, Zoltán Ádám Mann, András Orbán. Extending component-based design with hardware components
41 -- 57Peter H. Fröhlich, Andreas Gal, Michael Franz. Supporting software composition at the programming language level
59 -- 78Markus Lumpe, Jean-Guy Schneider. A form-based meta-model for software composition
79 -- 98Uwe Aßmann. Architectural styles for active documents
99 -- 116Hironori Washizaki, Yoshiaki Fukazawa. A technique for automatic component extraction from object-oriented programs by refactoring
117 -- 139Ursula Scheben. Hierarchical composition of industrial components
141 -- 156Hans-Gerhard Gross, M. Melideo, A. Sillitti. Self-certification and trust in component procurement
157 -- 170Xiaodong Liu, Beihu Wang, Jon M. Kerridge. Achieving seamless component composition through scenario-based deep adaptation and generation
171 -- 189Leandro Dias da Silva, Angelo Perkusich. Composition of software artifacts modelled using Colored Petri nets
191 -- 210Péter Völgyesi, Miklós Maróti, Sebestyen Dóra, Esteban Osses, Ákos Lédeczi. Software composition and verification for sensor networks
211 -- 230Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, W. Eric Wong, Márcio Eduardo Delamaro. Coverage testing of Java programs and components
231 -- 249Ronald Porter, James Coplien, Tiffany Winn. Sequences as a basis for pattern language composition