9. ECBS 2002: Lund, Sweden

@proceedings{DBLP:conf/ecbs/2002,
  title     = {9th IEEE International Conference on Engineering of Computer-Based
               Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1549-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Requirements Engineering

• Vincenzo De Florio, Geert Deconinck:
  On Some Key Requirements of Mobile Application Software. 3-8
  
• Ian F. Alexander, Friedemann Kiedaisch:
  Towards Recyclable System Requirements. 9-16
  
• Christopher McPhee, Armin Eberlein:
  Requirements Engineering for Time-to-Market Projects. 17-
  

Processes and Tools

• Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander:
  VSPEC and Its Integrated Tool Suite. 27-34
  
• John K. Debenham:
  Who Does What in a Multiagent System for Emergent Process Management. 35-40
  
• Carina Andersson, Lena Karlsson, Josef Nedstam, Martin Höst, Bertil I. Nilsson:
  Understanding Software Processes through System Dynamics Simulation: A Case Study. 41-
  

System Properties, Methods

• Vincenzo De Florio, Geert Deconinck:
  REL: A Fault Tolerance Linguistic Structure for Distributed Applications. 51-58
  
• Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic:
  A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. 59-66
  
• Ren-Song Ko, Matt W. Mutka:
  FRAME for Achieving Performance Portability within Heterogeneous Environments. 67-
  

System Properties, Method Application

• Valdemar Mejstad, Karl-Johan Tångby, Lars Lundberg:
  Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation. 77-85
  
• Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola:
  Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. 86-93
  
• J. Pikoulas, William J. Buchanan, Mike Mannion, K. Triantafyllopoulos:
  An Intelligent Agent Security Intrusion System. 94-
  

Modelling and Analysis

• Kristian Sandström, Christer Norström:
  Managing Complex Temporal Requirements in Real-Time Control Systems. 103-109
  
• Eivind J. Nordby, Martin Blom, Anna Brunstrom:
  On the Relation between Design Contracts and Errors: A Software Development Strategy. 110-117
  
• Martin Blom, Eivind J. Nordby, Anna Brunstrom:
  An Experimental Evaluation of Programming by Contract. 118-
  

System Architecture

• Kari Smolander, Kimmo Hoikka, Jari Isokallio, Mika Kataiokko, Teemu Mäkelä:
  What Is Included in Software Architecture? A Case Study in Three Software Organizations. 131-138
  
• Mark Denford, Tim O'Neill, John Leaney:
  Architecture-Based Visualisation of Computer Based Systems. 139-146
  
• Hans de Bruin, Hans van Vliet:
  Top-Down Composition of Software Architectures. 147-
  

Model-Based System Development

• S. Schulz, Jerzy W. Rozenblit:
  Refinement of Model Specifications in Embedded Systems Design. 159-166
  
• Rikard Land:
  Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study. 167-
  

Component-Based Design and Reuse

• Jiang Guo:
  A Systematic Method of Reusing Objects Extracted from Legacy Systems. 177-184
  
• Jiang Guo:
  Using Category Theory to Model Software Component Dependencies. 185-
  

Embedded Systems, Development and Training

• Miroslav Svéda, Radimir Vrba:
  An Integrated Framework for Sensor-Based Embedded Systems. 195-202
  
• Francesco Papariello, Gabriele Luculli:
  Optimization of a Retargetable Functional Simulator for Embedded Processors. 203-210
  
• Marc Leeman, Francisco Barat, Vincenzo De Florio, Geert Deconinck:
  Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System. 211-
  

Workshop Reports

• Ivica Crnkovic, Stig Larsson, Judith A. Stafford:
  Workshop on Component-Based Software Engineering: Composing Systems from Components. 223
  
• Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
  Formal Specifications of Computer-Based Systems. 224-225
  
• Volker Roth, Peter Braun II, Wilhelm Rossak:
  Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems. 226-
  

Workshop Session: Mobile Agents

• Dag Johansen, Kåre J. Lauvset, Keith Marzullo:
  An Extensible Software Architecture for Mobile Components. 231-237
  
• Ulrich Pinsdorf, Volker Roth:
  Mobile Agent Interoperability Patterns and Practice. 238-244
  
• Sea Ling, Seng Wai Loke:
  Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows. 245-252
  
• Kåre J. Lauvset, Dag Johansen, Keith Marzullo:
  Factoring Mobile Agents. 253-257
  
• Li Tang, Bernard Pagurek:
  A Comparative Evaluation of Mobile Agent Performance for Network Management. 258-267
  
• Ryszard Kowalczyk, Bogdan Franczyk, Andreas Speck, Peter Braun II, Jan Eismann, Wilhelm Rossak:
  InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. 268-