The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2002)
Lund, Sweden
Apr. 8, 2002 to Apr. 11, 2002
ISBN: 0-7695-1549-5
TABLE OF CONTENTS

Preface (PDF)

pp. ix

Committees (PDF)

pp. x
Session: Requirements Engineering

On Some Key Requirements of Mobile Application Software (Abstract)

Geert Deconinck , Katholieke Universiteit Leuven
Vincenzo de Florio , Katholieke Universiteit Leuven
pp. 0003

Towards Recyclable System Requirements (Abstract)

Ian Alexander , Independent Consultant
Friedemann Kiedaisch , University of Ulm
pp. 0009

Requirements Engineering for Time-to-Market Projects (Abstract)

Armin Eberlein , University of Calgary
Christopher McPhee , Quadrus Development Inc.
pp. 0017
Session: Processes and Tools

VSPEC and its Integrated Tool Suite (Abstract)

Perry Alexander , University of Kansas
Amitvikram Rajkhowa , University of Cincinnati
Kshama Jambhekar , University of Cincinnati
Murali Rangarajan , Honeywell Laboratories
pp. 0027

Who Does What in a Multiagent System for Emergent Process Management (Abstract)

John Debenham , University of Technology at Sydney
pp. 0035

Understanding Software Processes through System Dynamics Simulation: A Case Study (Abstract)

Lena Karlsson , Lund University
Carina Andersson , Lund University
Bertil I Nilsson , Lund University
Josef Nedstam , Lund University
Martin Höst , Lund University
pp. 0041
Session: System Properties, Methods

ReL: A Fault Tolerance Linguistic Structure for Distributed Applications (Abstract)

Vincenzo de Florio , Katholieke Universiteit Leuven
Geert Deconinck , Katholieke Universiteit Leuven
pp. 0051

A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering (Abstract)

M. Popovic , University of Novi Sad
V. Kovacevic , University of Novi Sad
I. Velikic , University of Novi Sad
pp. 0059

FRAME for Achieving Performance Portability within Heterogeneous Environments (Abstract)

Ren-Song Ko , Michigan State University
Matt W. Mutka , Michigan State University
pp. 0067
Session: System Properties, Method Application

Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation (Abstract)

Lars Lundberg , Blekinge Institute of Technology
Karl-Johan Tångby , Blekinge Institute of Technology
Valdemar Mejstad , Blekinge Institute of Technology
pp. 0077

Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems (Abstract)

Giovanna Dondossola , Katholieke Universiteit Leuven
Vincenzo de Florio , Katholieke Universiteit Leuven
Susanna Donatelli , Katholieke Universiteit Leuven
pp. 0086

An Intelligent Agent Security Intrusion System (Abstract)

K. Triantafyllopoulos , Warwick University
J. Pikoulas , Napier University
W. Buchanan , Napier University
M. Mannion , Glasgow Caledonian University
pp. 0094
Session: Modelling and Analysis

On the Relation between Design Contracts and Errors: A Software Development Strategy (Abstract)

Anna Brunstrom , Karlstad University
Martin Blom , Karlstad University
Eivind J. Nordby , Karlstad University
pp. 0110

An Experimental Evaluation of Programming by Contract (Abstract)

Martin Blom , Karlstad University
Anna Brunstrom , Karlstad University
Eivind J. Nordby , Karlstad University
pp. 0118
Session: System Architecture

What is Included in Software Architecture? A Case Study in Three Software Organizations (Abstract)

Jari Isokallio , TietoEnator Corporation
Kari Smolander , Lappeenranta University of Technology
Teemu Mäkelä , Sonera Corporation
Kimmo Hoikka , Digital Information Architects Inc.
Mika Kataikko , Sonera Corporation
pp. 0131

Architecture-based Visualisation of Computer Based Systems (Abstract)

M. Denford , University of Technology at Sydney
T. O'Neill , University of Technology at Sydney
J. Leaney , University of Technology at Sydney
pp. 0139

Top-Down Composition of Software Architectures (Abstract)

Hans Van Vliet , Vrije Universiteit
Hans de Bruin , Vrije Universiteit
pp. 0147
Session: Model-Based System Development

Refinement of Model Specifications in Embedded Systems Design (Abstract)

S. Schulz , Nokia Research Center
J.W. Rozenblit , University of Arizona
pp. 0159
Session: Component-Based Design and Reuse

A Systematic Method of Reusing Objects Extracted from Legacy Systems (Abstract)

Jiang Guo , California State University at Bakersfield
pp. 0177

Using Category Theory to Model Software Component Dependencies (Abstract)

Jiang Guo , California State University at Bakersfield
pp. 0185
Session: Embedded Systems, Development and Training

An Integrated Framework for Sensor-Based Embedded Systems (Abstract)

Miroslav Sveda , Brno University of Technology
Radimir Vrba , Brno University of Technology
pp. 0195
Workshop Reports

Formal Specifications of Computer-Based Systems (PDF)

Charles Rattray , University of Stirling
Jerzy Rozenblit , University of Arizona
Miroslav Sveda , Brno University of Technology
pp. 0224
Workshop Session: Mobile Agents

An Extensible Software Architecture for Mobile Components (Abstract)

Kåre J. Lauvset , University of Troms?
Keith Marzullo , University of California at San Diego
Dag Johansen , University of Troms?
pp. 0231

Mobile Agent Interoperability Patterns and Practice (Abstract)

Ulrich Pinsdorf , Fraunhofer Institute for Computer Graphics
Volker Roth , Fraunhofer Institute for Computer Graphics
pp. 0238

Factoring Mobile Agents (Abstract)

Keith Marzullo , University of California at San Diego
Dag Johansen , University of Troms?
Kåre J. Lauvset , University of Troms?
pp. 0253

InterMarket - Towards Intelligent Mobile Agent e-Marketplaces (Abstract)

Andreas Speck , Intershop Research
Ryszard Kowalczyk , Intershop Research
Peter Braun , Friedrich Schiller University Jena
Wilhelm Rossak , Friedrich Schiller University Jena
Jan Eismann , Friedrich Schiller University Jena
Bogdan Franczyk , Intershop Research
pp. 0268

Author Index (PDF)

pp. 0277
114 ms
(Ver )