External Links

    Journal: IEE Proceedings - Software

    Volume 152, Issue 6

    253 -- 259Oddur Benediktsson, Darren Dalcher. Estimating size in incremental software development projects
    260 -- 272C. Vidakis, Martin Fleury. Engineering multicast group key distribution: a review
    273 -- 279Youssef Hassoun, Steve Counsell, Roger Johnson. Dynamic coupling metric: proof of concept
    281 -- 296Onaiza Maqbool, Haroon A. Babri, Asim Karim, S. Mansoor Sarwar. Metarule-guided association rule mining for program understanding
    297 -- 308Mustapha Bourahla. Distributed CTL model checking
    309 -- 315Nigel Perry. Implementing non-strict evaluation on OOVMs

    Volume 152, Issue 5

    209 -- 0D. Watkins. Editorial - Microsoft Research embedded systems
    210 -- 214Peter Ibach, Nikola Milanovic, Jan Richling, Vladimir Stantchev 0001, André Wiesner, Miroslaw Malek. CERO: CE RObots community
    215 -- 222Antonio Cisternino, Diego Colombo, Giorgio Ennas, Daniele Picciaia. Robotics4.NET: software body for controlling robots
    223 -- 228Fabio Forno, Giovanni Malnati, Giuseppe Portelli. Design and implementation of a Bluetooth ad hoc network for indoor positioning
    229 -- 235Andreas Rasche, Bernhard Rabe, Martin von Löwis, Jan Möller, Andreas Polze. Real-time robotics and process control experiments in the Distributed Control Lab
    238 -- 244Oussama Layaida, Daniel Hagimont. Adaptive video streaming for embedded devices
    245 -- 251Javier Jaen, José M. Esteve, José A. Mocholí, José Hilario Canós. MoMo: enabling hybrid museums

    Volume 152, Issue 4

    141 -- 142Jon G. Hall, Ivan Mistrík, Bashar Nuseibeh, Andrés Silva. Relating software requirements and architectures
    143 -- 152Zoë R. Stephenson, John A. McDermid. Deriving architectural flexibility requirements in safety-critical systems
    153 -- 165Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton. Designing software architectures to achieve quality attribute requirements
    167 -- 186Rami Bahsoon, Wolfgang Emmerich, Jonathan Macke. Using real options to select stable middleware-induced software architectures
    187 -- 197Christine Hofmeister, Robert L. Nord, Dilip Soni. Global Analysis: moving from software requirements specification to structural views of the software architecture
    198 -- 208Christine Choppy, Denis Hatebur, Maritta Heisel. Architectural patterns for problem frames

    Volume 152, Issue 3

    101 -- 109Huilin Ye, Hanchang Liu. Approach to modelling feature variability and dependencies in software product lines
    110 -- 118Yueh-Feng Lee, Ruei-Chuan Chang. Java-based component framework for dynamic reconfiguration
    119 -- 126Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera. Diversity of structures and adaptive methods on an evolutionary hypermedia system
    127 -- 140Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. Constructing multiple unique input/output sequences using metaheuristic optimisation techniques

    Volume 152, Issue 2

    53 -- 0Paul Klint. Language definitions and tool generation
    54 -- 69Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Jeff Gray, Hui Wu. Automatic generation of language-based tools using the LISA system
    70 -- 78Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju. Generator of efficient strongly typed abstract syntax trees in Java
    79 -- 98Jørgen Iversen, Peter D. Mosses. Constructive Action Semantics for Core ML

    Volume 152, Issue 1

    1 -- 0Wolf Zimmermann. Editorial reusable software libraries
    2 -- 12David Hemer, Peter A. Lindsay. Template-based construction of verified software
    15 -- 28Jesper Andersson, Jan Bosch. Development and use of dynamic product-line architectures
    29 -- 37Loek G. Cleophas, Bruce W. Watson. Taxonomy-based software construction of SPARE Time: a case study
    38 -- 51Robert Hirschfeld, Ralf Lämmel. Reflective designs
    runs on