SwSTE 2005: Herzelia, Israel

• Message from the Chairs.
  
• About the Israeli Chapter of the IEEE Computer Society.
  
• About ILTAM.
  
• Committees and Chairs.
  
• Reviewers.
  

Session 1.1: Software Architectures

• Eran Rubin, Yair Wand:
  Software Architecture to Support Domain Semantics Representation. 3-12
  
• Taly Sharon, Ted Selker, Lars Wagner, Ariel J. Frank:
  CarCoach: A Generalized Layered Architecture for Educational Car Systems. 13-22
  
• Shlomi Dolev, Ori Gersten:
  Robust Active Super Tier Systems. 23-33
  

Session 1.2: Software Architecture and Modeling

• Loris Penserini, Paolo Bresciani, Tsvi Kuflik, Paolo Busetta:
  Using Tropos to Model Agent Based Architectures for Adaptive Systems: A Case Study in Ambient Intelligence. 37-46
  
• Dov Dori, Roman Feldman, Arnon Sturm:
  Transforming an Operational System Model to a Data Warehouse Model: A Survey of Techniques. 47-56
  
• Dov Dori, Roman Feldman, Arnon Sturm:
  An OPM-based Method for Transformation of Operational System Model to Data Warehouse Model. 57-66
  
• Wei Liu, Zongtian Liu, Baisheng Shi:
  AOMG Environment: An Environment for Agent-Oriented Analysis and Design Modeling Based on Grid. 67-74
  

Session 1.3: Software Design and Redesign

• Dov Dori, Valeria Perelman, Galia Shlezinger, Iris Reinhartz-Berger:
  Pattern-Based Design Recovery from Object-Oriented Languages to Object Process Methodology. 77-82
  
• Eran Gal, Sivan Toledo:
  Mapping Structures for Flash Memories: Techniques and Open Problems. 83-92
  

Session 2.1: Software Processes Improvement

• Daniel Galin, Motti Avrahami:
  Do SQA Programs Work - CMM Works. A Meta Analysis. 95-100
  
• Ronit Ankori:
  Automatic Requirements Elicitation in Agile Processes. 101-109
  
• Shlomit Morad, Tsvi Kuflik:
  Conventional and Open Source Software Reuse at Orbotech - An Industrial Experience. 110-117
  

Session 2.2: Software Testing

• Mika Katara:
  Improving Testing Education - Seven Observations Why Testing is Different. 121-128
  
• David Talby, Ori Nakar, Noam Shmueli, Eli Margolin, Arie Keren:
  A Process-Complete Automatic Acceptance Testing Framework. 129-138
  

Session 2.3: Software Verification

• Johan Dovland, Einar Broch Johnsen, Olaf Owe:
  Verification of Concurrent Objects with Asynchronous Method Calls. 141-150
  
• A. Harel, Eliezer Kantorowitz:
  Estimating the Number of Faults Remaining in Software Code Documents Inspected with Iterative Code Reviews. 151-160
  

Last update Fri May 25 08:42:37 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page