9. ECBS 2002: Lund, Sweden

9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. IEEE Computer Society 2002, ISBN 0-7695-1549-5 BibTeX

@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
Electronic Edition (IEEE Computer Society DL) BibTeX
Ian F. Alexander, Friedemann Kiedaisch:
Towards Recyclable System Requirements. 9-16
Electronic Edition (IEEE Computer Society DL) BibTeX
Christopher McPhee, Armin Eberlein:
Requirements Engineering for Time-to-Market Projects. 17-
Electronic Edition (IEEE Computer Society DL) BibTeX

Processes and Tools

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

System Properties, Methods

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

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
Electronic Edition (IEEE Computer Society DL) BibTeX
Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. 86-93
Electronic Edition (IEEE Computer Society DL) BibTeX
J. Pikoulas, William J. Buchanan, Mike Mannion, K. Triantafyllopoulos:
An Intelligent Agent Security Intrusion System. 94-
Electronic Edition (IEEE Computer Society DL) BibTeX

Modelling and Analysis

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

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
Electronic Edition (IEEE Computer Society DL) BibTeX
Mark Denford, Tim O'Neill, John Leaney:
Architecture-Based Visualisation of Computer Based Systems. 139-146
Electronic Edition (IEEE Computer Society DL) BibTeX
Hans de Bruin, Hans van Vliet:
Top-Down Composition of Software Architectures. 147-
Electronic Edition (IEEE Computer Society DL) BibTeX

Model-Based System Development

S. Schulz, Jerzy W. Rozenblit:
Refinement of Model Specifications in Embedded Systems Design. 159-166
Electronic Edition (IEEE Computer Society DL) BibTeX
Rikard Land:
Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study. 167-
Electronic Edition (IEEE Computer Society DL) BibTeX

Component-Based Design and Reuse

Jiang Guo:
A Systematic Method of Reusing Objects Extracted from Legacy Systems. 177-184
Electronic Edition (IEEE Computer Society DL) BibTeX
Jiang Guo:
Using Category Theory to Model Software Component Dependencies. 185-
Electronic Edition (IEEE Computer Society DL) BibTeX

Embedded Systems, Development and Training

Miroslav Svéda, Radimir Vrba:
An Integrated Framework for Sensor-Based Embedded Systems. 195-202
Electronic Edition (IEEE Computer Society DL) BibTeX
Francesco Papariello, Gabriele Luculli:
Optimization of a Retargetable Functional Simulator for Embedded Processors. 203-210
Electronic Edition (IEEE Computer Society DL) BibTeX
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-
Electronic Edition (IEEE Computer Society DL) BibTeX

Workshop Reports

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

Workshop Session: Mobile Agents

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