Journal: Science of Computer Programming

Volume 54, Issue 2-3

143 -- 211A. Steven Klusener, Ralf Lämmel, Chris Verhoef. Architectural modifications to deployed software
213 -- 256Manfred Broy. A semantic and methodological essence of message sequence charts
257 -- 290Susumu Nishimura, Keisuke Nakano. XML stream transformer generation through program composition and dependency analysis
291 -- 311Antonella Santone, Gigliola Vaglini. Compositionality and locality for improving model checking in the selective mu-calculus
313 -- 0Jan Joris Vereijken. Erratum to Book review: Process algebra with timing [Sci. Comput. Programming 51 (2004)291-292]

Volume 54, Issue 1

1 -- 2James F. Power, John Waldron. Editorial
3 -- 23Paolo Boldi, Sebastiano Vigna. Mutable strings in Java: design, implementation and lightweight text-search algorithms
25 -- 47Sergio Rajsbaum, Elisa Viso. Object-oriented algorithm analysis and design with Java
49 -- 71Jean-Marc Seigneur, Christian Damsgaard Jensen. The Claim Tool Kit for ad hoc recognition of peer entities
73 -- 98Giacomo Cabri, Luca Ferrari, Letizia Leonardi. Exploiting runtime bytecode manipulation to add roles to Java agents
99 -- 124Ian O Neill, Philip Hanna, Xingkun Liu, Des Greer, Michael F. McTear. Implementing advanced spoken dialogue management in Java
125 -- 142Vijay P. Shah, Nicolas H. Younan, Torey Alford, Anthony Skjellum. A spectral estimation toolkit for Java applications