Volume 8, Number 1, January-Febuary 2009

• 
  John McGregor: Modeling Software. 7-22
• 
  Douglas Lyon, Nishanth Vincent: Interactive Embedded Face Recognition. 13-53
• 
  Mahesh Dodani: Keeping Enterprises' Head Above The Clouds! 55-63
• 
  Won Kim: Cloud Computing: Today and Tomorrow. 65-72
• 
  Richard Wiener: A Model-View Implementation of Linked Custom Grids in C#. 73-92
• 
  Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga: First Person Shooter Game. 93-105
• 
  Gonzalo Génova, María Cruz Valiente, Mónica Marrero: On the difference between analysis and design, and why it is relevant for the interpretation of models in Model Driven Engineering. 107-127
• 
  Charles Ashbacher: Best books of 2008. 129-131
• 
  Charles Ashbacher: Perfect Software and other illusions about testing. 133-134
• 
  Fateh Boutekkouk, Mohamed Benmohammed, Sebastien Bilavarn, Michel Auguin: UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs). 135-157
• 
  Jaiprakash T. Lallchandani, Rajib Mall: Static Slicing of UML Architectural Models. 159-188
• 
  A. K. Bhattacharjee, R. K. Shyamasundar: Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. 189-220
• 
  David Chisnall: A Modern Objective-C Runtime. 221-240

Volume 8, Number 2, March-April 2009

• 
  John McGregor: Variation Verification. 7-14
• 
  Douglas Lyon: Creating Servlets with Intellij V8. 35-28
• 
  Mahesh H. Dodani: The Silver Lining of Cloud Computing. 29-38
• 
  Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga: First Person Shooter Game. 39-59
• 
  R. Sridaran, G. Padmavathi, K. Iyakutti: A Survey of Design Pattern Based Web Applications. 61-70
• 
  Richard Wiener: WCF: A Case Study Involving a Distributed Client/Server Game. 71-90
• 
  Charles Ashbacher: The Gift of Time. 91
• 
  Charles Ashbacher: Weinberg on Writing: The Fieldstone Method. 93-94
• 
  Fateh Boutekkouk, Mohamed Benmohammed, Sebastien Bilavarn, Michel Auguin: UML for Modelling and Performance Estimation of Embedded Systems. 95-118
• 
  Farid Mokhati, Mourad Badri: Generating Maude Specifications From UML Use Case Diagrams. 319-136
• 
  Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. 137-161
• 
  Harshavardhan Jegadeesan, Sundar Balasubramaniam: A Model-driven Approach to Service Policies. 163-186
• 
  Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill: Safety as a Service. 187-207

Volume 8, Number 3, May-June 2009

• 
  John McGregor: Strategic Software Engineering. 7-15
• 
  Douglas Lyon: The Discrete Fourier Transform, Part 1. 17-26
• 
  Mahesh Dodani: Get Your Head In The Clouds! 27-36
• 
  Dave Thomas: Cloud Computing - Benefits and Challenges! 37-41
• 
  Cédric Bouhours, Hervé Leblanc, Christian Percebois: Bad Smells in Design and Design Patterns. 43-63
• 
  Debasish Kundu, Debasis Samanta: A Novel Approach to Generate Test Cases from UML Activity Diagrams. 65-83
• 
  Veit Hoffmann, Horst Lichter, Alexander Nyßen, Andreas Walter: Towards the Integration of UML- and textual Use Case Modeling. 85-100
• 
  Marco Tulio de Oliveira Valente, Marcelo Nassau Malta, Samuel Domingues: Guidelines for Enabling the Extraction of Aspects from Existing Object-Oriented Code. 101-119
• 
  Mourad Badri, Linda Badri, Maxime Bourque-Fortin: Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework. 121-126

Volume 8, Number 4, 2009

Special Issue Workshop FTfJP and IWACO at ECOOP'08

• 
  Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. 5-32
• 
  John Boyland: An Operational Semantics including "Volatile" for Safe Concurrency. 33-51
• 
  Christian Haack, Clément Hurlin: Resource Usage Protocols for Iterators. 55-83
• 
  Alexander J. Summers, Sophia Drossopoulou, Peter Müller: Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. 85-125

Volume 8, Number 5, July-August 2009

• 
  John McGregor: Goal-driven Product Derivation. 7-19
• 
  Douglas Lyon: The Discrete Fourier Transform, Part 2: Radix 2 FFT. 21-33
• 
  Mahesh Dodani: The Five-Step Program To Cloud! 35-43
• 
  Dave Thomas: Functional Programming - Crossing The Chasm? 45-48
• 
  Sven Apel, Christian Kästner: An Overview of Feature-Oriented Software Development. 49-84
• 
  Francisca Losavio, Alfredo Matteo, Patricia Morantes: UML Extensions for Aspect Oriented Software Development. 85-131
• 
  Marcin Zalewski, Sibylle Schupp: A Semantic Definition of Separate Type Checking in C++ with Concepts. 105-132
• 
  S. K. Mishra, Dharmender Singh Kushwaha, Arun Kumar Misra: Creating Reusable Software Component from Object-Oriented Legacy System through Reverse Engineering. 133-152
• 
  Jeetendre Narsoo, Mohammad Sameer Sunhaloo, R. Thomas: The Application of Design Patterns to Develop Games for Mobile Devices using Java 2 Micro Edition. 153-175
• 
  Conor Brendan Ward, Brian Henderson-Sellers: Utilizing Dynamic Roles for Agents. 177-198

Volume 8, Number 6, September-October 2009

• 
  John McGregor: Ecosystems. 7-16
• 
  Douglas Lyon: The Discrete Fourier Transform, Part 3: The PSD. 17-30
• 
  Mahesh Dodani: Cloud Redux. 31-38
• 
  Richard Wiener: Ant Colony System Optimization. 39-58
• 
  Sven Apel, Christian Kästner: Virtual Separation of Concerns - A Second Chance for Preprocessors. 59-78
• 
  Markus Völter: MD* Best Practices. 79-102
• 
  Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi: Usability of Security Specification Approaches for UML Design: A Survey. 102-122
• 
  Mourad Badri, Linda Badri, Fadel Touré: Empirical Analysis of Object-Oriented Design Metrics: Towards a New Metric Using Control Flow Paths and Probabilities. 123-142
• 
  Maddeh Mohamed, Mohamed Romdhani, Khaled Ghédira: Classification of Model Refactoring Approaches. 143-158
• 
  Anthony Savidis, Yannis Lilis: Support for Language Independent Browsing of Aggregate Values by Debugger Backends. 159-180
• 
  Philippe Narbel: Functional Programming at Work in Object-Oriented Programming. 181-209

Volume 8, Number 7, November-December 2009

• 
  John McGregor: Ecosystems, continued. 7-21
• 
  Douglas Lyon: The Discrete Fourier Transform, Part 4: Spectral Leakage. 23-34
• 
  Mahesh Dodani: Cloud Architecture. 35-44
• 
  James Leslie Keedy, Gisela Menger, Christian Heinlein: Types and Co-Types in Timor. 37-57
• 
  Stein Krogdahl, Birger Møller-Pedersen, Fredrik Sørensen: Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes. 59-85
• 
  Stéphane S. Somé: A Meta-Model for Textual Use Case Description. 87-106
• 
  Abdelkrim Amirat, Mourad Oussalah: First-Class Connectors to Support Systematic Construction of Hierarchical Software Architecture. 107-130
• 
  Jens Dietrich, Graham Jenson: Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable. 131-148
• 
  Daniel Spiewak, Tian Zhao: Method Proxy-Based AOP in Scala. 149-169