SwSTE 2005: Herzelia, Israel

2005 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2005), 22-23 February 2005, Herzelia, Israel. IEEE Computer Society 2005, ISBN 0-7695-2335-8

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