


default search action
IEE Proceedings - Software, Volume 152
Volume 152, Number 1, February 2005
- Wolf Zimmermann:

Editorial reusable software libraries. 1 - David Hemer, Peter A. Lindsay

:
Template-based construction of verified software. 2-12 - Jesper Andersson, Jan Bosch:

Development and use of dynamic product-line architectures. 15-28 - Loek G. Cleophas

, Bruce W. Watson:
Taxonomy-based software construction of SPARE Time: a case study. 29-37 - Robert Hirschfeld, Ralf Lämmel

:
Reflective designs. 38-51
Volume 152, Number 2, April 2005
- Paul Klint:

Language definitions and tool generation. 53 - Pedro 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. 54-69 - Mark van den Brand

, Pierre-Etienne Moreau, Jurgen J. Vinju
:
Generator of efficient strongly typed abstract syntax trees in Java. 70-78 - Jørgen Iversen, Peter D. Mosses

:
Constructive Action Semantics for Core ML. 79-98
Volume 152, Number 3, June 2005
- Huilin Ye, Hanchang Liu:

Approach to modelling feature variability and dependencies in software product lines. 101-109 - Yueh-Feng Lee, Ruei-Chuan Chang:

Java-based component framework for dynamic reconfiguration. 110-118 - Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera

:
Diversity of structures and adaptive methods on an evolutionary hypermedia system. 119-126 - Qiang Guo, Robert M. Hierons

, Mark Harman
, Karnig Derderian:
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. 127-140
Volume 152, Number 4, August 2005
- Jon G. Hall

, Ivan Mistrík, Bashar Nuseibeh
, Andrés Silva:
Relating software requirements and architectures. 141-142 - Zoë R. Stephenson, John A. McDermid

:
Deriving architectural flexibility requirements in safety-critical systems. 143-152 - Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton:

Designing software architectures to achieve quality attribute requirements. 153-165 - Rami Bahsoon, Wolfgang Emmerich, Jonathan Macke:

Using real options to select stable middleware-induced software architectures. 167-186 - Christine Hofmeister, Robert L. Nord

, Dilip Soni:
Global Analysis: moving from software requirements specification to structural views of the software architecture. 187-197 - Christine Choppy, Denis Hatebur, Maritta Heisel:

Architectural patterns for problem frames. 198-208
Volume 152, Number 5, October 2005
- D. Watkins:

Editorial - Microsoft Research embedded systems. 209 - Peter Ibach, Nikola Milanovic, Jan Richling, Vladimir Stantchev

, André Wiesner, Miroslaw Malek:
CERO: CE RObots community. 210-214 - Antonio Cisternino

, Diego Colombo, Giorgio Ennas, Daniele Picciaia:
Robotics4.NET: software body for controlling robots. 215-222 - Fabio Forno, Giovanni Malnati, Giuseppe Portelli:

Design and implementation of a Bluetooth ad hoc network for indoor positioning. 223-228 - Andreas Rasche, Bernhard Rabe, Martin von Löwis, Jan Möller, Andreas Polze:

Real-time robotics and process control experiments in the Distributed Control Lab. 229-235 - Oussama Layaida, Daniel Hagimont:

Adaptive video streaming for embedded devices. 238-244 - Javier Jaen

, José M. Esteve, José A. Mocholí, José H. Canós
:
MoMo: enabling hybrid museums. 245-251
Volume 152, Number 6, December 2005
- Oddur Benediktsson, Darren Dalcher

:
Estimating size in incremental software development projects. 253-259 - C. Vidakis, Martin Fleury:

Engineering multicast group key distribution: a review. 260-272 - Youssef Hassoun, Steve Counsell, Roger Johnson:

Dynamic coupling metric: proof of concept. 273-279 - Onaiza Maqbool, Haroon A. Babri, Asim Karim, S. Mansoor Sarwar:

Metarule-guided association rule mining for program understanding. 281-296 - Mustapha Bourahla:

Distributed CTL model checking. 297-308 - Nigel Perry:

Implementing non-strict evaluation on OOVMs. 309-315

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














